r v?
v
Suppose -192 - 390 = 3*k. Let q = k + 19978/103. Let f = -258/1339 - q. Which is bigger: f or 0?
0
Let w = 3 - 2. Let l = 31 + -33.8. Let i = -3 - l. Is w greater than i?
True
Let w = -0.2 - 1.8. Which is smaller: w or -0.03?
w
Let q = 8.23 - 8. Let r = 0.03 - q. Do 1/4 and r have different values?
True
Let m(s) = -9 + 5 + 3 + 0*s - 5*s. Let u be m(1). Is -5 at least u?
True
Let v = -1 - -1. Let q = 4 - 3.8. Let r = q - v. Which is smaller: -1 or r?
-1
Let c(v) = v**3 + 11*v**2 + 11*v + 4. Let k be c(-10). Let y = -4 + -2. Is k not equal to y?
False
Let u be 0 + 4*2/4. Suppose 3*z - 4 = 5*z, -u*r - 4*z = 6. Let f be (-2)/(-4)*(3 - 3). Which is smaller: f or r?
f
Suppose -2*z + 2 = -2. Suppose -z*s + s - 2 = 0. Suppose 0 = -4*j - 5*f + 18 + 10, j - 22 = -5*f. Which is bigger: j or s?
j
Suppose -3*h + 23 = -2*t - 2*h, 0 = -5*t + 3*h - 57. Let b be (-1 - 0)/((-6)/t). Is -2 bigger than b?
False
Let u = 1 - -4. Suppose -d = -u - 3. Let z be 2/d + 15/20. Which is bigger: z or 0?
z
Let r = -3 - 2. Which is smaller: r or -6?
-6
Let h = -0.19 - 0.01. Let x = -3 - -3. Is x at most h?
False
Suppose x - 4*t + 0 + 3 = 0, -3*x = -5*t - 5. Suppose 5*j - 146 = -3*d, -x*j - 141 = -3*d + 55. Let h be (2 - 0) + d/(-30). Does -1 = h?
False
Let o be -1 + (2 - 2) + 0. Let s be (-1)/(-4) - (-16490)/280. Let z = s + -59. Which is greater: o or z?
z
Let l(a) = -a**2 + 15*a - 27. Let r be l(12). Is 9 < r?
False
Let t(q) = 9*q**3 - q**2 - q - 2. Let j be t(-2). Let h be j/24 - 2/(-3). Is -4 at least h?
False
Let u be 19 - 0*(-2)/(-8). Let z = u - 18. Is z at most 2/11?
False
Let h = -7 - -12. Suppose 4*s - 16 - 15 = 5*v, h*v - s + 19 = 0. Is v greater than -3?
False
Let a(c) = c**2 - 3*c - 1. Let w be a(4). Suppose 5*m = w*m + 12. Let s be (4/(-30))/((-1)/m). Are 0 and s non-equal?
True
Let u = 6 + -3. Let w(r) = -r**3 + 3*r**2 + 2*r - 4. Let j be w(u). Let v = j + -3. Is 1/3 at least v?
True
Let j(q) be the second derivative of q**4/12 + q**3/6 + q**2/2 - q. Let a be j(0). Suppose -2*k + a - 7 = 0. Is k smaller than -2?
True
Let c = 92 + -61. Are c and 32 non-equal?
True
Suppose -5*g - 2 + 7 = 0. Let z = 1.3 + -1. Let i = z + -0.6. Is g greater than or equal to i?
True
Let t(v) = v**3 + 4*v**2 + 3*v. Let b be t(-3). Suppose 40 + 10 = f + 4*p, 4*f - 5*p - 95 = b. Let c = f + -149/5. Which is smaller: -1 or c?
-1
Let l be (9/(-15))/((-8)/30) - 1. Which is smaller: l or -1/3?
-1/3
Let f be 0 - (-6)/14 - -1. Let m = -44 - -44. Do m and f have the same value?
False
Suppose 0 = -0*q - 4*q + 84. Let h be 18*(q/(-6))/7. Which is smaller: -8 or h?
h
Let j = 5 + -5.032. Which is bigger: -0.1 or j?
j
Suppose 9 = -3*s - 0. Which is smaller: s or -0.01?
s
Let k = 0.52 - 0.6. Let h = k - 0.22. Which is bigger: h or 0?
0
Let r = -380/3 + 90. Let b = 37 + r. Is b at least 0.1?
True
Let p be 0 + 9/(-15) - (-13)/5. Do 1/2 and p have different values?
True
Let x be 5/((-5)/(-9)) - 0. Let g be x*(-2 + 4 + -1). Suppose 5*b - g = 1. Are b and 2 equal?
True
Let i(v) = -v**2 + 9*v. Let y be i(9). Suppose y = m - 5 + 4. Suppose -3*a - 4 = -m. Is 0 greater than or equal to a?
True
Suppose 4*w - 3*w + 3 = 0. Let r be 1/w*(-3)/(-9). Let a = r - 4/45. Is -1 >= a?
False
Let m = -6 + 5.9. Let g = -0.3 - -0.1. Which is smaller: m or g?
g
Let n(z) = -z**2 + z + 5. Let k be n(3). Which is smaller: -16/13 or k?
-16/13
Let w = -50 + 33. Which is smaller: 0.3 or w?
w
Let g be (-1)/(22/(-4) - -1). Does 1.2 = g?
False
Let o = 7 + -7. Let y be 2/((46 + o)/2). Do y and -1 have different values?
True
Let n = -0.09 - 0.01. Let y = 136 - 678/5. Which is smaller: y or n?
n
Suppose s + 22 = -s. Let u = -15 - s. Is u at most as big as -5?
False
Let u(i) = -i**3 - 7*i**2 + 6*i - 7. Let a be u(-8). Let w be 6*(-3)/(a/2). Is w at most as big as -3?
True
Suppose 0 = -3*m - m. Suppose -6 = -l - m. Let d = l + -5. Which is smaller: d or -1/3?
-1/3
Let v = -1 - -1. Let w = -2124/7 + 304. Which is smaller: v or w?
v
Let s be (-3841)/(-252) - (-4)/18. Let b be (18/(-28))/((-2)/(-52)). Let c = s + b. Which is bigger: 0 or c?
0
Let c = 127 - 1525/12. Is c greater than -2?
True
Let c = -20/7 + 286/105. Which is smaller: c or 2?
c
Suppose -2*i = 3*l - 0 - 2, l - 17 = -3*i. Suppose 0 = 4*w - 1 - i. Let h = 1 - w. Which is greater: -8 or h?
h
Let l = -5 + 4. Which is smaller: 2/35 or l?
l
Suppose q - 3 = -15. Which is smaller: -10 or q?
q
Let m = 85/372 + 2/93. Suppose -4 = -6*n - 16. Which is bigger: n or m?
m
Let g(h) = -6*h**2 + 5*h - 3*h + h**3 + 0*h - 9. Let i be g(6). Suppose -4 = l + y, 0*l - 4*y - 13 = i*l. Is l bigger than -1?
False
Let o = -0.98 + 0.84. Which is smaller: o or 1?
o
Let b(w) = w**2 + 5*w - 5. Let l be b(-6). Let x(a) = -a**2 - 4*a + 2. Let u be x(-5). Which is greater: l or u?
l
Suppose 4*k = 2*k + 5*g - 15, 15 = -5*k + 5*g. Let j be -1 + k - (1 - 3). Let z(f) = f**2 + 2*f - 3. Let w be z(-3). Which is greater: j or w?
j
Let b(q) = 4*q**3 + q**2 - 2*q + 1. Let y be b(1). Let j be (-279)/36 + (-1)/y. Which is smaller: j or -7?
j
Let b = 0 - -0.1. Let c = 89 - 89.1. Is b >= c?
True
Let s = 0 + -7. Let j = -7.2 - s. Is 6/5 > j?
True
Let c be 0/(-2) - 0 - -2. Suppose -2*n = -5*p + 2*n + 10, -c*p - n + 4 = 0. Let u be (-6 - 0)*(-2)/6. Do p and u have the same value?
True
Let h be (-1)/(-2)*(-11)/22. Which is bigger: h or -0.08?
-0.08
Let n(k) = -k**3 - 4*k**2 - k. Let o be n(-4). Suppose -o*g = g - 3*z - 6, -g + z + 2 = 0. Let t(a) = -2*a + 11. Let b be t(5). Do g and b have the same value?
False
Let j = 19 - 24. Let m = j + 6. Is m >= 3?
False
Let b = 13 - 27/2. Let h = -283/5 - -57. Which is greater: b or h?
h
Suppose -1 = -2*t + 1. Are 3/7 and t unequal?
True
Suppose -3*t + 12 = t. Let i = 14 + -3. Suppose -v - i = t*f, 5*v = -2*f - f - 19. Is f at most as big as -2?
True
Let j = -1055 - -1065.01. Let b = 10 - j. Which is greater: b or -2?
b
Let i be (-4 - 3)*(0 - -5). Let z = -209/6 - i. Which is smaller: z or 0?
0
Let f = -175 - -166.1. Let n = -9 - f. Which is greater: 0.1 or n?
0.1
Let i = 58 + -58. Suppose -22 = -0*b - b + 2*w, -4*w = b - 22. Suppose n - 9 = 3*s, 5*s + 0*s - 4*n = -b. Which is bigger: s or i?
i
Let s(f) = f**3 - 4*f**2 + 5*f - 4. Let z be s(3). Suppose -z*l = l. Which is bigger: 0.2 or l?
0.2
Let x = -2 + 3. Suppose -3*u = 4*y - 40, 3*y = -4*u - 2*y + 52. Suppose 0 = u*a - 3*a - 5. Is x bigger than a?
False
Let i be (-90)/(-12) - (-1)/(-2). Let l be 2/(i/((-147)/(-6))). Is l greater than 8?
False
Let o = 28.068 + -0.068. Let m = o - 26. Do m and 4 have the same value?
False
Let t be -3 + (0 - (-38)/8). Let w = t + -3/2. Are -12 and w unequal?
True
Let m = -17 - -41. Does 23 = m?
False
Let o = 9 + -4. Suppose 3*f = -4*l - 0*l + 25, -4*l = o*f - 31. Suppose 2*z = 2*v - 12, -f*v - 7 + 18 = 4*z. Is 0 greater than z?
True
Suppose -17*y + 1 = -16*y. Suppose 0 = d - 6*d. Do y and d have the same value?
False
Let t be (6/(-8))/((-4)/(-32)). Let h be 5/3 - t/(-9). Let c be -3 + h - -2 - -1. Does c = -1/5?
False
Let m be (-2 - (-132)/39) + -2. Let k = m - 2/39. Let i be (2/(-2))/(10/2). Are k and i equal?
False
Let y be (-2)/5 - (-168)/70. Suppose -y*b = -3*b. Is -2/9 less than b?
True
Let u = -162 - -163. Let b be (-2)/6*(-2 - -3). Which is greater: u or b?
u
Let g = 14 - 6. Is g at most 5?
False
Let z = 199 - 583/3. Let r = 31/6 - z. Is r > 5?
False
Suppose 0 = c + 4*c - 70. Let u = 8 - c. Let q be u/(-4)*(-6)/(-9). Is 2/3 <= q?
True
Let u = -3.19 + 0.19. Is u greater than 0?
False
Let o = 19 - 20.3. Let t = o - 4.7. Which is smaller: t or 2?
t
Let x = -0.3 + -0.7. Let k = -29 + 25. Let l be k/6 - (-48)/18. Does l = x?
False
Let m = -1 + 1. Let p be (m + 0)/(-2) + -2. Let i be 2/(p + 0)*-2. Do 3 and i have different values?
True
Let w = 3 - 8. Let q = 1 - 2. Which is greater: w or q?
q
Let k = 8 + -7.6. Do k and 2/9 have different values?
True
Suppose -7*y + 12*y - 5 = 0. Which is smaller: y or 1/28?
1/28
Suppose -16 = 5*j + 9. Let d = -2 - j. Do 1 and d have different values?
True
Let q be (0 + 0)*(-8)/(-16). Let s = 0 + -4. Let v be 26/(-36) + (-2)/s. Do v and q have the same value?
False
Suppose 4*x + 8 = k, k + 3*k - 19 = 3*x. Is -1 at most x?
True
Let l = -320991707/791 + 405805. Let r = -2/565 + l. Which is greater: -1 or r?
r
Suppose 2*d + 5*l + 17 = 3*d, 3*l + 17 = 4*d. Sup