(33/(-15)) - 1338/2453. Let d = -28356/107 + 265. Which is greater: r or d?
d
Let d = -79307 + 156155491/1969. Do d and -1 have different values?
True
Let t = -73.2 + 0.2. Let r = -73 - t. Is 132 at most as big as r?
False
Let q be (36/21)/(-1)*(5 + -12). Suppose 2685 = q*g + 273. Is g smaller than 200?
False
Suppose 37*p + 1060 = 42*p. Let t = 46513 - 1018621/22. Let c = t - p. Which is smaller: c or 2?
c
Let o = 0.6 + -1.6. Let x be (-24)/(-35) - (3 + 152/(-56)). Is o at most x?
True
Let h = -8/5739 - 2259245/5739. Let c = -394 - h. Suppose -2*y - 10 = -3*d, -5*y + y = 3*d - 16. Is c greater than or equal to y?
False
Let r be -4 - (-34 - (-4 - 0)). Let y = -4888 - -4888. Is y less than or equal to r?
True
Let h = 8 - 7.68. Let m = -0.52 + h. Let n = 0.041 + -0.051. Is m at least n?
False
Suppose 63 = r + 2*r - 2*q, -3*q = 2*r - 55. Suppose -8*o - 25 = r. Let m(k) = k**2 + 13*k + 13. Let a be m(o). Do -28 and a have different values?
True
Let c = 840406/313 + -2685. Is 0 <= c?
True
Let m(a) = -a**2 - 3*a + 12. Let h be m(-5). Suppose 4*p + 4 = h*v, -2*p + 3*v = -3*p - 8. Is p at most as big as 29?
True
Let b = 7.71 - -1.19. Let o = b - 2.9. Let s = 11/12 - 3/4. Is s less than or equal to o?
True
Let z be 208250/(-85) + 1/(-2)*0. Is z less than -2451?
False
Suppose -4*x = 5*d - 21869, -2*x + 6243 = 2*d - 2505. Is d < 4372?
False
Suppose 4*o + 0*v - 20 = -4*v, 0 = -3*o + 4*v + 29. Suppose -o*q = -11*q + 8. Suppose 2*h - h - 9 = 5*w, 2*h + 30 = -q*w. Is -13 < h?
True
Let i be (219/4*(-12)/(-18))/(46/(-1288)). Is i at least -1023?
True
Let d be (-35)/5460*((-141 - 1) + 0). Which is greater: 1 or d?
1
Let n(d) = -d**3 + 7*d**2 + 3*d + 5. Let b be n(8). Let z = -35561 - -319729/9. Is b at least z?
True
Let a = -0.2699 + 0.0699. Let t = -0.27 + 0.44. Do a and t have different values?
True
Let d(h) = -3*h**2 - h - 3. Let r be d(4). Let t(i) = -129*i + 15556. Let q be t(121). Is r at most q?
True
Let y be 14/91 + 18/(-117)*2939. Which is greater: y or -449?
-449
Let f(p) = p + 16. Let t be f(-13). Suppose -5*m - 3*a = -28, -12 = -5*m + t*m - 2*a. Let w be 57/(-19) - m/(-2). Which is greater: -0.1 or w?
-0.1
Suppose 0 = 17*s - 195 + 59. Let r be s/(48/222) + 0/(-1). Suppose 0*q + 36 = q. Is q at least as big as r?
False
Let o(m) = 3*m + 2. Let i be (-18)/(-4) - (-11)/(-22). Let z be o(i). Suppose u = -4*h - 10, u + h = 5*u - 45. Which is greater: u or z?
z
Let g = -35783 - -751441/21. Which is smaller: g or 710/11?
g
Let z = -63 - -47. Let u = -15 - z. Let r be (-3)/((14 - 3)*u). Is 1 >= r?
True
Suppose -d = -5*r + 36, -2*r + 2*d = 7*d - 9. Let q = 26557/3640 - -3/728. Which is bigger: q or r?
q
Let j = -23.7 - -40. Let s = j + 118.7. Let g = -136 + s. Does g = -2?
False
Let a = -512 + 5640/11. Suppose -15*s + 4631 - 4939 = -161*s - 8*s. Which is smaller: s or a?
a
Let x = -9084 + 9084.1. Which is smaller: x or -0.023?
-0.023
Suppose -3*n - 67 = -4*u, -17 = -u + 4*n + 3. Which is greater: u or 2?
u
Let w = 136 - -90. Suppose w = 4*n - 2. Let j be (29/1)/((-3 - -2)/(-2)). Is n >= j?
False
Suppose -2*s = -4*s - 2, -5 = 3*j + 2*s. Let t = 13 + -16. Let k be t - -1 - -3 - 4. Which is bigger: j or k?
j
Let k(v) = -15*v - 59. Let r be k(10). Let y = r + 190. Is -23 at most y?
True
Suppose 4*n - n - 116 = 5*f, -n - 4*f + 33 = 0. Let y be (-94)/n + 8*(-6)/(-24). Are 0 and y nonequal?
True
Let n be -2 + -4 - -103*(10 - 9). Suppose -93*j = -n*j - 168. Which is smaller: -41 or j?
j
Let o = 48598/31 - 1568. Suppose k + r + 6 = 0, k = -2*k - r - 8. Which is smaller: k or o?
k
Suppose -56*n + 58*n = 10. Suppose n*x = -u + 12, -9 = -2*x + u - 0*u. Let g be (4 + -4)*(-2 + x)*-1. Is g smaller than 3/20?
True
Let a(j) = 19*j**2 + 5*j + 7. Let i be a(-1). Suppose -24*g = -i*g + 9, 2 = -m + 2*g. Does m = 12?
False
Let i be 378/(-81)*72/(-124). Is i > 2?
True
Let d = -9.8 - 336.2. Let s = d - -355. Which is smaller: s or -7?
-7
Suppose 4*i - 37 = -5*y, -2*y + 3 = y. Suppose -m = 4*r - 0*m - 54, 4*m - i = 0. Suppose -c + 288 = -r*c. Are -22 and c unequal?
True
Suppose 12 = -b + m, -5*m + 33 = -4*b - 19. Let l be (-4)/b - 39/42. Let d = 41.6 + -42. Is d equal to l?
False
Suppose -4*q - 8 = -8*q. Let g be (-12)/(-4) - (q + -8)/(-3). Let r be (-2)/45 - (g - (-6)/(-10)). Which is smaller: -3 or r?
-3
Let m = 137 - 193. Let i(v) = -v + 1. Let a be i(5). Let p be (7 + -35)/((-2)/a). Is m less than p?
False
Let z = -81 + 64. Suppose -a = 2*d + 2*a + 76, 5*a = -3*d - 112. Let f = d - -26. Which is smaller: z or f?
f
Let n = -36 + 15. Let b be (-1)/(21/((-11592)/(-24))). Is n greater than b?
True
Let b(i) = -i**3 + 16*i**2 - 2*i - 8. Let j be b(16). Let s = 42 + j. Suppose 0 = s*q - 1 - 1. Is -1/56 at least q?
False
Let u = 9221 + -8800. Do u and 419 have different values?
True
Suppose 2*l - 4 = -3*n, 4*n - 5 = -2*l - 1. Let r be n + (-2823)/15 + 0 + -1. Let x = -190 - r. Which is greater: x or -2?
x
Let k be ((-2770)/12)/5 - 1. Let o(a) = a**3 - 32*a**2 - 35*a + 19. Let t be o(33). Let y = k - t. Which is smaller: 2/11 or y?
y
Let g(i) = -2*i**2 + 36*i - 32. Let s be g(17). Let p be (-3)/27*3 - s/(-6). Let v be 48/45 + (-2)/5. Which is smaller: p or v?
p
Let g(l) = -4*l + 79. Let x be g(17). Suppose 4*w + 5*d = -48, -4*d - 6 = -3*w - x. Let u = -2 + -5. Is u at least w?
True
Suppose i - 36 + 93 = 0. Let o = i - -54. Let b(t) = -4*t - 10. Let q be b(o). Which is smaller: 3 or q?
q
Let v be 50/26 + ((-2)/(-4) - (-88)/(-208)). Which is greater: v or 27?
27
Suppose 0*p = 4*l - 4*p - 52, -5*l + 60 = -4*p. Let c(u) = 15 - 40 + 17 - 3*u. Let x be c(-5). Which is smaller: x or l?
x
Let h(a) = -2*a**3 - 19*a**2 + 23*a + 296. Let z be h(-9). Which is smaller: -26 or z?
-26
Let k be 3/(-6)*(4 - (0 + 30)). Suppose k*f = -1 + 14. Let s = -82 - -331/4. Is s > f?
False
Let d be 2/(-2) + (-6)/6. Let r be d/(-12)*(-90)/(-8). Let n = r - 2. Which is smaller: n or 0.3?
n
Suppose -f - 8 + 33 = 0. Suppose 0 = -5*m + o - 5*o - 63, 3*m - 4*o + f = 0. Let w = m - -9. Is w > -1?
False
Suppose -151*q = -282*q + 262. Which is smaller: -15.6 or q?
-15.6
Let r(j) = 2*j**2 + 15*j + 18. Let x be r(-3). Is 11 <= x?
False
Let i be (-39)/(-2)*8/4*(-7 + 8). Which is smaller: i or 155?
i
Let w = -8.819 + 7.444. Which is bigger: -1 or w?
-1
Let g(h) be the second derivative of h**3/6 - 6*h**2 + 3*h + 5. Let n be g(24). Are n and -7/2 non-equal?
True
Suppose -4403 = -4*c + 2245. Let t be c/60 + (-12)/(-40). Do 22 and t have the same value?
False
Let g be 303/2 - ((-1)/2 - 0). Let q = 166 - g. Which is smaller: q or 66/5?
66/5
Let s be (1 - 119/14)*(-2)/(-6). Let x be 1 - 4/(-80)*34. Let g = s + x. Are 7 and g equal?
False
Let f = 35.3148 + -35.3. Let u = f - 0.1548. Which is greater: -1/4 or u?
u
Let q = 24 - -8. Let m = -212114 - -1060731/5. Which is bigger: m or q?
m
Let l = 292 + -292. Which is bigger: 90/163 or l?
90/163
Let p = 5050 - 5048.35. Is p at most 0?
False
Let a be -14 - (9 + -2237 + 2). Is a less than or equal to 2213?
True
Let u = -31 + 73. Suppose 1100 = -0*r - 25*r. Let v = u + r. Is v >= 1?
False
Suppose 79*y + 45*y = -4 + 4. Which is smaller: y or 5/269?
y
Suppose -5*n - 8*z + 4*z = -19, 4*z + 8 = 4*n. Suppose -2*l - 4*w = 62, l + 124 = -3*l + w. Let p = l - -35. Which is greater: p or n?
p
Let j(x) = -19*x - 2. Let c be j(-2). Let z(i) = i**3 + 80*i**2 - 715*i - 933. Let y be z(-88). Which is greater: y or c?
c
Let l be (70*(-2)/(-150))/(0 + (-6)/(-15)). Is 1154 at most as big as l?
False
Let y = 683 + -683.622. Let p = y + 0.422. Is 1/185 smaller than p?
False
Suppose -4*l + 4*k - 32 = 0, 0 = -4*l - 2*k + 1 - 39. Let a(v) = -v**3 - 11*v**2 - 2*v - 20. Let c be a(-11). Suppose 171 = c*b + 175. Which is smaller: b or l?
l
Let m = 268299/328 - 818. Which is bigger: m or 1?
1
Suppose -3*k - 5*u = 107, -152 = 3*k - 5*u + u. Let c = k - -17. Which is smaller: c or -24?
c
Let v be 6/(-2*(-3)/(-4)). Let s be 3*-2 - (v - -60). Which is smaller: s or -61?
s
Let p = 10316 - 11081.9. Let c = p + 734. Let a = -32 - c. Are a and 0.2 nonequal?
True
Let x be (1 - -1)*22/((-2728)/(-63395)). Which is smaller: x or 1022?
1022
Suppose 2*w + y - 13443 = 0, 0 = -5*y - 3 + 8. Is w smaller than 6721?
False
Let y(x) = -2*x**2 + 103*x - 152. Let c be y(43). Which is greater: c or 572?
c
Let m be 0/(((-21)/294)/((-1)/(