0. Let x = -18 + 33. Which is greater: j or x?
x
Let m = 1598 - 1812. Which is bigger: m or -217?
m
Let y = 26/14111 + 3412964/1030103. Which is greater: y or 3?
y
Suppose -5*z + 13 = 213. Let y be (-20)/z - (-74)/(-28). Which is smaller: y or -4?
-4
Suppose -38*z + 34*z + 192 = 0. Suppose 43*u - z*u = 270. Let r(o) = o**3 + 2*o**2 - 7*o - 13. Let w be r(-5). Which is greater: u or w?
w
Let i = 0.151 + -20.151. Let k = -0.024 + -34.976. Let r = i - k. Which is smaller: r or -1/4?
-1/4
Suppose 156 = -2*x - 5*y, -4*y = -2*x - 78 - 24. Which is bigger: -72 or x?
x
Suppose 2*x = -6, 0 = 3*j + 3*x - 47 - 58. Suppose k = 2*k + j. Let b be (-1112 - -1082) + (16/(-2) - -1). Which is smaller: k or b?
k
Suppose 4108 + 6041 - 483 = -54*z. Which is smaller: -171 or z?
z
Let j(t) = 2*t**3 - 41*t**2 - 262*t + 111. Let g be j(26). Which is smaller: g or -9?
-9
Let k = -0.53 - -40.53. Let u = -7 + k. Let h = u + -32.4. Which is bigger: -3/4 or h?
h
Let i be (42/56*164)/1. Is i equal to 121?
False
Let s = -2494 + 1875489/752. Is -1 bigger than s?
False
Let k(d) = d - 1. Let u(p) = -6*p + 362. Let i(l) = 6*k(l) - u(l). Let v be i(30). Which is smaller: v or -80/11?
v
Suppose -2*n - 8 = -26. Let j(b) = -b**3 + 9*b**2 - 3*b - 9. Let x be j(n). Let p be (-2)/(-11) + x/(-44). Do -1 and p have different values?
True
Let c = 365103/2366 - 1080/7. Which is smaller: 1 or c?
c
Let k = 0 + 4. Let g be k*((-38)/4 - -4). Let f be g/693*14/30. Do f and 1 have different values?
True
Let r = -234.8 - -321. Let n = -86 + r. Let g = -31.4 - -5.4. Is g equal to n?
False
Let u be (-86296)/(-5704) + 1 + -16. Which is bigger: u or 188?
188
Let z(u) = u**2 - 3*u - 6. Let l = -67 - -62. Let a be z(l). Which is bigger: 98/3 or a?
a
Let f(r) = -263*r - 820. Let w be f(-5). Is w greater than 492?
True
Let r be (-84)/(1 - -3) + -3. Let s = 8 - 2. Let a = -32 + s. Are a and r equal?
False
Let c(f) = f**2 - 4*f. Let q be c(4). Let v = 70 - 66. Suppose -15 + 6 = -g + v*w, -11 = -5*g + 3*w. Are g and q non-equal?
True
Let s be (-2 + 76/8)*-8. Let f be (-3)/(-24) - s/160. Which is smaller: f or 4/3?
f
Let t = -161 - -160. Let r(q) = 13*q + 15. Let o be r(t). Which is bigger: 1/2 or o?
o
Suppose -2*k - 86 + 342 = 0. Suppose -6*w - 496 = -4*h - 2*w, 4*w - 16 = 0. Is k at least h?
True
Let p = 1028 - 1047. Which is bigger: 9 or p?
9
Suppose 87*a - 2795 = 82*a. Let b = 85525/153 - a. Are b and 1 equal?
False
Let j = -1712 + 911. Let r = j - -809. Which is smaller: r or 2?
2
Suppose 108 = 6*f - 0. Suppose -33*b + 27*b = -f. Suppose 0 = -b*s + 5*s + 3*s. Are -9/8 and s nonequal?
True
Let o be -2 - (-412)/(-280) - -3. Let x = 2834/35 - 81. Let k = x + o. Is -6 equal to k?
False
Let s = -17 - -21. Let m(q) = q**3 - 4*q**2 + q + 3. Let f be m(s). Suppose 0 = f*i - 10*i - 24. Is i bigger than -8?
False
Let k = 8252.92 + -8253. Is k less than or equal to 2/7?
True
Let n = -394.318 + 394. Let s = n - 1.382. Let u = 55/6 - 19/2. Is u greater than s?
True
Suppose 2*c - 13 = -w, -2*w + c + 686 - 700 = 0. Which is smaller: w or 343?
w
Let l = -56 - -505/9. Let n = 905.6 + -904.8. Which is smaller: l or n?
l
Suppose -50*p + 47*p + k - 166 = 0, p + 5*k + 34 = 0. Which is smaller: p or -31?
p
Let p be (-1)/(-2) - (-226)/(-468). Let u be (210/12)/(-7)*(-2)/10*-2. Is u less than p?
True
Let y be 9*(13 - 11)/18. Is -3/530 smaller than y?
True
Suppose -3*h + 6*c - 3*c = -9, -21 = 5*h + 4*c. Let y be (-16880)/(-88) + h + (1 - 2). Let w = y + -75223/396. Are w and 0 non-equal?
True
Let v = -531 - -529.999. Let l = 6.001 - 6. Let p = l + v. Is p smaller than -2?
False
Suppose -3*p - 6 = 0, -8*t = -4*t + 4*p. Let d be (-16)/(-3)*45/t. Which is smaller: d or 121?
d
Let b = -33 + 34.7. Let j = b - -12.3. Let t = -2939 - -2939. Does t = j?
False
Let j = -640 + 716. Let c = 0.11 - -0.89. Is j less than or equal to c?
False
Let t = -1517 - -2566. Which is smaller: t or 0?
0
Let k = 169 - 747. Let h = -507 - k. Are h and 3 unequal?
True
Suppose 0 = 5*q - 5*t - 16645, -263*q = -267*q + 5*t + 13311. Which is smaller: 3336 or q?
q
Suppose -24*l + 25*l - 299 = 0. Suppose -3*a - 538 = -4*c, 3*c = -3*a - 232 - l. Is a greater than -178?
False
Let n = -22773/301040 - -1/5680. Which is greater: n or 1?
1
Let x be (-326138)/126 - (-15)/(-525)*-10. Let l = x + 2585. Is -3 less than l?
False
Let x = 6896 + -34418/5. Is x less than 11?
False
Let p be (-186)/(-40) - 4 - 6/15. Let c = 13 - 10.4. Let n = c - 2. Which is smaller: n or p?
p
Let p be -2*(-3 - -2) + 128. Suppose -p - 135 = 5*v. Let y = -131 - -131. Which is greater: y or v?
y
Let l = -42 - -60. Suppose z - 18 = 2*m, -3*m = -3*z - 2*m + 29. Which is smaller: z or l?
z
Let k = 9.168 - -0.152. Let l = -3.32 + k. Which is greater: l or 5?
l
Suppose a = 4*d - 352, 382 + 58 = 5*d + 2*a. Is 94 greater than or equal to d?
True
Let d = 127/238 - -32747/6426. Which is bigger: -2 or d?
d
Let h = 0.16 - 21.16. Let f be (8 + -5)*32/96. Which is greater: h or f?
f
Let l = -0.4341 + 0.3841. Is 210 < l?
False
Let l(w) = 15*w**2 - 79*w + 22. Let h be l(5). Let s be 2 - 4/(8/(-6)). Suppose u + h*a + 35 = 6*u, u + 2*a + s = 0. Is u >= 26/5?
False
Let o = -4660 - -3383. Which is greater: -1275 or o?
-1275
Let r = -2997 + 2995. Suppose 108 = 3*k + 6. Let h be 1 - k/48*3. Is r <= h?
True
Suppose 0 = 14*o - 525 - 413. Suppose -71 = d + o. Which is smaller: -137 or d?
d
Let w(i) = -3*i**2 + 7*i + 272. Let a be w(-13). Which is smaller: a or -1637/5?
-1637/5
Let p = -13/810 - -16973/956610. Which is greater: -1 or p?
p
Let c = -19672/27 + 4321459/5940. Let o = 1/60 - c. Let l = -14 - -15. Which is greater: o or l?
o
Let r be (0 - -12)*(-20)/(-15). Suppose -6*i - r = 10*i. Does 8/23 = i?
False
Suppose 119*o + 4*u = 118*o, 0 = -o - 2*u - 4. Which is smaller: 2/21 or o?
o
Suppose -86*d = -92*d + 30. Suppose 3*p + 116 = -4*n - 8, n + 8 = d*p. Which is bigger: n or -32?
n
Suppose m + y = -12, 4*m + 3*y = y - 58. Let l = -4777 + 4775. Which is greater: m or l?
l
Let l = -9232 - -9243. Is l bigger than 32?
False
Suppose 3*q - 12 = 4*d, -2*d + 5*d - 3*q + 12 = 0. Let g be (19/38)/(6/(-3178)) + 3. Let w = g + 261. Which is bigger: w or d?
d
Suppose -v - 80 = -2*p - 4*v, -20 = 5*v. Suppose -p*m - 12 = -50*m. Which is smaller: 0.03 or m?
0.03
Let a = 0.06 + -77.06. Let t = a - -77.1. Which is smaller: t or -15.9?
-15.9
Let w be (((-323862)/(-297))/(1/(-3)))/((-14)/21). Is w bigger than 4908?
False
Let j be 8/(-10) - (-47935382)/9405. Let i = -5096 + j. Which is greater: -1 or i?
i
Let o be (3 - -62)*(-2 + 52/20). Suppose -78 = -3*a + p, a = -0*a - 4*p + o. Let g be -1 + 15/a + 0. Which is smaller: -4 or g?
-4
Let n be 36/48 - (643/(-4) - 1). Which is bigger: n or 162?
n
Suppose 3*g = 13*c + 6864, 7008 = -149*g + 152*g + 3*c. Is 2321 >= g?
False
Let f be 0 + 5 + (-9)/3. Suppose 5*k = -5*q + 560, -q + 7*k = f*k - 124. Let h be q/27 + (64/36 - 2). Is h < 6?
True
Let u be (3/(-12))/(17/(-102)) - (-763)/(-34). Which is smaller: u or -20?
u
Let z = 46.41 + -48. Let q = -107.59 - z. Which is greater: 0 or q?
0
Let p = -1025779/23635 + 4/4727. Let j be 18*(18 + (-1403)/69). Is p at most j?
True
Let a(g) = g - 1. Let l be a(3). Suppose 7*o + 4 = 9*o, 0 = 2*m - 2*o - 2. Suppose 5*f - 30 = -2*q, -3*q = l*q + m*f - 113. Is q at least 25?
True
Let s = 779 - 455. Let i = s + -322. Is -6/25 greater than i?
False
Suppose 2*s - 2*o + 10 = -2, -s - 5*o = 0. Let x be (s/(-9))/((-55)/(-66)). Let l be ((-21)/56)/(4/32*-1). Which is bigger: x or l?
l
Let y = -2589 - -2588. Is y at least as big as -2/6419?
False
Let f = 161964323/71343 + 47/23781. Let i = f - 2264. Is 6 at least as big as i?
False
Let l be 5358/5 + 32/80. Suppose u - l = 218. Let v be 3/(-2) + -3 + u/(-12). Do v and -112 have the same value?
True
Let p be (53/53)/(-50 + 1)*(1 - 74). Is p at least 1?
True
Suppose 13*w - 11*w - 271080 = 26*w. Which is greater: -11294 or w?
-11294
Let c = 8936.01289 + -0.01289. Which is smaller: 0.2 or c?
0.2
Let t be (22/(-12))/11 - 158/(-900). Does t = 2/421?
False
Let a(z) be the third derivative of -z**6/120 - z**5/30 + z**4/8 - z**2. Let t be 1104/(-460) + 3/(-5). Let o be a(t). Which is smaller: -1/49 or o?
-1/49
Let g be (-1637)/48 + -146 + 180. Let w be (1 - 0) + 2 + -3. Is g at most as big as w?
True
Let l be (6/4*3 + -4)/(