 = 5 + -2. Suppose 4*r - 19 + 4 = -3*f, u*r - 10 = -f. Which is bigger: f or 2?
2
Suppose 4*j = 16, -6*n + 3*j = -4*n + 12. Is n at most -8/9?
False
Let u = 2/433 - 1746/3031. Let h = 0 + 1. Is u >= h?
False
Let z be (13/(-3))/(22/33). Are -7 and z non-equal?
True
Let p = -9 - -14. Let a = -3 + p. Is 2 equal to a?
True
Let x = 0.9 - 0.83. Let a = 5.93 + x. Which is bigger: a or -0.1?
a
Let x be (0 - (1 + -3)) + 208/(-78). Which is greater: -0.1 or x?
-0.1
Let h(b) = b**2 + 5*b - 20. Let x be h(-9). Is 17 greater than or equal to x?
True
Let s be (3 - (-14)/(-5))/(-7 - -1). Let l = 1923/10 + -192. Let m = s - l. Which is bigger: m or -1?
m
Suppose 0 = -6*y + 2*y - 8. Let t = 2 + 1. Suppose 8*j = t*j. Is y > j?
False
Let h = -42 - -41. Is 4 at most h?
False
Let f = -68 + 62.7. Let u = 0.3 + f. Do u and 0.2 have the same value?
False
Let i = -10 - -8. Let g be 4/(-18) + (-1 - -1). Which is smaller: i or g?
i
Let d(z) = 10*z**2 + 2*z + 1. Let h be d(-1). Let k = 1 - h. Let c be ((-3)/(-2))/((-78)/k). Which is greater: c or -1?
c
Let y = 91 - 90.9. Which is smaller: -5/3 or y?
-5/3
Let k(p) = -16*p**2 - p + 1. Let s be k(-1). Suppose -o = 5*o + 90. Does s = o?
False
Let t be -38*(1/2)/(-1). Let p = t - 16. Which is smaller: 4 or p?
p
Let s be (-2 - (0 + -8))/2. Suppose 0 = -5*j + s*d - 17, -j + 2*d - 3*d = 5. Let g = j - -3. Is 1/8 at least g?
True
Suppose 10 = 2*t + 2. Is 4 >= t?
True
Let w(d) = 3*d + 13. Let y be w(4). Which is smaller: 24 or y?
24
Let g be (-56)/(-10) - (-6)/15. Is g < 5?
False
Let b be (16/8)/(-2 - 0). Which is smaller: 0 or b?
b
Let b(v) = 3*v + 59. Let j be b(-19). Is j bigger than 8/5?
True
Suppose -345 = 9*f - 948. Is 67 bigger than f?
False
Let z = -3 + 2. Is -1 smaller than z?
False
Suppose -t = -3*w - 10, 0*w - 4*w - 2*t - 20 = 0. Let n = w + 8. Suppose n*h + 14 = -3*z, -h + 6 = -2*z - 2*z. Is -2 smaller than h?
False
Let m be (-1)/(-1 - (-6)/4). Let a be 3 - (1 - 1)/m. Let k be (3*1)/(5 - 4). Does a = k?
True
Let r(j) = -j**2 - 5*j - 3. Let k be r(-4). Let s = 1 + k. Let v be 10/30 + 1/6. Is v >= s?
False
Suppose 47*g - 51*g = -40. Is 16 at most g?
False
Let j = 10/303 + -2857/3939. Is j != -1?
True
Let a(h) = 7*h + 1 - 3*h**3 + 1 + 0*h**3 + 8*h**2 + 4*h**3. Let k be a(-7). Is k at least as big as 4/5?
True
Let i = 751/7 + -1280/21. Let l = i + -134/3. Let r = l + -23/12. Is r greater than -0.07?
False
Let d = -0.08 + 0.08. Let j = 0.1 + -0.2. Let m = 0 + j. Is d less than m?
False
Let c be (16/30)/(20/50). Let a be (-2)/7*(-6 + -1). Which is smaller: c or a?
c
Suppose -b + 1 = -5. Let y = 22 - b. Suppose 5*j + y = -3*k, 0 = -k - 4*j + 3*j - 2. Which is smaller: k or 1?
1
Let o = -0.31 - -2.31. Is 25 smaller than o?
False
Let n(h) = h**2 + 4*h - 7. Let k be n(-6). Suppose 27 = -k*j + 72. Let p be (6/(-1))/(j/6). Which is smaller: p or -3?
p
Let u = 2.95 + -1.9. Let q = -0.05 + u. Is 2/11 less than or equal to q?
True
Let i = 56 + -281/5. Which is bigger: i or -1?
i
Let i = 0 - -9. Let b = 8.9 - i. Which is bigger: b or -4/7?
b
Let m(n) = n**2 - 8*n. Let x be m(8). Is -3/4 at most x?
True
Let p = -5 - -15. Let b be (-9)/p + (-2)/(-5). Which is greater: 0 or b?
0
Let t be ((-90)/44 - -2)/(1/(-2)). Which is smaller: t or 1?
t
Let k be -1*2/6*3. Which is smaller: k or -3?
-3
Let t = -5 + 5.9. Let w = t - -0.6. Let b = w + -2. Which is bigger: -0.1 or b?
-0.1
Let n = 8 + -5. Suppose -5 = n*y + 2*y. Does 0 = y?
False
Let s(c) = c**2 + 14*c + 11. Let n be s(-14). Let a(h) = -h**2 - 14*h + 11. Let q be a(-14). Is q greater than n?
False
Suppose -3*t + 0*a + 5 = -2*a, -3 = t + 4*a. Is 1 at most t?
True
Let b = -1.7 + -4.1. Let y = -6 - b. Do y and 1 have the same value?
False
Let j be (12/(-21))/(4 + -2). Which is smaller: -0.1 or j?
j
Let m(o) = 2*o**2 + 10*o - 7. Let x be m(-6). Does -3 = x?
False
Suppose 4*r + 0*r - 8 = 0. Suppose 0 = -f + 1 + r. Suppose 6*d - 3*d + f = 0. Is 3/7 at most d?
False
Let r = -5 + 5.06. Let h = r + 0.34. Let g = h - 0.4. Which is smaller: -1/3 or g?
-1/3
Suppose v + 0*a - 3*a = 0, -5*v = 2*a - 17. Suppose -2*o + 3 = -4*y + 7, 10 = 2*o + v*y. Suppose 3 = -5*d - o. Which is bigger: d or -2/11?
-2/11
Suppose 2*w = 7 - 3. Suppose 5*q = 4*l - 10, -4*l + 3*l + w = -q. Is q at least -3?
True
Let x be -21 + (0 - (0 - -3) - 1). Are -24 and x equal?
False
Let h(x) = x**3 - 7*x**2 - 3*x + 2. Let v be h(7). Is v < -18?
True
Let h = 0.2 + -0.16. Let k = 17.91 - -0.19. Let b = 18 - k. Is b >= h?
False
Suppose -7*m - 29 = -1. Is 3 greater than or equal to m?
True
Suppose -27 = -4*c + 9. Which is smaller: -1 or c?
-1
Let w = -0.6 - -0.3. Let n = w + 0.2. Which is greater: -1/4 or n?
n
Suppose -3*f - 4 = -f. Suppose 5*l + 49 = 34, -3*q = l + 15. Is q greater than f?
False
Let p(l) = -l - 1. Let j be p(0). Let m be ((1 - -4) + -4)*2/(-7). Which is bigger: j or m?
m
Suppose 2*r - 5*c + 6 = 0, 0 = -r + 2*c - 1 - 3. Which is smaller: -3 or r?
r
Let j = 5 + -3. Let a = j + 0. Suppose -5*r = -0*r - 15. Which is bigger: a or r?
r
Let x be (14/(-21))/((-120)/(-117) + -1). Are -28 and x equal?
False
Suppose -2*b = -b + 2*m - 21, 3*m + 53 = 5*b. Let k be (-3 - b/(-15)) + 2. Is k less than or equal to 0?
True
Let d = -5 + 5. Let b be -1 + 1 - -3*4. Suppose -2*o - 1 = -3*f + 7, -f + 3*o = -b. Is f at least as big as d?
True
Let l be (11 - 1)*1/2. Suppose -l*h + 14 = 4. Suppose 4 + 2 = -h*s. Is -2 equal to s?
False
Suppose 3*q = -0*q + 63. Suppose -3*d - 8 = -5*v - 2, 2*d - q = -5*v. Let c = -4/17 - -148/51. Which is smaller: d or c?
c
Let j = -0.3 - 0.7. Let c = j - -3. Is 1/3 bigger than c?
False
Suppose 0 = 5*p - 21 - 29. Is p greater than or equal to 11?
False
Let u = -6 - -11. Suppose 3*v = u*v + 4. Is v != -3/2?
True
Let f = 3.3 + -6.3. Is f less than -1?
True
Let m = -1 - -5. Let d(x) = -x**3 - x**2 + 2*x + 4. Suppose 11*j - 7*j + 8 = 0. Let y be d(j). Do m and y have different values?
False
Let z = -0.01 - 0.39. Let l = z + 0.5. Is l less than 2?
True
Let b be (-12)/(-15) + 78/(-10). Is -6 equal to b?
False
Suppose -b + 0*g + 13 = -g, -5*b = -4*g - 61. Is b less than 44/5?
False
Let r = -1104 - -6599/6. Is r smaller than 1?
True
Suppose 0 = -0*k + 4*k - 12. Suppose -y + 1 = -k. Let o be 2/y - (-22)/4. Is 5 >= o?
False
Suppose 4*a - 3*a = -187. Let c = -1499/8 - a. Let f(q) = -q + 7. Let m be f(8). Is c smaller than m?
False
Let n(s) = -2*s**2 + 0 + 0 + s**2 - 9*s + 4. Let y be n(-9). Is y >= 3?
True
Let p be 0 - (0 - 1 - -1). Suppose -2*q + 28 = 5*t, 5*q + t - 6*t = p. Suppose 3*k - q = 5. Are k and 3 nonequal?
False
Let t = 1.6 - 1.7. Is t smaller than -11?
False
Let l be (-31)/(-6) + (-1)/6. Suppose -l + 0 = -q. Suppose 4*g - 1 = -q. Which is smaller: -1/6 or g?
g
Let g be 2132/(-54)*6/(-4). Let b = g - 59. Do b and 0 have the same value?
False
Suppose 0*v - v = -3. Let r be (48/5)/(v/64). Let w = -204 + r. Is 1 != w?
True
Let q = -12 - -13. Is -1 < q?
True
Let p be ((-1)/(-2))/((-2)/(-12)). Suppose -12 + p = 3*q. Which is bigger: -2 or q?
-2
Suppose 5*t = -t - 108. Do -16 and t have different values?
True
Let b = 0.47 - -0.53. Does b = 4?
False
Let d = 6 + -6. Suppose b - 16 = -3*b + 5*h, 0 = -b + 4*h + 4. Are b and d equal?
False
Let b = -14 + 15. Are b and 5 non-equal?
True
Let r be (-4*(-1)/2)/(-1). Let m be 9 - 0*(-3)/6. Let a be 15/m - 1/(-3). Is a >= r?
True
Suppose 3*d + 43 - 4 = 0. Is d greater than or equal to -13?
True
Let q = -0.5 - -0.9. Let a = q + -1.4. Is a smaller than 3?
True
Let y be 6/27 + (-32)/(-18). Suppose -2*x = -0*x + y. Which is smaller: 0 or x?
x
Let r = -0.59 - -0.09. Is r <= 1?
True
Let w be (-11)/((-55)/(-6)) + 1. Which is smaller: w or 1?
w
Suppose b + 6 = -0*b. Let v be b/27 - 136/36. Which is smaller: -3 or v?
v
Let f = -0.6 - 2.4. Let w = 1 + f. Suppose -6*x = -2*x. Which is smaller: w or x?
w
Suppose -91 = -10*f - 21. Which is smaller: f or 3?
3
Let i = -4 + 0. Let g = i + 7. Is g less than or equal to -2?
False
Let h(z) = -z - 3. Let r be h(-4). Do 1/15 and r have the same value?
False
Let q be 9/(-27)*(0 + 3). Is 8/39 != q?
True
Let w = -5127/5 - -1030. Is w smaller than 0?
False
Let t = 0.092 + -0.142. Which is smaller: -0.1 or t?
-0.1
Suppose -5*x - 26 = -6. Which is smaller: x or -2?
x
Let h = 53 - 53. Is 4/13 greater than or equal to h?
True
Let k be (-2)/8 - 35/(-28). W