. Let f = -489/7 + m. Which is smaller: 0.1 or f?
0.1
Let f be 95/135 - 4/6. Let m be (32/48)/(12/9)*0. Is m != f?
True
Let i be (10/(-300))/((-13)/(-121)). Let m = i - -7/30. Are 0 and m equal?
False
Let j be 2/7 - 4/14. Let v = 14039 + -14005. Is j at most as big as v?
True
Let l = 2 + -5. Let h = -13 - l. Let i = -309 + 297. Is h > i?
True
Let u = 0.03 + 0.04. Let b(o) = -o**3 - 2*o**2 - 2*o + 24. Let d be b(0). Let w be d/36 - (-1)/(-6). Does u = w?
False
Let y(i) = i**3 - 5*i**2 + 4*i - 3. Let h = -35 + 39. Let m be y(h). Is m less than -5?
False
Let c = -46 - -85. Let j = -40 + c. Is j bigger than 5/13?
False
Let b be ((-220)/275)/((-3)/(30/(-28))). Is 172 bigger than b?
True
Let g(i) = i**2 - 8*i - 5. Let h be g(8). Let b be (16/(-6))/(4/(-6)). Suppose -b*f = -4*r - 3*f - 31, 5 = r + 4*f. Is r > h?
False
Suppose 5*k - 56 = -6. Let x be (2805/(-20))/(-17) + (-4)/16. Is k greater than or equal to x?
True
Suppose 113 = 5*y - 22. Suppose 9*c = 6*c + y. Are c and 49/5 non-equal?
True
Suppose 0 = -4*k + 45 - 189. Let i = -51 - k. Let w be (-1)/(-5)*(-15)/12. Are i and w non-equal?
True
Suppose -3*n + 30 = -5*o, -5*n - 5*o = -o - 13. Suppose -n = -3*j - 2*j, 2 = 3*d + 5*j. Which is bigger: d or 2/225?
2/225
Let t be 2*(778/44 - 26/143). Which is smaller: -6 or t?
-6
Let q(u) = 12*u**2 + 4*u + 1. Let x be q(-1). Suppose 0 = -5*y - 5*a - 26 - x, 3*y + 3 = 3*a. Which is bigger: 7 or y?
7
Let n = -7 - -9. Suppose 0*r + 5*h = 4*r - 19, n*r - 4*h = 14. Suppose 0 = -j - r. Is -1 smaller than j?
False
Suppose -3 = 3*x - 6. Let b be (22/(-44))/(8/(-18)). Is x less than b?
True
Let w = 4.14 - 4.24. Let l = 1 - 0.8. Which is smaller: l or w?
w
Let r = -1.215 + -0.185. Is r bigger than 0?
False
Suppose 29*p - 30*p + 3*y + 77 = 0, 308 = 4*p + y. Which is smaller: 5/3 or p?
5/3
Let d = 232 + -231. Which is greater: d or 8?
8
Let r = -68 + 198. Which is smaller: r or -2/5?
-2/5
Suppose s = 4*k - 15, 2*s - k - 2*k = -10. Let l be (s/2)/(14/(-28)). Which is bigger: l or -1/8?
-1/8
Suppose 0 = -3*s - 5*f - 20 + 6, 4*f = 3*s - 22. Suppose -10 = 5*p - 5*m, p = s*p + 5*m - 28. Is p greater than 11/7?
True
Let w be (1 + -1)*1/2. Suppose 4*q + 79 - 23 = 0. Let z(g) = -2*g**2 - 28*g + 3. Let u be z(q). Are w and u unequal?
True
Let z(d) = -d**2 - 6*d + 7. Let m = -37 - -30. Let w be z(m). Is w at most 3/11?
True
Let i be (90/(-25))/((-4)/(-20)). Which is smaller: 11 or i?
i
Let k = -20 - -50. Is 27 smaller than k?
True
Let z be (-8248 - -6)/(7/2). Let f = 2360 + z. Is 5 <= f?
True
Suppose 1 = -374*w + 375*w. Which is greater: 2/489 or w?
w
Suppose 5*a = -k - 0*a + 33, 5*a + 21 = 2*k. Suppose 0*v - k = -3*v. Suppose -u - 3*f = v, 5*u - u + 38 = -5*f. Is -11 >= u?
True
Let q(z) = -2*z**2 - 11*z - 33. Let j be q(-7). Is -51 less than or equal to j?
False
Let l(u) = -2*u - 4. Let h = -16 - -24. Let b be l(h). Let t = -11 - b. Which is greater: 0 or t?
t
Let u be (-172)/6*(-261)/58. Let k be (-14)/(-77) + u/(-165). Does k = -7?
False
Let i be (-2)/((-4)/30*3). Suppose 4*u = 10 - 6. Let q be 3*(u - (i - 3)). Which is smaller: -4 or q?
-4
Let h = -1/3207 - 86573/51312. Is -1 < h?
False
Suppose 3*l - 594 = -15*l. Suppose 0 = 5*z - l - 12. Which is greater: z or 6?
z
Let t = 0.3 - 0.3. Let z = 0 - -0.1. Let x = z - t. Is x != 4?
True
Let a be (-2)/(-43) + (-1 - -1). Suppose 0 = -3*r + 12*q - 16*q + 16, -5*q + 14 = 3*r. Suppose 0 = r*z - 11*z + 3. Is a bigger than z?
False
Suppose 4*h - 43 = -7. Let t = -7 + h. Let j be (-2 + 11)*t/8. Which is greater: 1 or j?
j
Let i(o) = 3*o**2 - 19*o - 42. Let c be i(9). Which is greater: 27 or c?
c
Suppose -r + 3*r = 4*q + 12, -5*r - 4*q = -58. Let y(a) = 4*a - 51*a**3 + 7*a + 9*a**2 + 52*a**3 + r. Let z be y(-8). Which is bigger: z or -13?
-13
Let a = 79.72 + 0.28. Let q = -124 + a. Is 1 greater than or equal to q?
True
Suppose 25*n - 23*n = -10. Let t be 1 - (5/2)/n. Let r = -33 + 35. Is t at least r?
False
Let n be (-6)/51 - (-72)/34. Suppose -2*v = 4*s + 2*v + 12, v = -3*s - 3. Suppose -p + s + 2 = 0. Do p and n have different values?
False
Suppose m = 3*c + 8, 5*m + 5*c = c + 2. Suppose -5*u + m*s + 21 = 0, u - s + 3*s - 9 = 0. Suppose u*i - 6 - 64 = 0. Is i smaller than 14?
False
Let b be ((-530)/(-8) - 1) + -3. Let o = b + -62. Which is greater: 7 or o?
7
Let p(z) = 11*z. Suppose 3*q - 2 - 4 = 0. Let v be p(q). Suppose -3*t - v = 35. Is -19 smaller than t?
False
Let i(v) = -4*v - 16. Let n be i(-4). Suppose 6*a - 4*a = 3*c - 1, -3*a + 4*c = n. Suppose 0 = -4*u, 0*u + 10 = -5*z - u. Which is smaller: a or z?
z
Let l = 48 + -47.92. Let f = 4 + -3.88. Let w = l + f. Is 0.2 less than or equal to w?
True
Suppose -17 = -7*l + 39. Let j be ((-27)/6)/((-4)/l). Does j = 1?
False
Let i(x) = x**3 - 7*x**2 + 1. Let j be i(7). Let c be j*(5964/(-27))/(-4). Let q = -55 + c. Are q and 1 nonequal?
True
Let g be ((-1)/(-16) - 0)/(13/(-1638)). Which is smaller: g or -8?
-8
Let a(d) = 5*d - 3. Let q be a(1). Suppose q + 6 = -f. Is -10 at most as big as f?
True
Suppose 19 = 4*m + 5*q, 3*q - 14 + 4 = -m. Which is smaller: -11/45 or m?
-11/45
Let z be (-3004)/70 - (-5)/25. Which is smaller: -44 or z?
-44
Suppose -7*b = -18 + 32. Let k be -2 + -3 + (-6)/b + 1. Is k > 2/9?
False
Suppose 4*n - 10 = -6*n. Suppose 3*m = -5*d + 17, 4*m - 4*d = 3*m. Let u be 96/91 - m/14. Is u greater than n?
False
Let w be ((-7)/4)/((-4)/64*4). Is 3/32 less than or equal to w?
True
Let a = 2 - 1. Let t = 2491 - 2505. Which is bigger: a or t?
a
Suppose 7*a - 8 = 6. Suppose a*s - 14*s - 300 = 0. Which is smaller: s or 1?
s
Let r = 0.045 + 38.955. Let j = -39.1 + r. Is -1.2 not equal to j?
True
Let f = 33.3 - 23.3. Let i = -15 - -12. Let p = i - -2.9. Which is smaller: p or f?
p
Let d = 2.2 - 2. Let j = 133 - 160. Let z = 20 + j. Is d bigger than z?
True
Let j be (-2)/(10/13) + 2. Let i = -5 - 27. Let b = 31 + i. Which is smaller: j or b?
b
Let a = 228 - 130. Which is bigger: 99 or a?
99
Suppose 0 = -5*j + 2*j + 3. Let m(b) = -3*b**2 + b - 1. Let x be m(j). Which is bigger: x or -5?
x
Let j = 229 - 62. Let v = 168 - j. Which is smaller: v or -1/10?
-1/10
Let r = 442952 + -14784408907/33377. Let z = 52869183/166885 + r. Let t = -318 + z. Which is smaller: t or -2?
-2
Suppose 19 = -5*k + 2*j - 23, -4*k - 5*j = 60. Let b be 279/(-12) + (-2)/(-2). Let i = b - -22. Is k at most as big as i?
True
Let l(h) = h**3 - 2*h**2 - 23*h - 7. Let d be l(6). Which is smaller: d or -2/389?
d
Let m = 121 - 145. Let g = -4 - 20. Let a = g - m. Which is smaller: 4/11 or a?
a
Let p = 5.7 + 3.3. Let r = 8.97 - p. Which is smaller: r or -4?
-4
Let j(s) = -2*s**2 + 41*s + 21. Let v be j(21). Is v smaller than -2/1345?
False
Let w = -4 + 6. Let o be ((-24)/450*-20)/((-8)/(-20)). Which is greater: w or o?
o
Let q be (-2)/(2*(-2)/(-86)). Suppose -5*h + 324 = -2*g, -4*h - 4*g + 246 = g. Let a = q + h. Which is greater: a or 20?
a
Suppose -221 = 5*i + f + 89, 0 = -3*f. Let r = i - -51. Which is bigger: -12 or r?
r
Suppose -2*c = 4*o - 22, -4*c + 5*o - 18 = 3. Which is smaller: -4/95 or c?
-4/95
Let s be ((-3)/4)/((-54)/60). Let b = -94 - -95. Are s and b equal?
False
Let h(w) = w**3 + 9*w**2 + w + 7. Let n be h(-9). Let s be n*((-1)/(-2) + 0). Let v be (-3)/s*(-9 - -8). Which is smaller: -7/4 or v?
v
Let l = 17.86 - -0.14. Let p = l - 15. Suppose 2*i - 3*i = -1. Is p smaller than i?
False
Let q(j) = 2*j + 25. Let i be q(-11). Suppose g + 1 = 5*a, 5*g + 4 = -i*a + g. Is a equal to 18?
False
Let w be 3*(16/(-12))/1. Let i be 6/w*12/18. Let z be 1 + 2/(-4) + (-39)/30. Is z < i?
False
Let r be (((-110)/(-30))/11)/(61/18). Is -1 <= r?
True
Let r = 1 - 4.5. Let n = 262 + -265.3. Let w = n - r. Which is bigger: w or -0.01?
w
Let t = -1844 - -1847. Let v = -43585/41 - -1063. Is t at least as big as v?
True
Let f = 35/321 - 22207/6420. Let o = f - -15/4. Which is smaller: 3 or o?
o
Let u = -22.3 + 1.3. Let j = u + 30. Which is greater: -2 or j?
j
Let t(f) = -f**2 + 11*f + 726. Let z be t(33). Let n be 8/45*1/12. Which is greater: z or n?
n
Let q = -3675/22 + 167. Let t = 6/11 + q. Is t at most 25?
True
Suppose 111*m - 117*m = 378. Do m and -62 have different values?
True
Let x = -48 + 147. Let l = 99.1 - x. Do -6/23 and l have different values?
True
Suppose 5*w = -290 + 10. Let x = 114 + w. Is x <= 58?
True
Let u