21*m - 6204. Let w be j(188). Let v = -18 + -5. Is w != v?
True
Suppose 21*n = -4*z + 24*n - 696, 5*z - 4*n + 871 = 0. Let r be (-25)/(-10)*(1 - z/1). Which is smaller: 0 or r?
0
Suppose -b + 5 = n - 1, 4*b = -5*n + 26. Suppose 0 = y + 3*y + 5*g - 41, -y = -n*g - 20. Let h = y + -21. Is h greater than -8?
True
Let i = -26775 + 26800.5. Is i equal to 11?
False
Let t be (-8)/((-72)/(-63)) + (-2)/(-136)*284. Which is greater: -0.4 or t?
-0.4
Let n = 57 - 39. Suppose -4*d = 2 - n. Let b be 0 + 8/d + -3. Which is greater: b or -2/23?
-2/23
Suppose -5*c - d + 69 = 0, -3*c + 22 + 5 = -3*d. Suppose c*i + i = -4368. Which is bigger: i or -310?
-310
Let h be ((-3)/2)/(3/(-4)). Let m be 4*(-68)/8*6/12. Is m equal to h?
False
Let v be 10/(-65) - (4 + (-23936)/1287). Which is smaller: v or 15?
v
Suppose 4*c = -4*j - 3280, 2*j + 4*c + 48 = -1596. Are j and -817 non-equal?
True
Let j = 0.978 + -0.94. Let h = -7.362 - j. Let a = h + 7.25. Are 2 and a equal?
False
Let h(i) = i**2 + 59*i - 1712. Let r be h(-76). Is r at least -0.3?
False
Let n = -938.8208 + -0.1792. Which is smaller: n or -0.2?
n
Let h be (-3)/(-5) + 6/(-10). Let j = 78 + -99. Let i be ((-48)/140)/((-6)/j). Is i at least h?
False
Let j = -7257671/587 + 12364. Suppose 0 = -k - 4*c - 3, c - 2 = 2*k + 5*c. Which is smaller: j or k?
j
Let v be 60/9*(-48)/20. Let p be ((-30)/380)/(9/v). Do 0 and p have different values?
True
Suppose -t + 1 = -9. Let q = 1519 - 1507. Let f be q/33*(-1)/t. Which is smaller: -1 or f?
-1
Let p = 23/156 - -4/39. Let t be (0 - 138)/(51/(-34)). Suppose t = 20*o - 66*o. Is o at least as big as p?
False
Let x = -365 + 1177/4. Let v = 1384 - 1455. Is v at most as big as x?
True
Let q = 0.2518 - 0.2618. Let t = 9 + -10.2. Let s = t + 0.2. Is s <= q?
True
Let k = -92558373411754/158472099639 - -1374706/11603727. Let c = k - -86/1951. Let u = c + 584. Is -2/7 at most as big as u?
True
Let x = 12666 - 5181. Is x less than 7485?
False
Let n(j) = j**2 + 21*j - 50. Let g(q) = -q**2 - 2. Let c(m) = -2*g(m) - n(m). Let l be c(18). Which is bigger: 2/1499 or l?
2/1499
Let b be ((-24)/84)/((375/(-245))/5). Which is greater: -4/13 or b?
b
Let c = -360 - -362.38. Let k = c - 91.38. Which is greater: -2 or k?
-2
Let l be (-7)/(-2)*12*5. Let r be (0 - -2) + (-418)/l. Let n(j) = 271*j - 11924. Let i be n(44). Is r at most i?
False
Let x be ((-2 - -8) + 0)*(-11)/(-66). Which is smaller: x or -36/1217?
-36/1217
Let r be -12 - ((-144090)/5145 + 16). Let t be ((33/12)/(-11))/((-2)/(-8)). Which is smaller: r or t?
t
Let n = 6949 - 6794. Is n less than 155?
False
Let n(p) = -13*p. Let o be n(4). Let d = -18430 + 18380. Is o at least d?
False
Let c(m) = -17*m - 4. Let n be c(-2). Let q = 4 + 2. Suppose q*h - n = 48. Which is smaller: 12 or h?
12
Suppose 2*c = -4, 8*q - 3*c = 3*q + 81526. Is q at least as big as 16304?
True
Let t = -3.176 + 1.074. Which is smaller: t or -0.2?
t
Let u be (-32)/(-176) - (-48)/(-22). Let v be (-1)/u - (4 - 110/33). Which is greater: v or -1?
v
Suppose 2*x = -2*o + 8, 3*x = -x + 2*o + 4. Suppose 18 - x = 2*g. Suppose -2*w = -2*z - 15 - 7, 0 = 5*w + 3*z - 31. Does w = g?
True
Let t = 54653/28 - 16865/14. Does 748 = t?
False
Suppose -46 = -2*p - 28. Suppose p*f = -23*f - 224. Is f at least as big as -132/19?
False
Let x = 34.7 + -33.29. Let n = x - 2.41. Which is smaller: n or -1.05?
-1.05
Let m(u) = u + 290. Let j be m(0). Let k = 10867 + -10576. Is j greater than k?
False
Let b be (7 + -8)/((-1)/3). Suppose -113 = 2*u - b*o, 0 = 2*o + 14 - 4. Let d be (7/(-4) - 1)/(16/u). Which is smaller: 10 or d?
10
Let g = 1/44518 + -91859/125674314. Which is smaller: g or 1?
g
Let u be (-6294)/(-24) + (-20)/(-8)*2. Let n = -268 + u. Suppose -2*h - h = w, -h = 5*w - 14. Is h > n?
False
Let y = 4/207 - -1003/1656. Let s = 189 + -184. Suppose s*d = d + i + 6, 4*i = 5*d - 2. Which is bigger: y or d?
d
Let a = -62.88 + -1.12. Let h = a + 22. Is -0.1 > h?
True
Suppose 0*a - 5*a + 3*z = -1679, -4*a + 1339 = -z. Is a at most 332?
False
Let l be (2/(-6))/((-42)/(-126)). Is -2 greater than or equal to l?
False
Let q = 4.4 - 4. Let l(w) = w**3 - 11*w**2 + 27*w - 8. Let o be l(4). Is o smaller than q?
True
Let q be (12 + -5)*-1*8/(-14). Let r be (2 - 1)*-3 + q. Let f be ((3 - r)*11/(-22))/1. Which is bigger: -2 or f?
f
Let o(s) = 4*s - 19. Let g be o(-10). Let v = -43 + g. Let r be (v*6/(-81))/(-2). Which is bigger: r or -4?
r
Let b = -61/722 + 29369/475798. Which is bigger: 0 or b?
0
Let f = 196 - 186. Let l be 296/(-40) + 4 + (-36)/f. Is -17 less than l?
True
Let o be (12/928)/(12/(-60) - (-191)/(-20)). Which is greater: -1 or o?
o
Let l be ((-270)/(-24))/(-1*1). Suppose 2*z + 3*g + 21 - 14 = 0, 4*g = 2*z + 42. Which is smaller: l or z?
l
Let f(x) = -x**3 + 28*x**2 - 26*x - 26. Let g be f(27). Let h be 155 + -374 - (1 - (g + -1)). Is h bigger than -221?
True
Let m = 4829 - 4842. Which is smaller: m or -382/31?
m
Let v = -46 - -61. Let g(p) = 222*p + 38. Let u be g(v). Let r = -508570/151 + u. Is 0 at most as big as r?
False
Let v = -1 - -57. Suppose -6099 = -v*s + 37*s. Which is greater: s or 320?
s
Let i(n) = 24*n - 3. Let d(v) = -25*v + 4. Let l(g) = 5*d(g) + 6*i(g). Let c be l(3). Let y = c - 65. Which is smaller: y or 1?
y
Let j = 2/120913 + -74702/17774211. Which is greater: 1 or j?
1
Let z(r) = -21*r**3 + 3*r**2 - 6. Let s be z(-2). Which is greater: s or 17/2?
s
Let w be (-50)/5 - (0 - 3/(-5)). Suppose 5*m - 2*i = -62, 136*m = 137*m + 5*i + 7. Is w > m?
True
Let f = -122.35 + 32.35. Let y = 1.21 + 102.79. Let u = y + f. Is u at least -1?
True
Let v(g) = -g**2 + 9. Let w be (-5 - -2) + (-6)/4*-2. Suppose w = -7*k + k. Let n be v(k). Which is smaller: 39/5 or n?
39/5
Let i(c) = 7*c**2 + 43*c + 31. Let u be i(15). Which is bigger: u or 2252?
2252
Let o be ((-2)/(-6))/(6/108). Let j(u) = 3*u**2 + 2*u + 10. Let g be j(o). Let m = g - 116. Which is smaller: 13 or m?
13
Let t = 0.66 - 0.56. Let x be 4/(-7) + (0 - (-6682)/(-91)). Are t and x equal?
False
Let d = -474 + 147. Let i = d + 271. Suppose 5*u = 3*u - 4*g - 2, 3*u + 3 = 2*g. Which is smaller: u or i?
i
Let b be (-1 + (-5)/(-3))*3. Suppose -b*j - 18 = -2. Let p(w) = -3*w**3 + 602*w**2 - 1000*w + 989. Let r be p(199). Which is smaller: j or r?
j
Suppose 16*f + 58 = -1158. Which is bigger: f or -54?
-54
Let d = 23008 + -23006. Is d greater than or equal to 19/208?
True
Suppose -o - 5*w = -3*o + 423, -3*o - 2*w = -682. Let y be 6/(-39) - o/(-104). Let a = 2042/1455 + -1/291. Which is bigger: a or y?
y
Let g be 1*(-1)/5 + 80/25. Suppose 278 = g*i - 4*r, 7*i + 4*r - 262 = 4*i. Suppose 0 = 94*a - 89*a - i. Do a and 19 have the same value?
False
Let m(o) = 2*o + 8. Let v(l) = 1. Let a(z) = -m(z) - 12*v(z). Let j be a(-10). Suppose -2 = 3*c + x, j = -c + x + 6. Is -6/67 at most c?
True
Let o be (531/(-12))/((-2)/(-8)). Let u = 50133 + -50307. Which is smaller: o or u?
o
Let r be ((-14)/4)/(1/(-2)). Suppose 6*b + b = r. Let x be 4/3*36/300. Is x at most as big as b?
True
Let x(n) = 49*n + 34. Let y be x(-3). Let g = 447/4 + y. Let a = 7 - 8. Is g bigger than a?
False
Let t = 50 + -48. Let g be (8 + -6)/((-1)/t). Let q = g + 15. Which is greater: q or 10?
q
Let f = 8463 - 8464. Do f and 3/1883 have different values?
True
Suppose 930 = 9*i + 714. Suppose 0*u - 4*u = -100. Which is greater: u or i?
u
Let b(r) be the second derivative of -23*r**3/6 + 63*r**2/2 + 42*r. Let t be b(4). Is -29 equal to t?
True
Let q = 15310 - 15310. Which is smaller: -3/385 or q?
-3/385
Let w be 6/(-21) + 320/1071. Suppose 3*n = 2*g + 3 - 19, 4*n + 47 = 5*g. Suppose 2*j + 2*a = -8, 7*a = g*a + 20. Is j >= w?
True
Let b be (-25)/27 + (-2)/12*(-28)/(-63). Is 12/4867 at least as big as b?
True
Let l = 174 - 42. Suppose l = -19*x - 533. Which is smaller: x or -4?
x
Let b = -145/228 - -512761/807348. Which is greater: b or 0?
0
Suppose -5*m + 3*z - 121 = 0, -5*m - 4*z - 5 - 102 = 0. Let d be 4 - 3/2*(-500)/(-30). Is d less than or equal to m?
False
Let r(k) = k - 17. Let l = 91 - 50. Suppose 3*t - l = 2*a, -5*a - 9 = -5*t + 3*t. Let z be r(t). Which is smaller: -5/16 or z?
-5/16
Let b(s) = 18*s - 165. Let i be b(45). Are i and 645 non-equal?
False
Let n(l) = -21*l + 73. Let b be n(8). Let v be (-5)/5*6/((-12)/(-190)). Is v smaller than b?
False
Let u(y) = -6*y - 11. Le