t i be (1/f)/(3/(-12)). Let d be (-1)/2 + 3/(-18). Is d less than i?
True
Let m = 13 - 62. Let a = -28 - m. Let d = -21.09 + a. Is d less than 2/5?
True
Let g be 7550/10 - (0 + -3 + 5). Which is greater: g or -0.2?
g
Let j(a) = 17 - 14*a + 12*a + 4. Let p be j(11). Let o be (-6)/(-15) + 54/(-160). Are p and o unequal?
True
Let a = -9 - 2. Let w be (-168)/(-308) - 127/11. Is w < a?
False
Let l = 572 - 593. Is -0.11 at least as big as l?
True
Let k = 0.3 + -0.4. Let v = 0.064 + -0.164. Let c = k - v. Is c at most 4?
True
Let p = -16 + 17. Let n be 7/4 - 2*p. Which is bigger: n or -2?
n
Suppose -25 = 5*d, 2*q + 40 = -2*q + 4*d. Which is smaller: -16 or q?
-16
Suppose 5*c + 76 = -94. Let f = c - -35. Which is smaller: f or 1/72?
1/72
Let s = 100 + -104. Let o be (-18)/s*(-30)/(-45). Let y(u) = u**3 + 5*u**2 + 3*u - 4. Let f be y(-3). Is o less than or equal to f?
True
Suppose 943 = 3*p - 4*v + 165, -5*p + 1320 = 5*v. Are p and 263 equal?
False
Let d = 651 + -13667/21. Let v be (20/(-12))/5*0. Which is bigger: v or d?
d
Let n = -19 - -27. Suppose 5*m + n*m + 39 = 0. Is -2 less than or equal to m?
False
Let d be 210/(-8) - (7 + (-75)/12). Let z be (4/6)/(d/(-324)). Which is greater: 80/9 or z?
80/9
Let k(u) = u**2 - 19*u + 12. Let s be k(10). Which is greater: -79 or s?
s
Let h = -27 + 13. Suppose -315 = -5*r + 60. Let p = -89 + r. Are h and p equal?
True
Let f(j) = j**2 + 14*j - 22. Let o be f(-19). Let n = -72 + o. Which is greater: n or -3/14?
n
Let p(z) = -2*z**2 - 72. Let q be p(0). Let x = q - -73. Let j = -1 - -0.6. Is j at least as big as x?
False
Let b(z) = -38*z - 37. Let m be b(-1). Is 70/29 at most m?
False
Let a = 241.3 - 241. Is a greater than 0.022?
True
Let l = 35309 + -1377157/39. Which is smaller: -3 or l?
-3
Let l(k) = -k. Let j be l(-3). Suppose j*n + 0*n - 4*h - 77 = 0, 0 = 5*n - h - 134. Suppose -n = c + 4*w, 0 = -2*c + 2*w + 3*w + 11. Are -6 and c unequal?
True
Suppose -5*i - 300 = 2*n, -28*n = 2*i - 30*n + 106. Is -60 less than or equal to i?
True
Let u = 7 + -13. Let s = 71.9 - 68. Let o = 4 - s. Is o > u?
True
Let y be (-1070)/(-4)*26/975*10. Which is bigger: y or 70?
y
Let a = -58/3 - -20. Let j = -4.03 - -4.53. Do a and j have different values?
True
Let y be (-1)/(3/(-2) - -1). Suppose z = -u + y*u, z = -3*u. Let a(s) = -2*s**2 - 9*s + 35. Let i be a(-7). Are z and i unequal?
False
Suppose 0 = -5*w - h - 3*h + 381, -4*w + 2*h + 310 = 0. Let c = -64 + w. Is 13 at most as big as c?
True
Let j = 7 + -9. Let m be -10 - -7 - (j + -1). Suppose -2*i = -m + 12. Which is smaller: i or -5?
i
Let v = -138 + 138.44. Which is smaller: v or 1?
v
Let q = 657 - 681. Is -91/4 smaller than q?
False
Let l = -1.34 - -1.34. Which is bigger: 171 or l?
171
Let n(q) = q - 5. Let d be 1/((-21)/9 + 2). Let o be 92/(-12) + (-2)/d. Let v be n(o). Which is smaller: v or -11?
v
Let l = -182 + 184. Suppose 3*t = -2*r - 26, 5*t - 6*t - 17 = -r. Let f be t/(-8)*l/3. Is f at most as big as 3/2?
True
Let g be (-1)/(1/(-109)) + 3. Suppose 0 = p + 18 + g. Let o be (-20)/p - 15/13. Which is smaller: 3/7 or o?
o
Let r = 1547/2068 + 1/517. Which is smaller: 19 or r?
r
Let c be ((-12)/42)/((-3)/21). Suppose 0 = j - c*x - x + 15, 0 = -3*x + 3. Is j at most as big as -13?
False
Suppose 0 = a - 5, 5*a = s - 3 + 20. Let r(u) = -2*u + 19. Let f be r(s). Suppose 75 = f*x - 8*x. Is -31/2 greater than x?
False
Let k be -2 - (-2 + (2 - 1)). Let b = -290.523 + 290.5. Is b greater than or equal to k?
True
Let g be 5/10 + -1 + 218/(-4). Let d = -55 - g. Which is greater: d or 6/23?
6/23
Let a be ((24/15)/2)/((-4)/(-10)). Do a and 90/101 have the same value?
False
Suppose 0 = 5*b - 20, -4*b = -a - 3 - 3. Suppose 0 = -m - a*o + 6*o + 38, 2*o - 10 = 0. Is 33/2 greater than m?
False
Let p be (-6)/(-27) + 32336/126. Let b(y) = -36*y + 30. Let x be b(8). Let i = x + p. Is 0 at most i?
False
Let p(u) = 3*u**2 + 5*u - 4. Let i be p(1). Suppose 0 = 2*r + 20 - i. Is -33/4 at least r?
False
Let x be 30/50 - 1962/(-105). Which is greater: 18 or x?
x
Suppose 3*d - y + 8 = -2, 5*d + 20 = 5*y. Let m(w) = 2*w**3 - w - 1. Let n be m(2). Let p = n + -14. Which is smaller: d or p?
d
Let v(a) = a**3 + a**2 + 2*a + 4. Let m be v(-3). Let i be m/(-1)*252/(-48). Let y be (-34)/(-10) - 63/i. Which is greater: 6 or y?
6
Let j = 84 + -82.9. Let t = -1.2 + j. Which is greater: 3/5 or t?
3/5
Let i be (1 + -8)*2 + -1. Suppose -u = -f - 38, -3*f + 7*f + 197 = -5*u. Let v = 27 + f. Which is bigger: v or i?
i
Suppose 9*j + 5050 = 110*j. Is 552/11 != j?
True
Let a be -1545*(-4 + (-34)/(-8))*4. Let o = 57161/37 + a. Which is smaller: -1 or o?
-1
Let w(r) = 9*r**2 + 3*r + 2. Suppose -2*i - 2 = -0*i, 0 = 2*f + 2*i + 4. Let t be w(f). Let j = t - 4. Which is smaller: j or 2?
2
Let x be (-14)/(-3) - 4/6. Suppose x = -2*b + 10. Are b and 8 non-equal?
True
Let f be (-1)/2 + 2933/(-14). Which is bigger: f or -209?
-209
Suppose 8 = 4*l + 2*i, i = -3 - 1. Suppose 0 = l*h - 3*r - 115, -82 = h - 4*h - 2*r. Do 31 and h have different values?
True
Let q = 16.17 - 16. Let a = q + -0.26. Is a greater than or equal to -2?
True
Let t be (-2)/(2/(-1) - -4). Let z be (-6)/(-12) + (-3)/(-2). Let c be ((-1)/(-2))/(t/z). Which is greater: c or 1/31?
1/31
Suppose t + 47 = 57. Do t and 3 have the same value?
False
Suppose 4 = 546*p - 542*p. Which is greater: -4/471 or p?
p
Let h(n) be the second derivative of -n**3/6 - n**2 - 7*n. Let z be h(-6). Are 4 and z non-equal?
False
Let h = 404 + -377. Which is bigger: -8 or h?
h
Let z(d) = 17*d**2 - 565*d + 33. Let a be z(33). Which is smaller: -587/6 or a?
a
Suppose -35*c - 2685 + 725 = 0. Which is greater: c or -9?
-9
Suppose k = 3*k - 4*n + 686, 1785 = -5*k - 4*n. Let j = 5293/15 + k. Suppose -293 + 258 = -35*g. Which is bigger: j or g?
g
Let a = 1.0495 - 0.0495. Which is greater: -0.0087 or a?
a
Let p(c) = c**3 - 9*c**2 + 12*c - 4. Let s be p(5). Let t be 8/132*-6*(-2)/s. Is 0 less than or equal to t?
False
Let s = 2/461 + 17969/2305. Let v = 4 - s. Which is smaller: -3 or v?
v
Let z(w) = -w**2 - 5*w + 6. Let x be z(-5). Let y = 4 - x. Let u be 13/(-2) - (-820)/164. Which is bigger: y or u?
u
Let j = -1093 + 1028. Do j and -59 have the same value?
False
Suppose 0 = -3*c + 4*z + 204 + 107, 3*c + 5*z = 266. Let b = 483/5 - c. Is b at most 23?
True
Suppose c = 5*c. Suppose c*n + 3*n + 33 = 0. Suppose 3*d + 0*a + 38 = 2*a, -5*d - 2*a = 58. Which is bigger: d or n?
n
Let c = -328 - -302. Which is bigger: c or -0.1?
-0.1
Let v = 1.241 - 1.191. Which is smaller: v or 18?
v
Suppose 2 = 5*d + 22. Suppose -13*z = 104 + 52. Let y = z - -12. Which is smaller: y or d?
d
Let b(y) = -y**3 + 6*y**2 - 5*y + 2. Let k be b(4). Suppose i + k = 3*i + 3*o, 0 = 5*i - 4*o - 12. Let z be i*(-4)/8*6. Which is smaller: z or 0?
z
Let q = -0.51 - 0.5. Let g = 0.01 + q. Let w = g + 0.9. Is w not equal to 13?
True
Suppose 2 = d - 5. Let x be 1/26*(d + -9). Suppose 4*p = p. Is x != p?
True
Let i = 131 + -131.1. Is i smaller than -271?
False
Let w be (61/732)/((-3)/32*-1). Let v = -5 - -7. Is w equal to v?
False
Let p = -71 - -109. Let v = 33 - p. Is -3 equal to v?
False
Let a(s) = s**2 + 5 + s + 0*s**2 - 6. Let w be a(-2). Let b = -9/253 + 147/253. Is w != b?
True
Let s = -233 - -219. Which is smaller: s or -105/8?
s
Let i = -16950843563/899236250 - 1/4808750. Let z = -219/11 - i. Is z at most as big as -1?
True
Let l be (30 - (6 - 3)) + 7. Is l greater than 42?
False
Let y = -33 - 20. Let z = 52.84 + y. Which is smaller: -2/9 or z?
-2/9
Let p(o) = -7*o - 6*o + 39 - 8*o + 19*o. Let y be p(26). Does -8 = y?
False
Let t(r) be the second derivative of -7*r**4/6 - r**3/2 - 4*r**2 + 8*r - 4. Let l be t(-3). Is l greater than -125?
False
Let p(b) = -42*b**2 + 124*b + 4. Let c be p(3). Is -20 less than c?
True
Let o = -2/1883 - 5575/69671. Which is smaller: o or 1?
o
Let j be (-26)/65 - (-32)/55. Which is smaller: -29 or j?
-29
Let m be 1/(-2)*(3 + -18 + 17). Is 1/1975 not equal to m?
True
Let v be 52/(-12)*((-2 - -2) + -3). Suppose -4*i + i - 5*z = v, 0 = 5*i - 4*z - 40. Which is bigger: 6 or i?
6
Let a be (-4)/(4/(-21)) + -9 + 8. Which is smaller: a or 19?
19
Let m be ((-3)/6)/(-1) + (-108)/120. Is m > -5.2?
True
Let o be 557/5 - (-24)/(-60). Is 110 equal to o?
False
Let y = 679929/4874 - 3/2437. Which is smaller: 