 g. Let c = 0.1 + l. Do c and 0.22 have the same value?
False
Suppose -7*f + 80 - 17 = 0. Which is greater: 8 or f?
f
Let j = 7 - -2. Let f be (42/16)/(j/4). Which is smaller: 2 or f?
f
Suppose 4*q - 5*i - 35 = 0, 2*q - 4*i - 22 = -0*i. Suppose -3*m = 2*o - 31, -2*m - 39 = -4*m - q*o. Suppose 24 = 3*f + f. Does f = m?
False
Let c = 73 + -71. Suppose q - 3*h - c = -q, 2*q = -5*h + 2. Is 4/35 >= q?
False
Let i = 19.5 - 4.1. Let u = 17 - i. Which is smaller: 0 or u?
0
Let u be (-3)/9 - (-2)/(-3). Let b = -75.1 + 79.17. Let t = 0.07 - b. Which is bigger: t or u?
u
Let j(i) = 2*i**2 + 2*i - 13. Let x be j(-3). Which is bigger: 2/141 or x?
2/141
Suppose 525*q - 72 = 534*q. Suppose 1 = 3*v + 22. Which is greater: q or v?
v
Suppose -1042*x - 11 = -1031*x. Let b be ((-6)/(-120))/(6/(-112)). Which is bigger: b or x?
b
Let q = -1711/16744 - -18/161. Which is bigger: -1 or q?
q
Let j = -67/336 + 85423/431760. Is j bigger than -1?
True
Suppose 4*a + 2*t = -6, -a + t = -t + 4. Is a at least as big as -3?
True
Let b = 77 - 73. Let k be (-8)/b + (-22 + 3 - 1). Are -20 and k unequal?
True
Let k be (-465)/45 - -10 - (-898)/3. Is 298 >= k?
False
Let k be (74 + -75)/(-1 + 2). Which is smaller: -4/171 or k?
k
Let j = -376/35335 + 1/191. Which is smaller: j or 0?
j
Let m = 5 + -6. Let p be 2 + 2 - (0 + m). Suppose -t + 0 = -p. Is 2 greater than or equal to t?
False
Let q = 1.42 + -1.2. Let h be 26/22 + ((-4)/22 - 0). Which is greater: q or h?
h
Let v(o) = -2*o. Let y be v(-1). Let r(p) = -p**2 - 6*p + 10. Suppose m - 2 = -d - 2*d, -3*m - d = -6. Let i be r(m). Which is smaller: i or y?
i
Let q = -0.011 - 12.489. Let h = -0.5 + q. Let a = h + 16. Is a not equal to 0.4?
True
Suppose 4*a + 8*w - 1098 = 6*w, -a + 4*w + 297 = 0. Is 277 equal to a?
True
Let r(t) = -47*t**2 + 1. Let k(q) = -q**2 + 8*q + 1. Let m be k(8). Let d be r(m). Let i = d - -140/3. Which is bigger: i or 4/5?
4/5
Let i = 189.9 - 190. Is i at most 2/13?
True
Suppose -6*v + 3*n = -2*v - 14, -v = 3*n - 11. Suppose v = -4*d - 3, -2*p + 3*d + 4 = 0. Let i = 90.7 + -87.7. Is p smaller than i?
True
Let z be (-1 - (-171)/21) + 19/(-133). Which is bigger: -5 or z?
z
Suppose -59 = 5*o + 5*i + 81, 0 = 5*i + 25. Let v = o - -35. Let j = 20 - v. Which is greater: j or 7?
j
Let j be (7 - 55)*(-1)/(-12)*-4. Which is smaller: j or 33?
j
Let y = 89 + -42. Suppose -f + 2*f = y. Is 47 greater than f?
False
Let u = 11.2 - 15.9. Let i = u - 0.3. Let k = -0.1 - 0.9. Which is bigger: i or k?
k
Suppose -8*p - 18564 = 4*p. Which is smaller: p or -1548?
-1548
Suppose -2*c + 20 = 2*c, -2*b - c = -11. Let m be ((-2)/4)/(9/(-108)). Which is smaller: m or b?
b
Let y = -3/629 + 1208/121397. Is -1 > y?
False
Let n = 44 + -30. Let z(k) = 794*k**2 + 7145*k - 10. Let m be z(-9). Is m >= n?
False
Let t = -2545.9 - -2585. Which is bigger: -2 or t?
t
Let h = -2.96 + 2.84. Let y = 59.02 - 61. Let t = y - 0.02. Is t at least as big as h?
False
Let t = 55 - 37. Let p = -19 + t. Which is bigger: -2/29 or p?
-2/29
Let k(c) = 2*c**3 + 21*c**2 + 9*c - 10. Let z be k(-10). Let d be 12/(-28) + (-757)/(-2212). Let n = 4/79 + d. Which is greater: z or n?
z
Let s be 118/6*(-1)/(-65). Let j be 0/(-1) - (-8)/260. Let k = s + j. Which is greater: k or 0.04?
k
Let p = 6034 + -6003. Let h = -16 - -48. Which is smaller: p or h?
p
Let s = 319/42 + -52/7. Let r be (-1 - -1)*(0 + -1). Suppose -8*g + 6*g = r. Are s and g nonequal?
True
Let m be (-1)/(-4) + 87/(-156) + -2. Which is smaller: m or -0.1?
m
Let a = -4 - -5. Let k be 48/(-18)*a/36. Suppose 0 = 16*b - 62 + 46. Which is smaller: k or b?
k
Let a = -20 - -40. Let h = -29 + a. Is -10 at most as big as h?
True
Let v(a) be the third derivative of -a**4/8 + 5*a**3/3 - 3*a**2. Let s be v(10). Is s at least -19?
False
Let j be (-688)/(-10) + (-1)/(-5). Suppose -2*d + j = -5*d. Suppose 0 = 4*p + p + 3*o + 95, -3*p - 5*o = 41. Is p at least as big as d?
True
Let t(k) = -k**3 + 12*k**2 - 33*k - 14. Let f be t(7). Which is smaller: f or 3/13?
f
Let d be (-32)/(-368) - (-364)/46 - 0. Suppose y = 4 - 0. Is y <= d?
True
Let b = 103.4 + 130.6. Which is smaller: 0 or b?
0
Let h = 19 + 159. Is 178 at least h?
True
Let m = -0.4 - 0.1. Let u = m - -0.8. Suppose 5*c - 5*s + 15 = 0, 10 - 4 = -4*c - 2*s. Is c at most as big as u?
True
Let v be (-2)/4 - (-91)/14. Let k(r) = 4*r + 3. Let h be k(v). Suppose 5*x = -a - 4*a + 45, -5*a = 2*x - h. Which is smaller: x or 2?
2
Let d be 0*((-20)/(-8))/5. Suppose d = -2*s + k + k, 4*s - 2*k = -4. Is s less than 3?
True
Let w = 664 + -661. Is -19 equal to w?
False
Suppose 2*d = 4*p - 6, -3*p + 0*p - 4*d = -32. Let r be (p - 2)/(4/(-6)). Let a = 0.49 + -0.49. Are a and r nonequal?
True
Suppose -4*r + 5 = -3*r. Suppose -r*z + 3*u - 5 = 0, -9 = -2*z + 5*z - 3*u. Which is bigger: z or 3/2?
z
Let m = -15623/4 + 3887. Suppose 7*b - 644 = -518. Let o = m + b. Is o >= -1/3?
False
Let g = 0.7 + 0.3. Let a be 609/(-4) - 12/(-3). Let t = 149 + a. Are t and g unequal?
True
Suppose 13*h - 1 = -1. Is h at least as big as -2/159?
True
Let p be (-446)/(-3312) - (-90)/(-720). Are 0 and p unequal?
True
Suppose 7*g - 14 = -21. Let s = -1264/5 - -252. Is g != s?
True
Let k be (4/(-12))/(-1 + 42/35). Let t = -5 - -2. Is t < k?
True
Let p be (-12)/140*-2653 - 3/(-5). Is 229 smaller than p?
False
Let q be 1/36 - (-4)/18. Let k = 0.1097 + 0.0203. Is k not equal to q?
True
Let p be 12/(-28) + 1468/3752. Which is bigger: p or 0?
0
Let r(m) = -4*m**3 + 5 + 2*m**3 + 0*m**3 + 8*m**2 - 7*m. Let x be r(3). Is x != 0?
True
Let f be ((-17)/1)/((-7)/14). Let h be 2 - -2 - 138/f. Which is greater: -0.1 or h?
h
Let j = -1763/2 + 12263/14. Let q be (20/3)/(-4)*3. Which is greater: j or q?
q
Suppose 0 = -4*p - 16, -5*p + 155 = 5*f - 0*f. Let j = f - 54. Does -1 = j?
False
Let o be ((-12)/(-30))/((-8)/60). Is -79 bigger than o?
False
Let d = 0.17 - 0.07. Let w = d + -0.7. Let p = w + 0.1. Which is smaller: -2 or p?
-2
Let i = -64 + 64. Let q be i*(-4)/40*-5. Is q greater than 4/3?
False
Suppose -7*y = y - 8. Let i = 15 - y. Which is greater: 13 or i?
i
Let w = -57 + 57. Suppose 4*o + 0*o - 5*v - 190 = w, 0 = 2*o - 3*v - 94. Which is smaller: o or 52?
o
Let v(g) = -3*g + 2. Let l be v(3). Let c be 1 + 1 - (735/(-12))/l. Which is smaller: c or -6?
c
Let u = 62 - 495/8. Suppose -w - 6 = -4*w, 4*w - 3 = 5*i. Suppose i = -0*b - b. Are u and b equal?
False
Let l = 4903/207 - 212/9. Let x = -861 - -861. Is x less than l?
True
Suppose 0 = 3*n - 4*n. Is -6/245 at least n?
False
Let z be ((-27)/(-60))/((-6)/4). Let p(i) = -i**2 - 16*i + 35. Suppose 0 = 2*o + 32 + 4. Let x be p(o). Is z equal to x?
False
Suppose 9*g = 13*g + 20. Let v = -4 + g. Let h = v - -9. Which is smaller: h or 1/2?
h
Suppose 5*n = -z + 363, -4*z + 0*z = -12. Suppose 6 = 73*b - n*b. Let f = -2 - -7. Which is greater: b or f?
b
Let t = 11 + -15. Let z = 11 + -7. Let j = z - 7. Is t > j?
False
Let h = -17.2 + 25. Let o = h - 7.8. Is 40 >= o?
True
Let p(n) = n + 6. Let j be p(-4). Let m = -5/3 + j. Does -1/4 = m?
False
Let x = 188/267 - -329873/1335. Let q = 247 - x. Is -0.2 <= q?
False
Let v = -16.77 + -0.23. Let k = -16.9 - v. Does k = 0.11?
False
Suppose 6*w + 8 = 2*w. Let x(g) = g**2 - 7*g + 6. Let t be x(7). Suppose 7*d - 4*d = -t. Is w bigger than d?
False
Let o be -4*(-7)/56*-2. Which is greater: o or 1/448?
1/448
Let a be ((2660/(-30))/14)/((-1)/(-57)). Which is smaller: a or -362?
-362
Let j = 22 + -10. Let o = j - 9. Suppose -o*n + 2 = -1. Which is smaller: n or -1?
-1
Let v = -1895732641/930 - -2038422. Let m = v + -1/186. Is m bigger than -1?
True
Suppose -262*t + 259*t - 381 = 0. Do t and -128 have the same value?
False
Let w = 18 - 11. Let v = 7 - w. Suppose 0 = -2*z + 3*k + 2*k + 11, -z + 5*k + 13 = v. Which is greater: z or -1?
-1
Let n(u) = u - 7. Let p be n(7). Let z = p - 0. Suppose 5*y - 5*s - 6 = -31, -3*s + 15 = z. Is y < 2/17?
True
Let s(h) = -2*h - 7. Let w be s(7). Let b = 21 + w. Which is greater: b or -1/65?
b
Suppose -5*m + 6 = 76. Let x be (-15)/(-35) - (-12)/m. Let v(t) = t**2 - t - 1. Let j be v(-1). Which is smaller: j or x?
x
Let t = 0.6 + -0.5. Let u = 0.1 - t. Let d = 4.69 - -0.31. Which is smaller: d or u?
u
Let y(a) = a**3 - 7*a + 6. Let m be y(4). Suppose 4*l + m = k + 9, l + 3 = 0. Let c = 28 - k. Is c smaller than 6?
Fa