et n be g(2). Which is smaller: c or n?
c
Suppose 6*w + 5*o = 1443, 405 = 3*w - 4*o - 336. Which is bigger: 230 or w?
w
Let l = -29.945 - 0.055. Let y = l - -30.2. Which is smaller: y or -41?
-41
Let l = -9387 + 9385. Which is greater: 850 or l?
850
Let y = -2 + 1. Let v be 87309/(-2014248) - (-4)/82. Is v != y?
True
Let i = -0.4578 - 26.5422. Is 10 != i?
True
Suppose 2*o = -2*t - 0*o + 64, -175 = -5*t - 2*o. Let x = t - 43. Let u be ((-2)/x)/((-9)/81*-3). Which is greater: 2/213 or u?
u
Let p(t) = 5*t - 528. Let w be p(2). Are w and -1555/3 equal?
False
Suppose 1035*w - 266 = 1021*w. Suppose -3*j - u = -62, j = -2*j + u + 52. Suppose j = 4*k - 3*k. Is w equal to k?
True
Let g be (-4)/6 + 37/(-3). Let z(i) = i**2 - 2*i - 28. Suppose 4*t + f = 4 - 21, 4*t - 2*f + 2 = 0. Let n be z(t). Is g > n?
False
Let g(s) = 105*s**2 - s - 10. Let x be g(-2). Let u = x - 607. Are u and -196 nonequal?
True
Let b be ((-70)/4)/(18/252). Let q = b + 43. Let g = -20804/103 - q. Which is greater: 1 or g?
1
Let g = -5606 - -5469. Let t = -0.041 - 0.959. Is t bigger than g?
True
Suppose 0 = 11*u - 85*u - 1184. Is -1/24 at most u?
False
Let n be (-2)/(-6)*(-9 + 8 + 7). Suppose 2 = 2*x - 0*l + n*l, 32 = -3*x + 4*l. Suppose -4*m = -4, -3*s - s = -3*m + 39. Is s greater than x?
False
Suppose -107*i - 18 = -113*i. Suppose i*o = -7*z + 4*z, -3*z = 0. Which is greater: -4/25 or o?
o
Let a(h) = -21*h - 82. Let s be a(-10). Let d = -126 + s. Which is smaller: 36/23 or d?
36/23
Let h = -177 - -180. Is h equal to -2/199?
False
Let t(g) = -g**2 - 14*g - 83. Let k(f) = -5*f**2 - 69*f - 414. Let z(n) = -2*k(n) + 11*t(n). Let v be z(-9). Suppose -3*q + 23 = -4*q. Is q equal to v?
False
Let g(p) = p**2 - p + 3. Let u be g(0). Let j be ((-6)/(-2136))/(u/(-2)). Let m = 367/5874 + j. Is m equal to 0?
False
Let b(x) = x**2 + x. Let a be b(0). Let d be ((-20)/(-60))/(3*3/27). Let u be d/(2/2) + 2279/(-2332). Which is greater: u or a?
u
Let g be ((-2)/8 + 1)*4072/1527. Which is bigger: -6/5 or g?
g
Let t be (240/140)/(-3 - (-57)/21). Let x be t/(-4)*(-3234)/99. Which is greater: x or -50?
x
Suppose -9 - 19 = 6*v - 34. Which is greater: v or -5/364?
v
Suppose 2786 = 14*m - 1176. Let p = m - 286. Which is smaller: -25/6 or p?
-25/6
Let p = 108 + -64. Let i = -2406 + 2449.97. Let m = p - i. Is 0 greater than or equal to m?
False
Let j be (-47)/1*((2 - -2) + -3). Let c = j + 47. Suppose c = 3*u, -5*p + 16 = -u + 1. Is 4 >= p?
True
Let t(u) be the first derivative of -u**4/4 - u**3 - u + 17. Let m be t(-3). Let w be (0 - -12)*(-16 + 11)/(-20). Which is bigger: m or w?
w
Suppose 0 = 2*x - c + 152, 339 - 122 = -3*x - 4*c. Let m = 39 + x. Suppose -5*l - 181 = -2*n, -2*l = 2*l - 2*n + 146. Which is smaller: m or l?
m
Suppose 2*y - 3*y + 52 = 2*l, -4*l + 4*y = -80. Let t be ((-2)/88)/(612/l). Is 0 at least as big as t?
True
Let h = -24 + 28. Suppose -h*b + 20 + 0 = 0. Suppose 21 = 4*c + 5*y, -b*c - 15 = -0*c - 2*y. Is c greater than or equal to 1/3?
False
Let s = 27.4 + -34.1. Let r = s - -8.4. Which is greater: r or 2?
2
Suppose 5*w - 4*r - 23 = 0, 4*w - 3*r - 14 = 3. Which is smaller: -46/71 or w?
w
Let s be ((-8)/(-6868))/(108/72). Is s less than -1?
False
Let u = 0.195 + -422.195. Let z = 411 + u. Is z at most -2?
True
Suppose -b - 2 = b. Let o = 1.28 - 1.5. Let g = -10.78 + o. Which is smaller: b or g?
g
Let w = -424456 - -424445. Suppose -4*d + 0*d - 44 = 0. Is d at most as big as w?
True
Let g = -24 - -24. Suppose g*r = -6*r - 108. Which is smaller: r or -21?
-21
Let t = 205 + -617/3. Suppose 5*x + 0*x - o = -19, -2*x + o = 7. Let f be (-70)/75*(-5)/x. Is f equal to t?
False
Suppose -27 = -n + 51. Suppose 17*r + 13*r = -600. Let y be (r/n)/((-22)/33). Is -1 greater than or equal to y?
False
Let p(g) = -3*g**2 + 24*g + 31. Let j be p(9). Suppose 0 = -j*r - 4 + 20. Which is smaller: r or 6?
r
Let y(a) = -16*a + 5. Let f be y(1). Let o be (0 - -2)*(44/(-136))/f. Are o and 0.02 unequal?
True
Suppose -2*f - w = -11, -15*f + w + 19 = -11*f. Suppose -4*a = 3*g - 765, 4*g + 260 = f*g + 3*a. Which is smaller: g or 252?
g
Suppose 42*u - 49*u = -175. Let c = -69 + 45. Let l = c - -48. Is l greater than or equal to u?
False
Suppose 0 = -t - 1, 2*t = -4*q - 0*t + 74. Let z(d) = 12*d - 90. Suppose 4*g - 3*a - 39 = 0, 5*g - 2*a - 35 = 12. Let h be z(g). Which is bigger: h or q?
q
Let a = -0.86 - 0.103. Let u = -0.037 + a. Let f = -1.5 - u. Which is bigger: f or 0.04?
0.04
Let d = -93 + -801. Let x be d/33 - 13/(-143). Is -28 > x?
False
Let r = 22 + -22.09. Let c = r + -5.91. Let l = 2.88 - 2.88. Which is smaller: c or l?
c
Suppose 2*o - 3*n - 57 = 35, 0 = o + 3*n - 28. Suppose o + 41 = -3*t. Let p be 8 + -5 + t/(-20)*-2. Is 1 smaller than p?
False
Let n = -496.1 - 433.9. Which is smaller: n or -4?
n
Let r(y) be the first derivative of -y**4/4 - 17*y**3/3 - 8*y**2 - 3*y - 1. Let g = 2970 - 2986. Let x be r(g). Is -17/6 smaller than x?
False
Let y = 47 - 47. Let w be 1 - y - (10 - 11). Suppose -c = -w*j - 0*c - 9, 23 = -5*j + 3*c. Is 1/8 greater than j?
True
Suppose 0 = l, 0 = -2*w + w + 5*l + 2. Suppose 45 = -3*g - w*g + 5*m, 5*g - 3*m = -35. Let p be (-99)/12 - (-3 + 0). Which is smaller: p or g?
p
Suppose t = 2*t + 3*j - 14, 5*t + 3*j - 22 = 0. Let v(z) = 740*z**3 - 3*z**t - 3*z + 5*z**2 + 2 - 742*z**3. Let b be v(1). Which is smaller: b or 8?
b
Let r = 61 - 53. Let a be ((-6)/r)/(351/(-360) - -1). Is -29 at most as big as a?
False
Let n = 1 - 1. Let t be ((-1960)/448)/((-60)/(-192)). Which is smaller: t or n?
t
Let v = -2/4971 - -25513/1635459. Does -1 = v?
False
Let o be ((-48)/(-32))/(1425/(-20)). Which is smaller: o or 0.37?
o
Suppose -4*j = -4*a - 128, 0 = 57*a - 62*a + 25. Is j at most as big as -22?
False
Let s(x) = 6*x**2 + x + 2. Let u be s(-1). Suppose -u*i = -3*i + 76. Let n = i + 18. Which is bigger: n or 2/21?
2/21
Let v(p) = 225*p + 1424. Let k be v(-6). Let l = 258 - 182. Is l greater than k?
True
Suppose 0 = -3*m - 2788 - 560. Let u be (15/30)/(2/m). Is -279 > u?
False
Let w(k) = -k + 3. Let y be w(7). Suppose -5*f + 3*n + 165 = 0, 128 = 5*f - 2*f + 4*n. Let p be f/(-9) + 1*-1. Is p at most y?
True
Suppose -3*h - 2*k = -25, -4*k + 40 = -0*h + 4*h. Suppose h*w - n = 10, 0 + 2 = w + 2*n. Which is greater: 3 or w?
3
Let u = -6592 + 26189/4. Let s = -204/763 + -2/109. Which is bigger: u or s?
s
Suppose -2*c = g - 81, 2*g - 38*c + 43*c - 162 = 0. Is 887/11 at most g?
True
Let r = -38 + 36. Let j be -1 + 9*r/3. Is -7 bigger than j?
False
Let a = -129834603463 - -5281412000111707/40678. Let k = a + -3/3698. Is k >= 11?
False
Let o(v) be the second derivative of v**5/20 + 13*v**4/6 - 16*v**3/3 - 11*v**2 - 261*v. Let c be o(-27). Which is bigger: c or 114?
114
Let c(d) = -41*d - 751. Let a be c(-18). Which is smaller: a or 188?
a
Let y = 516 + -930. Let o = y + 258. Let h be (9 - 7) + o/2. Is h greater than -75?
False
Let l = -275 + 835. Which is greater: 562 or l?
562
Let z = 389 - 273. Suppose 29*y + 116 = -z. Is -23/3 less than or equal to y?
False
Suppose -456 = 49*a - 2073. Do 0 and a have the same value?
False
Suppose 5*n - 2*a - 810 = 0, 6*a - 11*a + 162 = n. Suppose 0 = 2*u - 0*j - 2*j - 332, -4*j + 463 = 3*u. Is u equal to n?
False
Suppose 228*n - 174 - 22 = 32. Is 12/97 equal to n?
False
Let c be (-13)/1 - 302302/66. Are -4592 and c equal?
False
Let y be (-18)/(-63) - (-60)/(-14). Let j = 1 + -10. Let o = j - -11. Do y and o have different values?
True
Let i = 21 + -11. Let y be (25/(-40))/((-125)/20) - 5464/(-560). Are y and i equal?
False
Let h(y) = -y**3 + 7*y**2 - 6*y + 8. Suppose 0 = -2*a - 0*a + 12. Let u be h(a). Let l be (-894)/(-126) - (1682/609)/29. Which is smaller: u or l?
l
Let b = 11992 + -11892. Is b > -3.6?
True
Let g be (1148/(-70) + 17)/(1/(-2370)). Which is bigger: -1417 or g?
-1417
Let f = -82.82 - 1.18. Let z = -970 - -1062. Let w = f + z. Which is greater: w or -3?
w
Let k = -90 - -903. Let z = -718 + k. Are z and 0 non-equal?
True
Let z = 151 - 71. Let u be 0 + -2 + z/44. Let a = -196 + 197. Which is smaller: a or u?
u
Let w be ((-48)/(-156))/((-238)/2 + 1). Let f = -206 - -207. Is w > f?
False
Let k(w) = 4*w**2 + 100*w + 23. Suppose o = -3*d - 37, -o + 108 = -5*o - 4*d. Let z be k(o). Is -243 <= z?
True
Let b be 2*(7 - 8)*3/(-6). Is -821 < b?
True
Suppose -4*