. Let r = i - -4. Are r and u nonequal?
True
Suppose -118*m + 6 = -112*m. Which is smaller: -2/161 or m?
-2/161
Let a be -3 - (-44)/24 - 6/(-9). Which is smaller: -467 or a?
-467
Let c = -11 - -10.29. Let f = -0.71 - c. Are -5 and f equal?
False
Let v(h) = -h**2 + 11*h + 7. Let u be v(5). Let s = -7713 - -7749. Is u at least s?
True
Let l be 3074/(-12) + 2/12. Which is bigger: l or -255?
-255
Let j(m) = -15*m - 195. Let o be j(-13). Let a = -5518013/77 + 71664. Let f = a + -18/11. Does f = o?
False
Let c(h) = -h - 10. Let i be c(-18). Suppose 0 = i*p + 2*p - 20. Which is bigger: 36/11 or p?
36/11
Let n = 1.99 + 0.01. Let f = -97855/83 + 1179. Is f < n?
True
Suppose 2*y + 2*k + 28 = -2*k, -63 = 5*y + 3*k. Suppose 3*v - 7 = -4*l, 2*l = -l - 5*v - 3. Let o be (-2)/y*l*3. Which is greater: o or 1/2?
o
Suppose 6 + 6 = -2*d - 5*v, 2 = 2*d - 2*v. Is 596 bigger than d?
True
Let f = -0.069 + 35.069. Let l = f - 35.19. Let y = l + -2.81. Is 0 less than y?
False
Let i = 17 - 13. Suppose -5*o - s = 2*s - 68, 0 = i*o + 5*s - 44. Let n be (-8)/(-6)*4/o. Which is smaller: -3 or n?
-3
Let a be ((-33)/(-6))/(1 + 15/(-12)). Is -0.14 at least as big as a?
True
Let u(z) = -z**3 - 3*z - 3. Let b be u(-2). Let n(s) = s**2 + 17*s + 29. Let a be n(-16). Let w = a - b. Is w < 2?
False
Let h be ((-11 - -3) + 6)*3/6. Is h greater than or equal to 1/223?
False
Let m(z) = z**2 + 39*z - 57. Let c be m(-40). Which is bigger: -47/3 or c?
-47/3
Suppose 3*o = -i - o - 104, -322 = 3*i + 2*o. Let l be -1 - (i/(-40) + -2). Let q = 6/5 + l. Which is greater: -9 or q?
q
Suppose 4*l = -12, -4*m + 2*m - 4*l = 10. Which is greater: m or -2/37?
m
Let k = 37 + 3. Let g be 1/k*(-385)/(-22). Let r = g - 65/112. Is 2 <= r?
False
Let w be 20/4*3/3. Suppose -29*x - w = -24*x. Is -3/8 at most as big as x?
False
Suppose -13*d - 80*d = -558. Is d greater than or equal to -181?
True
Suppose -9 = 3*v, -l + v = 1 - 4. Let m be 1/(-6) + (l - (-7)/42). Suppose 28 = 4*b + 8. Is b > m?
True
Let y = -1475 - -1473.937. Let r = y - -0.063. Which is smaller: r or -50?
-50
Suppose 702*o - 711*o = 1413. Which is greater: o or -159?
o
Let l(v) = -v**3 - 8*v**2 - 6*v + 5. Let k be l(-7). Let s(n) = n + 11. Let r be s(k). Is 10 bigger than r?
True
Let x = 2263 + -2155. Which is bigger: x or -4/9?
x
Suppose -4*o = -5*u + 140, 3*o - 4*u + 1 + 104 = 0. Let g = o - -36. Let b be 0 - g - 56/(-50). Which is greater: b or 0?
b
Let h(a) = a**3 - 7*a**2 - 7*a + 34. Let w be h(7). Which is smaller: w or 11?
w
Let v be 60/24*8/10. Suppose 4*z + 116 = -4*q, -v*q = -z - 10 - 10. Do -27 and z have different values?
True
Let b = -0.997 - 0.003. Let f = b - 0. Let j = -124/561 + 2/51. Is j < f?
False
Let u = -25 + 40. Let m = 12 - u. Let x = m - -3.02. Which is smaller: x or -0.1?
-0.1
Let l = 995 + -993. Is l < 167?
True
Let a = 2.44 + -2.04. Let n = 0.6 - -2.4. Let l = -2.9 + n. Which is smaller: l or a?
l
Let n be 5 - -12*5/(-10). Is n != 1/44?
True
Let i be 27308/(-8309) - 5/35. Let j = -1/1187 - i. Which is greater: j or 2?
j
Suppose -3*d - d = 20. Let w(n) = -n**2 - 7*n + 2. Let f be w(d). Let b be 0/(-3*(-4)/f). Is 2/3 less than or equal to b?
False
Let p be 15/57*18*1/10. Is 1 greater than p?
True
Suppose 2*f + 4*f + 180 = 0. Which is smaller: f or -22?
f
Let s = 6401/19 - 337. Suppose r = -4*h + 20, 3*r - 8 + 0 = h. Suppose -h*k = -2*k. Is s greater than k?
False
Let t = -261089 - -10181810/39. Let u = 17 + t. Suppose -3*i = -7*i - 3*y + 19, 5*i + y = 10. Which is smaller: i or u?
u
Let d = 314 - 327.9. Let k = 53 + -50.1. Let o = d + k. Is 0.1 equal to o?
False
Suppose -o = -5*q - 43, -2*q + 79 = 3*o - 7*q. Suppose 2*f = o - 20. Which is bigger: f or -1/49?
-1/49
Let s be (-4)/10 - 32/(-30). Let r = 10.5 + -8. Let c = -2 + r. Which is smaller: c or s?
c
Let i = -145 - -1888/13. Which is greater: i or 1?
1
Let x(u) = 3*u + 3. Let t be x(0). Suppose t*q - 9 = -0. Which is bigger: 2 or q?
q
Suppose -5*k - 104 = -13*k. Let q = 43 + k. Let i be (-12)/16*q/(-12). Which is bigger: -1/4 or i?
i
Let d(q) = -5*q - 10. Let t be d(-5). Let s be 2/(-6)*t/(-10). Let k = 6 + -5.3. Is s smaller than k?
True
Let l = -36.88 - -38. Let m = l - 0.04. Let b = 0.08 - m. Is b > 3?
False
Let s = 4.9 + 31.1. Let u = s - 22. Let h = 14.1 - u. Is -1/2 bigger than h?
False
Let v be 0 - 2/(-1 + 3). Which is bigger: v or 0?
0
Suppose 5*g + 0*g = -25, 0 = -y - 5*g - 26. Let v be -23 + y + (-12)/(-3). Let m be (18/v + 1)/2. Is -1 greater than or equal to m?
False
Let w be -3 + -6 + 12 + -4. Is w at most 5?
True
Let h(n) = n - 3. Let m be h(7). Suppose -10 + 4 = 5*t + 3*r, 8 = -m*t - 4*r. Which is smaller: t or 3/28?
t
Let s = 3/2 - 49/6. Let t = s - -7. Does -4 = t?
False
Let g = -320 - -356. Which is bigger: 0.02 or g?
g
Let w = 18 + -16. Suppose 4*r + 0*r = -3*x - w, 4*x + 6 = -2*r. Is 4 smaller than r?
False
Suppose m = 3*k - 8, -3*k - 4*m + 24 = -k. Suppose k*i = 8, -n - 20 = 2*n + 5*i. Which is bigger: -9 or n?
-9
Let v be (-18)/99*(-88)/32. Let u = 3.5 + -3. Is v smaller than u?
False
Let l(o) = -2*o**3 + 5*o**2 - 10*o + 16. Let m be l(4). Is -74 greater than or equal to m?
False
Let c(h) = 7*h - 34. Let g be c(6). Suppose -g*r - 13 = 5*r. Are r and -2 non-equal?
True
Let g = 1207 + -1211. Is 4 at least as big as g?
True
Let r = 992608/63 - 15756. Let x be (1 + 34/(-28))/(54/8). Let b = x - r. Which is smaller: b or -0.1?
-0.1
Suppose 0 = 3*n - 5*n + 4*n. Suppose n = -h - h + 70. Which is smaller: 34 or h?
34
Let a = 6 - 6.08. Let x be (35/10 + -1)*2/5. Which is smaller: a or x?
a
Let q be (-1*4/60)/(3/(-10)). Do -21.3 and q have different values?
True
Suppose 1 - 29 = 4*x + 4*y, -5*y - 20 = 0. Let b be x/(-2)*(-4)/(-201). Which is greater: 0 or b?
b
Let c(m) = -2*m**2 - 4*m + 126. Let l be c(-9). Let u be 244/(-1168) + (-1)/(-4). Which is greater: u or l?
u
Let k be -5*7/(21/(-12)). Let h(g) = -9*g + 8*g - k - g. Let i be h(-9). Is 0.3 >= i?
True
Suppose 0 = -3*k - 3*s - 255, 9*s + 25 = 4*s. Let g be (k/50)/((-2)/15). Let f be 8/(-30)*g/8. Which is bigger: 4 or f?
4
Suppose -15 = -2*a - a + 2*u, -a + 6 = -u. Suppose 3*c - a*b = -12, -6*c - 3*b = -2*c - 5. Is c at most as big as -4?
False
Let l = 0.03 - -0.27. Let s = 2314 - 9123/4. Let w = -33 + s. Is l at most w?
False
Let i(t) = t - 6. Let y be i(11). Suppose 5*w + y*m = 25, -2*w + 8*m - 4 = 3*m. Is 3 bigger than w?
False
Suppose 426*o = 423*o - 270. Does o = -91?
False
Let q be 0/(-3 - (1 + -6)). Let p be q/1 + (-3)/12. Suppose -4*o - 75 = -3*h, 5*o + 0*h + h = -70. Which is smaller: p or o?
o
Suppose h = 1 + 3. Let l = -39 - -45. Suppose -8*g - h = -l*g. Which is smaller: g or 0.2?
g
Let g = -12073/7 + 1749. Is g bigger than 25?
False
Let i be (-4)/(-12) + (-4)/(-6). Suppose -8 = -3*v + i. Suppose -n = v*n + 20. Is n at least -5?
True
Let h = 116 - 346/3. Let a = 106.93 + -107. Which is greater: h or a?
h
Suppose 27 = -i - 3*c + 7*c, -82 = 4*i - 3*c. Let h(m) = -2*m**2 - 3*m. Let t be h(-4). Is i at most as big as t?
False
Let p be -9 + (-71)/(-4) - 8. Is p smaller than 371?
True
Let n be 2000/(-5760) - (-2)/16. Is n < 179?
True
Let t = -8 + 7.97. Let v = t + -0.1. Which is smaller: v or -2?
-2
Let u = 52 - 99. Let z = -45 - u. Let c = -1 - -2. Is c bigger than z?
False
Let d(x) = -x**2 - x + 13. Let n be d(-6). Let k = 27 + n. Is 11 < k?
False
Let f be 2 - -3*(-3)/(-9). Suppose -5*v - 2*s = -7 - 2, 5*v - 4*s = -f. Which is smaller: 1/9 or v?
1/9
Suppose 4*u - 89 = -37. Let w = u - 4. Suppose -2*g + w = -5*g. Is -3 less than or equal to g?
True
Suppose 5*q - 72 = -2*n, 3*q + 4*n - 24 - 8 = 0. Suppose -8*a = -4*a - q. Suppose -y - 4*p - a - 8 = 0, 0 = p + 4. Which is bigger: y or 5?
5
Let b(f) = -14*f**2 + 5*f - 4. Let x be b(2). Which is smaller: -52 or x?
-52
Let g(c) = -2*c - 5. Let p(w) = -2*w - 4. Let k(s) = -4*g(s) + 5*p(s). Let v be k(0). Is -1 < v?
True
Let b = 253 + -154. Let w = -84 + b. Is w equal to 17?
False
Let f be 3 - (-1 - 1)/2. Let q be (6*16/(-72))/(-1 + 21/27). Are f and q equal?
False
Let f be ((-1)/3)/(57/27 + -2). Is -20 greater than or equal to f?
False
Suppose 0 = 4*k - 27 - 45. Let v = k - 18. Do v and 8/7 have the same value?
False
Suppose 185*s - 3*v - 27 = 190*s, v + 16 = -4*s. Let p(i) = -3*i + 1. Let u be p(2). Is s at most as big as u?
False
Let h = -