v or -2/11?
v
Suppose -7*s - 10 = -2*s. Are 1 and s unequal?
True
Suppose -4*k + 26 = -3*s, k + 0*s + 3*s = -1. Let f = 11 + -5. Are k and f unequal?
True
Let p = 3 + -4. Let x(t) = 2*t + 13. Let q be x(-9). Let u(g) = g + 3. Let i be u(q). Is p equal to i?
False
Let m be (-45)/10*3/45. Which is smaller: m or 0?
m
Let g be (-184)/12 - 6/9. Let m = g - -5. Which is smaller: -13 or m?
-13
Let z(f) = -f**3 + 7*f**2 - 7*f + 9. Let x be z(6). Let p(l) = -l + 3. Let w be p(x). Which is smaller: w or 1/3?
w
Let y be (1 - (0 + 2))*-1. Is -1 greater than y?
False
Let z = 37/360 - -1/120. Which is greater: -1 or z?
z
Let o be ((-418)/(-20))/(30/25). Let f = o + -50/3. Is 1 != f?
True
Let w(i) = 0*i**2 + 0 + i**2 - 8*i + 1 - 2*i**2. Let l be w(-8). Which is greater: l or -2/13?
l
Suppose -5*l = -2*l - 3, 4*q + 23 = -5*l. Which is bigger: q or -6?
-6
Let i = 4.92 + -6.9. Let p = 1.02 + -1. Let z = p - i. Which is greater: -0.1 or z?
z
Let z = 1361/2394 + 1/342. Which is bigger: 1 or z?
1
Let m be (-3 + 393/6)*(-5 - -3). Which is bigger: m or -1?
-1
Let q be 2/3 + 26/6. Suppose 15 - q = 2*v. Suppose 0 = -5*j + v*z + 10, 0 = -j + 3*j + 3*z + 6. Which is smaller: -1/5 or j?
-1/5
Let s be (-3 - -2) + 3/(-33)*-9. Which is greater: s or 9?
9
Suppose -77 - 23 = 4*m. Is -26 smaller than m?
True
Suppose -5*a = -5*d - a - 20, -d + 15 = 3*a. Let j(w) = -w. Let i be j(0). Is d greater than i?
False
Let a = 8384/51 - 2850778/17289. Let k = a - -6/113. Which is bigger: k or 1?
1
Suppose b = 2*m - 4, m - b + 0 = 2. Suppose -2*d + m = 4. Which is smaller: d or 3/10?
d
Let a be (-4 - 0)/2 - 140/(-42). Is a at least 3/2?
False
Suppose -y + 4*s = y + 14, -2*y - 13 = -3*s. Suppose 5*h + 6 = -v - 14, 0 = -3*v. Is h greater than or equal to y?
True
Let f be 356/(0 - 4) + -1. Let l be 8/((-224)/f) - 3. Is -1 greater than or equal to l?
False
Let u = -142 - -105. Is u not equal to -38?
True
Suppose -3*g + 4*k - 14 = 4, 7 = -2*g + k. Suppose 2*b = -b + s + 17, -b + 5*s - 13 = 0. Let i = 5 - b. Are i and g unequal?
False
Let v = 9/11 - 41/77. Let x(q) = -3*q - 6. Let m be x(8). Let z be 32/m + (-2)/(-3). Are v and z equal?
False
Let r = -1 - -2. Which is greater: r or 2/57?
r
Let m be (-3 + -1)*36/(-8). Is m at least as big as 18?
True
Let k = 71/134 + -2/67. Let u = 7/6 - k. Which is smaller: u or -1/4?
-1/4
Suppose -5*n = 2*a - 7, 4*a = -4*n + 6*n + 2. Suppose 5*h = 5*q - 20, -q - 5 = 3*h - n. Let s = 40/69 - -2/23. Do q and s have different values?
True
Let u = 7 - 9. Let s be ((-5)/(-2) + -2)*u. Let w be (s/2*-2)/(-1). Which is smaller: -2 or w?
-2
Suppose -9 = -5*j + 21. Let g = j - 5. Let k = 7 - g. Is 5 less than k?
True
Suppose -5*w + 2 - 7 = 0. Suppose 21 = -5*h + 3*y, 0 = 3*h - 2*y - 0*y + 13. Which is greater: h or w?
w
Suppose -42 = 4*i - 7*i. Let x be (4/i)/((-6)/(-14)). Which is smaller: 1 or x?
x
Let v(k) = -k**2 + 10*k - 7. Let d be v(9). Suppose d*q = -t, -3*q + 2*q = 3*t. Let n = -2 - -1. Is n greater than or equal to t?
False
Let o be (-24)/10 + (-6)/(-15). Let j = -23 - -43. Let k be (o/3)/(j/12). Is 1 greater than or equal to k?
True
Let m(o) = o**2 + 5*o - 10. Let n be m(-7). Let t(y) = -4*y - 9*y + n*y**2 - 3*y**2. Let p be t(13). Is 4 smaller than p?
False
Let i be (82/123)/(26/(-72)). Which is smaller: i or -1?
i
Suppose 5 = -a + 4*f - 8, 4*a + 19 = 5*f. Let p be 2/a - (-10 - -6). Which is bigger: 3/2 or p?
p
Let k = -9.32 - -0.32. Let a = -106.1 - -115. Let y = k + a. Which is smaller: y or 4?
y
Suppose 0*a + 3*a - 15 = 0. Suppose 5*y = -p + 5, a*y - 4*p = -9*p + 25. Which is smaller: y or -1?
-1
Let t = -30 + 51. Is 0.1 at most t?
True
Let y = 3 + -2.9. Is 5 less than y?
False
Let w(d) = -d**3 + 3*d**2 - 2*d + 2. Let u be w(2). Let a be u/(36/21 + -2). Which is smaller: -6 or a?
a
Let c(g) = 3*g + 4. Let x be c(-2). Which is smaller: -1 or x?
x
Let z = -2728/15 + 182. Suppose -24 + 4 = -5*v. Suppose -8 = -v*l - 4*p, -4*p + 11 = 4*l + p. Are l and z equal?
False
Suppose 30 = 7*n - 2*n + u, -u - 20 = -5*n. Let z be (-30)/9*6/n. Let b be 1 - 0/(z/2). Which is smaller: b or 2?
b
Let x be (1 - 6)*4/(-20). Which is bigger: x or -3/17?
x
Suppose 6*x + 6 = 8*x. Suppose 4*g - 5 = 7. Is x at least g?
True
Let a be (-4 + (-28)/(-6))*3. Is -2 > a?
False
Suppose 1 + 2 = -3*x. Let f = 0.12 + -0.12. Is x at least as big as f?
False
Suppose o + 0*o = 2. Suppose o*c = 10, -3 - 14 = 3*u + 2*c. Let y be ((-2)/6)/(1/u). Is y greater than or equal to 1?
True
Suppose 0*f = 2*f - 8. Suppose -2 = q, -f*b + q + 6 + 0 = 0. Let y be b - 1/((-3)/(-6)). Is y equal to -1?
True
Let l = -2.324 - -0.324. Let h = -5.08 + 0.08. Is l smaller than h?
False
Let k = -26 - -12. Let g be 3 - ((-10)/k + 2). Which is smaller: 3 or g?
g
Let p = -67 + 199/3. Suppose -8 - 40 = -4*j. Let t = j - 25/2. Which is greater: t or p?
t
Let w be ((-12)/(-9))/((-1)/(-3)). Let u(f) = f - 3. Let i be u(7). Let c = 7 - i. Is c at most w?
True
Suppose 3*x + 6 = 2*w, -2*w + 4 = -x + 2. Suppose 0 = 4*c + 4*f + 2 - 6, w = 5*c - 5*f + 35. Which is smaller: c or -4?
-4
Let n = 0.14 - -7.86. Let b = -8.01 + n. Let r = 1.01 + b. Which is greater: -1/6 or r?
r
Let v(l) = l**3 + l**2 + 5*l + 22. Let f be v(-5). Do f and -103 have different values?
False
Suppose -14*z = -17*z. Let l = -3 - -13. Suppose -5*t - l = 0, -2*v + 6 = -z*v - 4*t. Is 2/5 equal to v?
False
Let u = -89/249 - -2/83. Which is greater: -15 or u?
u
Let s(o) = -o**2 - 14*o + 20. Let c be s(-15). Let q be (3*-1)/(c/5). Are q and -4 non-equal?
True
Let g = 27.12 + -0.12. Let s = g - 28.1. Let j = -1 - s. Which is smaller: j or 5?
j
Let v(t) = 2*t - 7. Let q be v(6). Let k(x) = -x**2 + 6*x - 6. Let a be k(q). Let d = -11/37 + 221/370. Which is bigger: d or a?
d
Suppose 3*f - 20 = -2*f. Suppose 0 = f*m + p - 36, p + 9 = -0*m + m. Which is bigger: 8 or m?
m
Let b(p) = 2*p**2 + 6*p + 4. Let f be b(-4). Let d = -13 + f. Let v(w) = w**2 - 4*w - 7. Let g be v(5). Is d greater than or equal to g?
True
Let u = 38 + -36. Is u greater than -6?
True
Let c = -14.1 + 14. Let u = -0.13 - c. Is -1 less than u?
True
Let d be (((-6)/(-15))/(-1))/(-2). Let r(n) = -n**3 - n**2 + 1. Let f be r(0). Which is smaller: d or f?
d
Let n = 14/3 + -5. Which is bigger: n or -1?
n
Let g be 2/(-1)*3/6. Is g less than 1/11?
True
Let p(z) be the second derivative of -z**3/6 - z**2 - 3*z. Let v be p(-6). Let u be (1/v)/(3/12). Which is greater: -1/4 or u?
u
Suppose 2*j + 3*k = -3*j + 22, -j - 2*k + 10 = 0. Let x be 0 + (-2*2)/1. Let o(d) = -d - 3. Let i be o(x). Which is smaller: j or i?
i
Let u(k) = -k + 16. Let o be u(16). Let t = 23/6 - 133/30. Are t and o equal?
False
Suppose 0*l = 2*l - 10. Suppose 0 = -l*h - 20. Is h != -3?
True
Let b(y) = 3*y**2 + 1. Let s be b(-1). Let m be (-1)/(-1 + 0) - -1. Is s > m?
True
Let m(c) = -6*c**3 - c**2 + 6*c - 7. Let d be m(2). Is d not equal to -46?
True
Let n(y) = -y + 8. Let o be n(-9). Suppose -4*x - 5*v = -54, 0*x + 4*x - 2*v - 68 = 0. Which is greater: x or o?
o
Suppose 0 = 24*b - 14*b - 30. Which is bigger: b or 15/4?
15/4
Suppose -9 = 4*s - 33. Let d = 10 - s. Which is greater: d or 5?
5
Let p(u) = 3*u. Let c be p(1). Let k be (c + (-6)/2)/(-1). Which is smaller: 2 or k?
k
Suppose -22 - 43 = -5*z. Let f(s) = -5 + 3*s + 4 - 2*s - 6. Let j be f(z). Is j < -1?
False
Let a be (3 + 3)*(-4)/6. Do a and 2/3 have the same value?
False
Let l be 340/(-13) + (-10)/(-65). Let h be l/6 + 2/(-3). Is 0 at least h?
True
Let a = 7 + -14. Let s be -2 - 10/a - -1. Let v = -1 - -2. Is s < v?
True
Suppose 0*w - 35 = -5*w. Let a = w + -8. Let k(n) = -n**3 + 2*n**2 + 3*n. Let j be k(3). Is j <= a?
False
Let a(v) = -v**3 + 9*v**2 - 8*v - 2. Let b be a(8). Suppose 3*x + 3 + 6 = 0. Which is smaller: b or x?
x
Let j = 0.56 - -0.14. Let f = j - -7.3. Let t = 7.9 - f. Is -0.1 bigger than t?
False
Let t(c) be the second derivative of c**3/6 - 3*c**2 + c. Let h be t(6). Which is bigger: h or 2/25?
2/25
Suppose 2*s - 3*s = -4*p + 12, 5*s + 5*p = -10. Let v be (-8 - s) + 100/22. Is 1 at least v?
True
Let m(c) = c**2 + 8*c - 1. Let u be m(-6). Let o(v) = -4*v**2 + 12*v + 4. Let j be o(4). Which is smaller: u or j?
u
Let j(k) = k**3 + 4*k**2 + k - 4. Let d be j(-3). Suppose -f + 3*f = -d. Let n be 4/14 - 115/280. Is n at least as big as f?
True
Let a be (-1)/(-2) + -4 + 4. 