c + 71 = -o. Is c bigger than -12?
False
Suppose 0*z - 109 = 5*z + c, 0 = -3*z + 5*c - 71. Suppose 4*b = 5*d + 128, 20*b - 23*b = 2*d + 42. Do d and z have the same value?
False
Suppose 101 - 16 = -230*z - 145. Are z and 1/6151 nonequal?
True
Let k(i) = i**3 + 3*i**2 - 2*i + 228. Let p be k(0). Suppose 5*w + 2*l + 408 = -0*l, -3*w = -3*l + p. Let g be w/30 + 4/2. Which is smaller: 20 or g?
g
Let y(k) = 2*k**2 - 7*k - 7. Let g be y(8). Let w = g + -62. Let b be (-51)/55 - (w - (-32)/(-10)). Which is smaller: b or 0?
b
Let m be 203*30/1960 + -3. Suppose -2*l + 11 = 5*f - 5*l, -3*f + 3*l = -3. Let o = f + -3. Which is greater: m or o?
o
Suppose 4*q = 99 - 111. Let d(j) = -3*j**2 - 3*j - 3. Let u be d(-2). Let n be (2 + 4)*q/u. Is 3/5 at most n?
True
Let u = 4898 + -4889. Is 63 bigger than u?
True
Let l = -12651 - -240368/19. Which is smaller: l or -124?
-124
Let n be (35/21)/5 - 919903/2758800. Let s = -6/2299 - n. Are s and 1 nonequal?
True
Let t(w) = -2*w**3 - 27*w**2 - 14*w - 108. Let h be t(-15). Which is smaller: 786 or h?
h
Let m = -14095.98 - -14096. Are m and 1013 non-equal?
True
Let l(p) be the third derivative of p**4/6 + 19*p**3/3 + 2*p**2. Let g be l(15). Let k = 104 - g. Is 1 at most k?
True
Let x = 3275/74 + 17/222. Is x equal to 43?
False
Let v = -91.9 - -100.93. Let x = -0.1 - 8.9. Let h = x + v. Which is smaller: 2 or h?
h
Suppose 75*f = 57*f - 5148. Which is smaller: -296 or f?
-296
Suppose -189 = -6*x - 189. Do -11/200 and x have different values?
True
Let y be 7511/74*(186/42 - 5). Which is bigger: -62 or y?
y
Suppose n + 337 = 2*k - 0*n, 0 = 4*k - 3*n - 677. Let q = k - 142. Is 29 bigger than q?
True
Suppose -25*t = -58 - 542. Suppose 5*f - 618 = -2*y, 3*y + 3 = -0. Suppose -4*i + f - 28 = 0. Is i not equal to t?
False
Suppose -2260 - 1767 = 2*j + s, 4*s = -5*j - 10075. Which is greater: -2009 or j?
-2009
Let x be (-88)/(-6) + (-1)/(-3). Suppose n = 2*v - 4*n + 1, 5*v - 15 = -5*n. Suppose 458 - 432 = v*h. Which is bigger: h or x?
x
Let b(j) = j**3 + 3*j - 2. Let o be b(1). Suppose -o*m + 0*m - 3*d + 151 = 0, 3*m - 4*d = 252. Let s be ((8/(-10))/(-2))/((-2)/m). Which is greater: -14 or s?
-14
Suppose -4*t = -2*t - 5*j - 138, -4*t = j - 254. Let p be ((-8)/(t/24))/((-9)/(-6)). Which is bigger: p or -10/3?
p
Let b = -2/200065 + 314702251/600195. Are b and 525 unequal?
True
Let x = 4355 + -3595. Which is smaller: -5 or x?
-5
Let f = -1680/11 + 25046/165. Let o = -41 + 43. Suppose 0 = -3*t - 5*m + 4*m - 1, o*m = -2. Is f >= t?
False
Let i = -150 + 94. Let a = i + 42. Let c = -24 - a. Is -11 <= c?
True
Suppose -30*d = -22*d + 80. Let z(n) = -7*n - 70. Let p be z(d). Do -1 and p have different values?
True
Let u = 86879/21 + -4137. Is 8/3 smaller than u?
False
Suppose 0 = -y + l + 159, 29*l - 33*l + 505 = 3*y. Is 162 less than y?
True
Suppose -2*n = -41 + 25. Suppose -n*u = 14*u + 220. Is u not equal to -9?
True
Suppose 0 = 5*y + 4*n + 15755, -74*y + 72*y + n = 6302. Is -3151 equal to y?
True
Let x = -39071 - -39074. Suppose 2*t + 3 - 7 = 0. Suppose 2*c + t*c = 56. Does c = x?
False
Suppose -3*r + 6*r = 0, -4*m = 4*r - 28. Suppose 94*x - 860 = -390. Suppose 5*z + x*d = -15, z - 3*d + m*d + 12 = 0. Which is smaller: -1/96 or z?
-1/96
Let d = 70 - 71. Which is smaller: d or -5263?
-5263
Let b be (-48 + 40 + 1 + 31)*8/(-6). Let h(v) = -v**3 + 4*v**2 + 3*v. Let r be h(3). Let i = r + b. Is i smaller than -15?
False
Let u = 24 - 34. Suppose -5*m - 830 = -3*g, 4*m - 9*g + 662 = -7*g. Let n = 155 + m. Which is greater: n or u?
n
Let i be ((-16)/(-28))/((-459)/(-1071)). Are -0.195 and i equal?
False
Let q be (-2043)/2*(-354)/1593. Which is smaller: 453/2 or q?
453/2
Let i(r) = -2*r + 6. Let s = 23 - 21. Let m be i(s). Let q be (-2 + 1)/(m + (-41)/20). Is q < 19?
False
Let y(o) = -5*o + 14. Let x be y(6). Let q be 4/23*8/x. Let f = 1.83 - 5.83. Which is smaller: q or f?
f
Let f = 1.155 - 1.07. Let k = f - -22.915. Which is greater: k or 1/4?
k
Let l(g) = -72*g**2 - 65*g**2 - 70*g**2 + 50*g + 9 + 201*g**2. Let r be l(8). Is 25 less than r?
False
Suppose -6*p + 9 = -9*p. Let t be p + (4 - (-28)/(-36)). Suppose 0 = -2*g + k + 2*k + 14, -3*k = -g + 13. Is t less than g?
True
Let a = -3120 + 3121. Suppose 2*j - 4 = -10. Let v be 9/(-537)*2/j. Are v and a non-equal?
True
Let h = 56 + 5. Let n = 33 - h. Let x = n + 10. Is -1 bigger than x?
True
Let h = 88.3 - 134.3. Is h greater than or equal to 1/3?
False
Let b(t) = -t**3 - 9*t**2 - 10*t + 3. Let o be b(-7). Let d be (-2 + (-6)/(-4))/(3/(-822)). Suppose 0*f - 44 = 2*j + 2*f, 5*j - 4*f = -d. Are o and j unequal?
False
Let a be ((-78)/(-20))/(12/5). Suppose 5*h = -29 + 39. Let t(c) = c**3 - 2*c**2 + c. Let b be t(h). Do b and a have the same value?
False
Suppose 16 = 2*w - 0*s + 4*s, -5*w + 64 = 2*s. Suppose 0 = -w*p + 3*p. Which is smaller: 1/61 or p?
p
Let f(y) = -y**2 - 44*y - 171. Suppose -3*d - 2 = -2*o, 6*o + 6*d + 50 = d. Let h be f(o). Is h less than or equal to 114/5?
False
Let l(p) = p**3 + 10*p**2 - 54*p + 34. Let m be l(-14). Let y be (-9 - (-6 + m)) + -27. Does y = -34?
False
Let p = 6177.4 + -6165. Which is bigger: -34 or p?
p
Let t(h) = -14*h**2 + 43*h - 3. Let v be t(3). Let w = 766.051 - 766. Is w at most v?
False
Let f be 987/12 - 1 - (139 + -144). Are 2/9 and f non-equal?
True
Let j = -945207 + 61436823/65. Let k = -114/5 - j. Let i be ((-1273)/76 - (-21 + 5))/((-3)/12). Which is smaller: i or k?
k
Let l be ((-240)/9380)/(((-1608)/63)/4). Which is smaller: l or 1?
l
Suppose 2*i = 2*w - 106, i + 22 + 15 = 5*w. Let f be (-42)/i - (3 - 2). Which is greater: f or 1?
1
Suppose -x + 1 = -13. Let v = -290 - -304. Let o = v - x. Is o != 0?
False
Let x be 84/(-154) + (-18550)/154. Which is smaller: -850/7 or x?
-850/7
Let y be ((-473)/(-572))/((3/(-2) + 2)*-2). Are 0 and y non-equal?
True
Let o = 11357627/1358 + -16727/2. Which is smaller: 0 or o?
o
Let w = -1609 - -1321. Is -290 > w?
False
Suppose -2*m = 74*h - 79*h - 5, -5*m + 5 = -5*h. Is h smaller than -1/1466?
True
Let h = -268 + 5627/21. Let p be -2 + (-18)/(-12) - 3/(-2). Is p smaller than h?
False
Let d be 2*12/(-8)*(-1963)/(-897). Do d and -7 have the same value?
False
Suppose -85*v - 610 = -24*v. Let m be 4/v*(124/16 + -9). Which is smaller: -20/53 or m?
-20/53
Suppose 2*f = 5*f + 5*b + 117, -5*b + 19 = -f. Let n = f + 56. Suppose n + 110 = -3*j. Which is bigger: j or -45?
j
Let z = 1497/2 - 730. Let b = -571/30 + z. Does -1 = b?
False
Let x = -3676 - -7351/2. Which is bigger: -436 or x?
x
Let z(t) = -293*t - 1850. Let c be z(-9). Which is bigger: 782 or c?
c
Suppose 3*g - 438 = 3*a, 3*g - 2*a - 146 = 293. Does 133 = g?
False
Let n = -4 + -27. Let p = 5.455 + -13.455. Which is smaller: p or n?
n
Suppose 2*t + 3*k - 182 = 0, 5*t + 5*k - 360 - 85 = 0. Let l be 247/3 + 55/(-11). Let i = l - t. Is i greater than -7?
False
Let g be (-554)/762 + (1550/(-372) - (-22)/4). Is g > 2?
False
Let z = -104 - -58. Let o be z/((-8)/32*4). Which is bigger: o or 51?
51
Let g be (29 + (-3865)/130)*(0 - -24). Which is bigger: g or 0.06?
0.06
Suppose 0 = 5*l + 34 - 0 + 1. Is -113 > l?
False
Let y(n) = -5526*n - 2134. Let d be y(-3). Which is bigger: 14445 or d?
14445
Let f be 18/1380*(-1 + 3). Let j = 49/115 - f. Which is smaller: j or -25?
-25
Let m = 445.31 + 160.69. Which is greater: 0.1 or m?
m
Let j = 2219 - 6655/3. Is j at most -23856?
False
Suppose -17 = -5*p + 3*y - 5, -12 = 4*p + 3*y. Let u be (-8870)/14192*2/((-40)/27). Is u > p?
True
Let c = 4/665 - 13997/5320. Let m be (-2)/((-31)/558*-9). Is m at most c?
True
Suppose 3872 = 242*x + 110*x. Which is smaller: x or -5/88?
-5/88
Let x be (-4)/(-3) - (21/(-3) - 227472/(-27342)). Suppose 5*y - 5 = 2*a, 2*a = -4 - 6. Is x less than y?
False
Let f = 1617 + -1618. Which is smaller: -228/329 or f?
f
Let m = -153 + 86. Suppose -201*w - 127*w + 2162 = 24138. Are m and w equal?
True
Let c = -42407/1610 + 922/35. Which is smaller: c or 1/4?
c
Let n = 45 + -36. Let i(x) = 56*x**2 - 5*x + 9. Let s be i(2). Let c = s + -219. Which is greater: c or n?
n
Suppose 2*v + 28 = 4. Let y be (v/18)/(4/(-6)). Let b = 391/3 + -12109/93. Is y equal to b?
False
Let v(r) be the third derivative of 0*r + 1/8*r**4 - 11*r**2 + 15/2*r**3 + 0. Let f be v(-8). Which is greater: f or 20?
f
Let t = 223.8 - 287. Let d = -5