 5*r = -3. Which is greater: g or -2?
g
Suppose 0 = -c - 2*c + 30. Let t = 37832 - 37845. Which is greater: t or c?
c
Suppose -14*r - 13*r = -1296. Suppose -r*d + q - 705 = -44*d, -5*q + 357 = -2*d. Which is greater: -175 or d?
-175
Let s(z) = -34*z**2 - 116*z + 521. Let x be s(5). Which is bigger: -911 or x?
x
Let s = -156 - -161. Suppose -2*q + 50 = 3*q - 5*c, s*q - 4*c - 54 = 0. Are 72/5 and q equal?
False
Let v = 3 + -1. Let y = v + -2. Let d = -1295 + 3886/3. Is y at most as big as d?
True
Suppose 2*k = 187*t - 183*t - 8324, 3*k + 12486 = 2*t. Which is smaller: k or -4164?
-4164
Let x = 11781179/51129 + -4378/19. Is -1 >= x?
False
Let u = -4.901 + 4.879. Is u != -8?
True
Let p(m) = -2*m**3 - 17*m**2 - 19*m + 12. Let g be p(-7). Let k be (198/27)/(g/24). Which is greater: k or -87?
-87
Let a = 8292 + -8291. Which is smaller: 8/827 or a?
8/827
Let n = -14.5144 + 14.562. Which is greater: n or 1/14?
1/14
Let g = 1554 + -1510. Which is greater: -1 or g?
g
Let y = 364 - 354. Let d(k) = 2*k**2 - 25*k + 154. Let v be d(y). Which is smaller: 411/4 or v?
411/4
Let i = 932 + 998. Which is greater: i or 1931?
1931
Let d(n) = -12*n**2 + 161*n + 13. Let f be d(11). Which is bigger: 2318/7 or f?
f
Let r = 10079 + -8197. Which is greater: 1880 or r?
r
Let c(w) be the second derivative of -w**4/4 + 10*w**3/3 + 7*w**2/2 + 2*w - 1. Let h be c(9). Is -3 at least as big as h?
True
Let l = -18.7084 + 19.99. Let h = l - 0.0816. Which is smaller: -13 or h?
-13
Let r(h) = h + 1. Let k be r(1). Let a(d) = -d**2 - 25*d + 20. Let s be a(-25). Suppose 0*f - 4*f = -k*m - s, 15 = 5*m + 3*f. Is m bigger than 2/19?
False
Let t(f) = f**2 + 21*f - 70. Let z be t(-24). Suppose -z*s = -4*n - 66, -n - 4*s + 12 = 42. Do n and -16 have different values?
True
Suppose 8 = 2*o + 4. Let f be o*1/(-8) - (-1084)/(-16). Let g = 66 + f. Is g greater than 0?
False
Let u be (28 - 3843) + (9 - -9). Are -3800 and u nonequal?
True
Let m = 32 - 85. Let f = m + 52.39. Let n = f - -0.51. Which is bigger: -6 or n?
n
Let n = -69 + 72. Suppose x + m = n*x - 150, -m + 81 = x. Let k = x + -59. Which is smaller: k or 19?
k
Let r be 13209/(-1275) + 3 + 7. Suppose -4*k + 2*s = s, k + 5*s = -21. Which is bigger: k or r?
r
Let v = -525 - -525. Suppose -3*t + 449 - 13 = 4*p, v = p - 3*t - 124. Are 112 and p nonequal?
False
Let s = -12221 - -76980082/6299. Is 1 < s?
False
Let r = -91 - 108. Let t be r/(-4) - (-21)/(-28). Let h = -50 + t. Is h less than 2/13?
True
Let p(o) = o**2 - 9*o - 16. Let x(u) = u**2 - 9*u - 17. Let b(a) = 2*p(a) - 3*x(a). Let v be b(9). Let y be 3/(102/(-120) + 1). Which is greater: y or v?
y
Suppose 0 = -4*u - 4*q - 88, -2*q + 0*q = u + 20. Let v = u + 29. Suppose -6 = -v*f + 9. Is f > -2?
True
Suppose h - 4 = -3*w, 2*h - 2*w = 2*w + 28. Suppose h = -7*q + 3. Which is smaller: q or -1/314?
q
Let m(l) = 2*l**2 + 4*l + 3. Let h be m(-4). Suppose 107*s - 1115 - 378 = 433. Which is greater: h or s?
h
Let u(t) = 2*t**3 + t**2 - 4*t + 3. Let i be u(2). Suppose -35*v + 80 = -30*v. Let n = v - i. Is n smaller than 3/2?
True
Let l = 853.6 - 682.6. Are 4 and l unequal?
True
Let l be (428*-1)/((-184)/230). Which is greater: 524 or l?
l
Let k(u) = 2*u + 18. Let o be k(-6). Suppose o = b + 16. Let c be ((0 - 5)*b/25)/9. Which is smaller: c or -6?
-6
Let q be -1*(5 - 4)*-1. Let c = 7809/6160 - 101/80. Which is greater: q or c?
q
Let l = 1071 + -1186. Which is bigger: -110 or l?
-110
Let x = -4 + -72. Let k = -6 + x. Let n = 81.9 + k. Which is smaller: n or -11?
-11
Let b be (-4)/(-10) + (-3388)/20. Let d = 2310513/13720 + -13/2744. Let u = b + d. Are 0 and u nonequal?
True
Let x be (1 + 2)*-4*2. Suppose 2*k + 402 = 3*h, 13*k = 9*k - 2*h - 788. Let a = k - -347/2. Which is smaller: a or x?
a
Let j be ((-13)/(-3))/((-78)/(-702)). Is 43 > j?
True
Let a = 539 - 339. Let i = a - 2399/12. Which is smaller: i or -1?
-1
Let o = -0.1 + 0.1. Let v = -13 - o. Let a = 2378 - 2376. Which is greater: a or v?
a
Let j = -3.34 - -186.34. Let w = j + -180.58. Let v = w + -0.42. Which is smaller: v or -12?
-12
Let m(p) = 16*p**2 + 109*p - 9. Let v be m(-7). Suppose 4 = 14*b - v*b. Which is bigger: b or -39/8?
b
Let w = 12 + -8. Suppose 0*o = 2*o - j - 1, 2*o - w*j + 2 = 0. Let k be -8*2*(-5)/680. Which is bigger: o or k?
o
Let n = 39 + -68. Let k = -20 - n. Let b = -182 - -191. Is k less than or equal to b?
True
Let a = -7700 - -11930. Which is smaller: 4229 or a?
4229
Let x be (20 + -54 - -22)/(2/8). Which is greater: x or 7?
7
Let u be (-11)/(-88)*(5 - 20/4). Is u greater than 1/12245?
False
Suppose -9*r + 5*r = -8. Let s be -1 - 141988/107 - -1*r. Let p = -1326 - s. Which is smaller: 1 or p?
p
Let j = 3610.8159 - 3611. Which is smaller: j or -2?
-2
Let u(o) = 367*o - 29. Let h be u(3). Let m be 39/182*h/(-6). Is -37 equal to m?
False
Let y = -5235 + 5298. Which is greater: 75 or y?
75
Let n be 13 + (4 - 153/36)*12. Which is smaller: n or 515/51?
n
Let f = 13500.1 - 13500. Is f less than -290/11?
False
Let b = -586 - -588. Suppose -4*q - 70 = p, -7 + 75 = -p - b*q. Is p != -71?
True
Let g(r) = 2*r**3 + r**2 + 2*r + 59. Let y(i) = -6*i**3 - 4*i**2 - 6*i - 178. Let b(w) = -16*g(w) - 5*y(w). Let z be b(5). Does z = -215?
False
Let u = 2540 - 1896. Is 644 at most u?
True
Let g(r) = r**2 - 22*r + 78. Let z be g(-15). Let o = z + -632. Which is smaller: -2/519 or o?
-2/519
Suppose 78020 + 4608 = -91*x. Which is greater: x or -910?
x
Let g(h) = -4*h + 4. Let n be g(1). Let c be (-3 + 4)*n + 5. Suppose -b - 229 = c*q, -4*q - 3*b - 181 = -0*q. Is -46 less than q?
False
Suppose 0 = -9*y + 13*y + 28. Let a(f) = f**3 + 6*f**2 - 8*f - 6. Let d be a(y). Let z = -27 + 512/19. Which is smaller: d or z?
z
Let j = 63 - 63. Suppose 0 = 2*s + 12 - j. Let t(r) = 2*r**2 + 18*r + 23. Let f be t(s). Which is smaller: f or -15?
-15
Let r = 22 + -25. Let d be (0 - r) + 8/(56/(-9)). Let g = 21 + -20. Which is smaller: d or g?
g
Suppose -5*z + 17 = 3*l - 7*l, 4 = z - l. Let g be (-2688)/560 - z*-2*2. Is g >= 0.08?
False
Let m(q) = 23*q**2 + 24*q**2 - 39*q**2 + q**3 + 3*q + 6*q - 20. Let d be m(-6). Are d and -9/4 non-equal?
True
Let q = -0.1155 + 0.0155. Is 10 < q?
False
Let y(s) = -20*s - 29. Let c be y(-6). Let u = -62 - -57. Let b be 245/c + (u - -2). Is b at least 1/2?
False
Let h be -279*-4*19/(-76). Is -275 less than h?
False
Let t(f) be the second derivative of -f**5/20 + f**4/4 + f**3/2 - 2*f**2 - 3*f. Let p be t(5). Let q = 4423 - 4461. Which is smaller: q or p?
p
Suppose 2*g + 5*s = -1376, 4*s - 2856 + 216 = 4*g. Which is greater: -680 or g?
g
Let d(q) = -7*q + 7 - q**2 + 4*q**2 - 2*q**2. Let j be d(6). Let m be (-8)/(-6)*(-4)/(5 - 61). Which is smaller: m or j?
m
Let d = -2745664/23 + 119376. Suppose u = -2 + 1. Which is greater: u or d?
d
Let j be (-10*1/(-60))/(1/(-1556))*9. Is j > -2335?
True
Suppose 3*r + 33 = 3*b, -5*r - 39 = -3*b - 0*r. Let h be -1*2 - (-1 + b). Let p be (114/2394)/((-2)/42). Which is smaller: p or h?
h
Let b = 12456.7 + -12457. Are b and -2.7 equal?
False
Let j = 0.32 - 0.4. Let a = j + 0.1. Let g = 60.99 + -61.69. Do a and g have different values?
True
Let g = -9 - -14. Let p be ((-1)/3)/(g + -4). Let j = -37 - -54. Which is bigger: p or j?
j
Let s = -17 - -11. Let r = s + 3. Let p = 34851 - 34842. Is r < p?
True
Suppose 3*s + 1 + 5 = 0. Let a be 23/(-7) - -1 - s. Suppose -842 = 129*g + 42*g + 250*g. Do g and a have different values?
True
Let x = 96.713 + -96.63. Is -62 > x?
False
Let a(w) = -2*w**3 - 6*w**2 + 3*w + 3. Suppose 3*f = -2*y - 7, 0 = -4*y - 6 + 10. Let s be a(f). Let q be s/(-2) + ((-26)/5)/2. Is q at most as big as -4/9?
False
Suppose 14*m - 4*m = -30. Is -62/19 < m?
True
Let q(u) = -4*u**3 + 134*u**2 + 8*u + 652. Let o be q(34). Which is smaller: o or -1375?
o
Suppose -18638 = -3*r + 5*c - 3613, -4*c + 9980 = 2*r. Is r < 4999?
False
Let g = -137446 + 33674198/245. Is g < 0?
True
Let j = -11213 + 11855. Is 641 less than or equal to j?
True
Let x = 5317/3 + -5923/6. Let v = x - 789. Let t be 2*3/(-8)*(12 - 0) + 4. Which is bigger: v or t?
v
Suppose 2*p - 4*f = 3*p - 187, 0 = -4*p - 4*f + 796. Let w = p - 182. Which is bigger: w or 22?
22
Let d = 187.87 - 188.07. Let c = 0.056 - 31.056. Which is smaller: d or c?
c
Let v(p) = 6*p + 68. Let m be v(-11). Suppose -254*r + 252*r = -m. Is r 