Suppose 0 = 18*t - 373 - 869. Is 68 >= t?
False
Let c = 400 - 1201/3. Do c and -87/4 have different values?
True
Let r be 11 + 836/(-77) + 20736/(-14). Which is smaller: r or -1480?
r
Suppose -4*f + 0*f + 8 = 0. Let r be ((-50)/f)/(-4 + 2). Is r != 14?
True
Let n be 2/6*(-3)/(-1). Is -1/866 <= n?
True
Let w be 124 + -3 + (2 - -2). Suppose -3*h - 3*y = h - 102, -5*h - 5*y = -w. Which is smaller: 3 or h?
3
Suppose 7*x - 11 = 115. Is x at least 2?
True
Let h(m) = -44*m**3 - m. Let a(t) = -t**3 + 2*t**2 + t - 3. Let b be a(2). Let x be h(b). Are x and 1 unequal?
True
Let c = 69/244 - 2/61. Let t = -1.6 - -9.6. Let d = 17 - t. Which is greater: d or c?
d
Let g = -0.97 + -0.03. Let j(r) = r + 9. Let m be j(-10). Let u be -3 + 20*m/(-6). Is g != u?
True
Suppose 5*n - 70 = 5*r, -4*r + 1 = -7. Let z = n + -11. Suppose z*b = 5*h + 10, 5*b - 4*h + 4 - 18 = 0. Which is bigger: 7 or b?
7
Suppose -4*i + 6*u - 4*u = -20, 0 = 5*i + 2*u - 7. Which is smaller: 54 or i?
i
Let l be 19/((-76)/24) - -6. Which is smaller: l or -1/113?
-1/113
Let d(p) be the second derivative of 0 - 1/6*p**3 + 1/2*p**4 + 9*p + 5/2*p**2 - 1/20*p**5. Let n be d(6). Is n > -1?
False
Suppose -m = 340 - 146. Is m > 0.2?
False
Let c = 0.8 + 0.2. Let n = -0.2711 - 2.1289. Which is smaller: c or n?
n
Suppose 5*h - 2*h = -5*s + 27, 0 = -4*h - 4. Let t(y) = 4*y - 21. Let c be t(s). Is c <= -3?
False
Let d = -3 + -8. Is 9 at most d?
False
Let x(y) = 2*y**3 + 17*y**2 - 7*y - 12. Suppose -2*p + 3*u - 8 = 10, 5*p = -3*u - 45. Let j be x(p). Is j < -29?
True
Suppose -3*h - h + 16 = 0. Suppose -4*z = -3*f + 130, f = 3*f - h. Are -32 and z equal?
False
Suppose 0 = -5*y + y + 76. Suppose 5*g + 17 = c, -c - 5*g - y = -6. Let r be c*(2 - -1)/(-6). Is 0 < r?
False
Let g = 7 - 6.85. Let n = -0.05 - g. Let u be (-6)/(-10)*(-2)/6. Are n and u non-equal?
False
Let n = -37 + 37. Suppose 4*t - 20 = n, -4*t = 5*d + t - 20. Which is smaller: d or 2/143?
d
Let n be 0/(2 - 5 - -2). Let j be n*(33/9 + -4). Suppose j = 2*h - 5*h - 15. Is h >= 0?
False
Suppose 0 = -14*i - 262 + 906. Which is bigger: i or 91/2?
i
Let s = 6728 + -1740. Let q = 15124/3 - s. Is 53 > q?
False
Let x = -41369/91260 - -49/108. Is 1 greater than or equal to x?
True
Let n(v) = -v**3 + 11*v**2 - 12*v - 12. Let b be n(9). Let u = b - 87/2. Let j be (2/4)/((-2)/4). Which is smaller: j or u?
u
Let u = -4906/3071 - -60/37. Which is smaller: u or 1?
u
Let p = -1086 + 1100. Which is smaller: 25/2 or p?
25/2
Let y = -0.6 + 0.9. Let p = 0 - -4. Let u = 7 - p. Are u and y equal?
False
Suppose -223 = 3*l + 437. Is -220 greater than or equal to l?
True
Let v(c) = 48*c**2 + 7*c - 3. Let f(k) = -72*k**2 - 10*k + 4. Let o(g) = -5*f(g) - 7*v(g). Let w be o(-1). Let h be (-318)/w - (-3)/(-4). Is -15 smaller than h?
True
Let l = -195 - -425. Are 227 and l equal?
False
Suppose 24 = 3*h - 3*c, 0*c + 34 = 4*h - 3*c. Let v be (-30)/12*(-4)/h. Is v smaller than 2/13?
False
Let s be 1 - 12*9/144. Which is greater: s or -121?
s
Let r be (12/14)/(36/126). Let k be (2 + -2)/((-4)/2). Is r <= k?
False
Suppose 0 = -2*b + 5 + 3. Suppose -2*i - x = 8, 0 = -b*i + x - 0*x - 28. Suppose -g - 4*g - 30 = 0. Is g smaller than i?
False
Let z be (-12)/2277*(-30)/20. Is z less than 0?
False
Suppose 2*j - 1009 = d, 3*j - 79 = 4*d + 1432. Which is smaller: j or 506?
j
Suppose -9 = -4*z + q, 3*z - 1 = -8*q + 3*q. Suppose 0 = z*j + 5*o + 4, o - 6*o = 0. Is j >= -0.4?
False
Let p be (-964)/242 - 136/(-34). Does -1 = p?
False
Suppose -10*a = -a - 342. Let r = -33 + a. Suppose 2*b - 13 = 3*n, -5*n + 3 = b - 3*n. Is b less than r?
False
Let h = 31 + -22. Let n be (-4)/h*35/(-28). Let g = 18 + -18. Is n bigger than g?
True
Suppose -3*n = -n - 12. Suppose -53 + 5 = n*p. Let m be (-12)/10 - p/40. Which is greater: 2/35 or m?
2/35
Let m be (-4)/67*(-4)/(-8). Suppose -17*x - 7 - 10 = 0. Are m and x unequal?
True
Suppose 4*t - 1549 = 5*z, -58*z + 3 = -61*z. Is t smaller than 769/2?
False
Let r = 14.7 - 17.84. Let p = 0.14 + r. Let i = 3.1 + p. Is -5 at most as big as i?
True
Let o = 31 + -40. Let f = 9 + o. Is f less than -0.7?
False
Let l be 5/10 + (-299593)/130. Let g = l + 2304. Is g greater than 1?
False
Let b = -7 - -7. Suppose b = -z - 3, 4*s + 38 - 143 = 3*z. Let k be ((-4)/6)/(4/s). Which is smaller: k or -2?
k
Let v be 2/5 + (-24)/10. Let p = 1094541 - 12048079/11. Let c = p - -738. Do c and v have the same value?
False
Let z(j) = j**3 - 3*j + 2. Let c be z(4). Which is greater: 602/11 or c?
602/11
Suppose -2*f + 5*f = -36. Let k be (-264)/(-45) - f/90. Suppose 0 = -4*v + v + k. Which is smaller: 1 or v?
1
Let w = -11 + 75. Is 0.2 equal to w?
False
Let u = -0.001 - 5.599. Let d = u - -5.7. Is 1.1 less than or equal to d?
False
Let u = 80 - 211. Which is greater: u or -128?
-128
Let v = -63.004 - -63. Let w = 0.004 + v. Which is greater: -3/32 or w?
w
Let n = 12.8 + -15.8. Are n and -6 equal?
False
Suppose 0 = 5*t + 15, -y + 0*y = 4*t + 19. Let i = -6 - y. Let x be (0 + i)*5 - 2. Is x <= 5?
True
Let f = -2745/4 - -686. Suppose q - 1 = 2*q. Let o be ((-1)/9)/(q/(-3)). Which is smaller: f or o?
o
Let v(o) = 13*o + 607. Let x be v(-46). Suppose 5*y + 5 = 3*m, -m - 8*y = -4*y - 13. Which is smaller: x or m?
m
Let u = 8496 - 4001614/471. Are u and -1 nonequal?
True
Let i be 20/64*234/7215. Is i > 0.2?
False
Let w be (-138)/(-18) - ((-2)/(-3))/1. Is -8 less than w?
True
Let s = -0.4 - 5.1. Let v = 5.6 + s. Is -2.6 at least as big as v?
False
Let q = -2/383 - -1181/6128. Is -1 bigger than q?
False
Let j(g) = -g**2 - 3*g + 5. Suppose 5*c + 0*c + 143 = -4*t, 133 = -5*c + t. Let y = c - -23. Let q be j(y). Are q and -5/11 nonequal?
True
Let q be (-4)/((-20)/(-15)) + (-62)/(-22). Let r = 3 + -5. Which is bigger: r or q?
q
Suppose 3*g + 628 = -4*i, 0 = 2*i - i + 1. Let r be (-2)/8*g/20. Which is smaller: r or 0?
0
Suppose -21*x + 6 = -18*x. Which is greater: x or 1/2?
x
Let h = 2 - 18. Let p(d) be the first derivative of -d**4/4 - 5*d**3 + 17*d**2/2 + 8*d - 66. Let t be p(h). Is t bigger than -1/4?
False
Let h be (-2961)/42 + 2/8. Let z = h - -69. Let m(p) = p**3 + 7*p**2 + 5*p - 6. Let q be m(-6). Which is bigger: z or q?
q
Let t = -209 - -199. Is t at most 7?
True
Let w = 57.9 - 83.8. Let y = w + 26. Is -1/2 at least as big as y?
False
Let t be (15 - 14)*35/20. Suppose a - 5 = 3*z - 0, 2*a + 2*z - 2 = 0. Does a = t?
False
Let j = -18 + 7. Let n(w) = -w**3 + 4*w**2 + 3*w. Suppose 3*y + 9 = 24. Let b be n(y). Is j > b?
False
Let u = 32.4 + -1.4. Let p = 29.987 - -0.013. Let m = p - u. Which is smaller: 0 or m?
m
Let u be (749/84)/((-1)/(-2 + 0)). Which is bigger: 18 or u?
18
Let b = 287 + -1964/5. Let w = -33317/315 - b. Is -1 less than w?
True
Suppose -2*t + 2*c + 18 = 0, 4*c + 16 = -0*c. Suppose -4*y - y - 4 = -3*w, 5*y = -t*w - 20. Let j = 2 + -4. Is j greater than w?
False
Suppose 4*m - 7*n - 108 = -9*n, -2*m - 4*n + 48 = 0. Is 30 at most as big as m?
False
Let b = -0.041 + -0.409. Let g = b - -0.55. Is g not equal to -2?
True
Let y = -0.6 - -0.57. Let n(c) = -c + 4. Suppose -3*i - s + 11 = 0, -6*s = -2*s + 16. Let k be n(i). Which is smaller: y or k?
k
Suppose 2*u + 78 = 7*q - 3*q, u + 39 = -6*q. Is u at most -15?
True
Let k be (4/(-3))/((-1)/3). Suppose 0 = -2*p, -o + 5*p + 1 = -k. Suppose -2*x + 63 - 17 = -o*l, 3*l = 4*x - 36. Which is smaller: l or -6?
l
Let c be (8/3)/(16/24). Suppose -c*o = -2*o - 4. Let f be 3/(o + 1)*-1. Which is smaller: f or 2/37?
f
Suppose 6*n - n - 5*r = -305, 0 = -2*n - 2*r - 134. Which is greater: n or -63?
-63
Suppose -7*c + 45 = 87. Let y be -4 - -2 - 3/(-1). Let v be y/(3/(-9)*1). Is v <= c?
False
Let p = 41 - 45. Let q be 2 + -3 + p/(-18). Which is smaller: 0 or q?
q
Suppose -c - 2 = s, 3 = 3*c - s - 3. Let b be -1*(69 + 4) + -5. Which is smaller: b or c?
b
Let k be (-2)/(-5) + 1608/630. Let w = k + -16/7. Which is smaller: w or 1?
w
Let g be (4 - -11)*(-1 - 0). Let c = -35/2 - g. Is -4 smaller than c?
True
Suppose a + 2*g = g + 8, 5*g = -2*a + 16. Let r be (-3)/a*8/(-18). Suppose -4*j + 0 = 2*l + 6, j = -2*l - 9. Are j and r non-equal?
True
Suppose -2*m = 3*d - 375, 0*d + 2*d = 3*m + 263. Let k = d + -137. Which is greater: -8 or k?
-8
Let s = 1028.94 - 1029. Which is greater: -52 or s?
s
Let d be 41450/(-33) - 258/(-4257). Which is smaller: d or -1255?
d
