0 + 1/21516. Is m > 2?
True
Suppose 0 = 16*z - 1876 - 597 - 5063. Is 6104/13 less than or equal to z?
True
Suppose -192 = 13*x + 5*o, 34 = -3*x - 9*o + 13*o. Is x greater than or equal to -8?
False
Let j(k) = -811*k**2 + 10*k + 33. Let y be j(-8). Let d be y/78*2*1/(-3). Let a = 444 - d. Do -1 and a have the same value?
False
Let h be (77/154)/((-124)/398) + 3. Are 1 and h non-equal?
True
Let x = 1138 - 676. Let i be (-12)/(-14)*x/99. Suppose 0 = 2*m - 8 + 2. Is i bigger than m?
True
Let m be (-1)/(-4) + 6/(-4). Let k be 18361/1403 + (-4)/46. Suppose 35*g - 22*g = -k. Which is bigger: m or g?
g
Suppose 0*l + 3*l - 6 = 0. Let q(h) = 3*h**3 - 2*h**2 + h + 4. Let d be q(l). Suppose -10*z = z + d. Which is smaller: -12/13 or z?
z
Let t(h) = h**2 - 9*h + 14. Let n be t(5). Which is smaller: -240/53 or n?
n
Suppose 0 = -z - 5*h + 5 + 41, 4*z - 4*h - 232 = 0. Suppose -5*q = -q - z. Let u be (2 - (-3)/(-1))*(-2)/q. Do u and -2/5 have the same value?
False
Suppose 819*w - 817*w + 22 = 0. Let y be (-6 + 2 - w) + -72. Is y less than -65?
False
Let m be 2 + -1 + (82 - -1). Let o be -2 + -36*(24/(-18) + -1). Let u = m - o. Do u and 1 have different values?
True
Let p = 45.6 - 277.6. Let z = 234 + p. Which is smaller: z or -249?
-249
Let t = -0.3029 - -0.0029. Let o = -2098.12 - -2149. Let k = o - 51. Which is smaller: t or k?
t
Let n = -15325 + 15130. Is n at least -1363/7?
False
Suppose -8 = t + 5. Suppose 8*j + 5*k = 3*j - 95, 0 = -j + 5*k + 5. Which is bigger: j or t?
t
Let b be 3 + 2 + (-413)/83. Let f(t) = t**2 - 8*t + 11. Suppose 4*o - 2*d - 4 = 2*o, -2*o - 3*d + 24 = 0. Let h be f(o). Which is bigger: b or h?
b
Let r be (-70)/344 - 168/3612. Let y be (-486)/(-11) - (-2)/(-11). Which is smaller: y or r?
r
Suppose -224 = 940*n - 947*n. Suppose 4*m + o = 3*o + 98, -m - o = -23. Are n and m equal?
False
Suppose 217*g = 102*g + 75*g. Which is bigger: -135 or g?
g
Let a = 5 + -4.872. Let c = -55.128 + a. Let i = -55.03 - c. Does i = -0.1?
False
Let l = 46305/8 + -5782. Is 6 equal to l?
False
Suppose -3*r = q - 2039, -3*q + 0*q + 4*r + 6195 = 0. Is 2059 greater than q?
True
Let w be 6/39 + ((-6)/8 - (-26840)/2080). Is w less than or equal to 11?
False
Suppose -q - 531 = q + 3*h, -5*h = -4*q - 1095. Let m be (-806)/30 + 36/q. Is m greater than -27?
False
Let i be 3759/61 - (2 - 5)*-1. Let z = -754193/12810 + i. Let s = 1/30 - z. Which is greater: -17/2 or s?
s
Let q = -50 - -44. Let p be 80/(-44)*(-9)/q. Let y = p - -221/77. Which is bigger: y or 9?
9
Let s = 341 - 339. Let c be s*2 + 4*(-55)/44. Let n = -5/8 - -43/56. Which is smaller: c or n?
c
Suppose -10*f + 5*f - 13260 = 0. Let d be (-2828)/(-147)*(-5)/f. Let j = 1/221 - d. Which is bigger: j or 1?
1
Let u(g) = -5*g**2 - 6*g + 43. Let k be u(-8). Which is smaller: k or -230?
-230
Let b = -8 + 9. Let k be ((360/(-35))/(-9))/(200/28). Which is greater: k or b?
b
Let t be 9 - 6/((-24)/(-20)). Let k be (-1516)/22 + -7 + t. Let a = -72 - k. Which is greater: a or -0.2?
a
Let v(m) = 3*m**2 + 5*m + 1. Let b be v(3). Suppose 3*t + 112 = 7*t. Let p = b - t. Which is smaller: 17 or p?
p
Let c = -11 + 11.11. Suppose 0 = 4*j - 2*x + 74, -2*x = 3*x - 5. Let o be (-3)/(-4)*j/27. Which is greater: c or o?
c
Let y(j) = -1 + 157*j**2 - 24*j - 78*j**2 - 77*j**2. Suppose 3 = 3*n - 33. Let t be y(n). Which is smaller: 1/17 or t?
t
Let x = 22977 - 45958. Does -22980 = x?
False
Let f = 19 + -48. Let c = -29.05 - f. Let j = -164.1 + 164. Which is smaller: j or c?
j
Let h be (-1287)/11 - 7*(-4)/(-4). Is -126 at least as big as h?
False
Let c = -121.7667 + -0.2333. Which is smaller: c or 7?
c
Let d = 9607 + -9204. Which is smaller: d or 13?
13
Let c = -113/1507 + 5646013/10549. Which is smaller: 536 or c?
c
Let l = 32 - 41. Let r be (-102)/l + 1 - 3/9. Let m be (-19)/(-76) - (-43)/4. Is r >= m?
True
Let d be (492/24)/(-41)*2. Which is bigger: 1/454 or d?
1/454
Suppose -8*d = -6*d - 114. Let v be (d/(-6))/(2/4). Let r = -194 - -195. Which is bigger: v or r?
r
Suppose 3*v = 25 - 7. Suppose -4*q - q = x + v, -2*q = x. Suppose -3*t = x*r + 135, 3*r + 117 = t + 2*t. Which is smaller: -35 or r?
r
Suppose 18*s + 54 = 0, 0 = -5*y - s + 739 - 11552. Are y and -2161 nonequal?
True
Let o = 0.42 - 0.02. Let t = -0.6 - o. Suppose 443*a - 25189 = -5697. Which is smaller: a or t?
t
Suppose -32*b + 28*b + 33 = -i, 4*i + 3*b = 20. Is i at least as big as -132/169?
False
Suppose 0*h - 2*h - 56 = 0. Suppose -2*n - 4*r + 252 = 2*n, 0 = 4*n + r - 267. Suppose -4*t = -p + 4*p + n, 0 = p + 3*t + 16. Is p less than h?
False
Suppose 0 = -22*v + 17226 + 902. Let a = 473 - v. Is a smaller than -350?
True
Let f = -20271 - -20271. Is f less than 3?
True
Let j be (-32)/(-260)*(-85)/34. Let p = -4 + -6. Does j = p?
False
Let z(k) = k**2 - k - 8. Let o be z(5). Let m(y) = -y**2 + 14*y - 7. Let u be m(o). Let i(q) = 2*q**2 - 8*q + 7. Let b be i(5). Is u not equal to b?
False
Let t = 337 - 363. Let k be 4/42 + t/714. Are k and -1/5 equal?
False
Let r = 5247 - 5248. Is -1/777 bigger than r?
True
Let i(t) = -4*t - 10. Let a be i(-4). Suppose -4*q - 44 = -4*l, q + a = 2*l - 8. Let w be (2/(q/3))/((-5)/(-100)). Which is greater: -14 or w?
-14
Suppose -4*x = 4*m - 1044, -5*m - 4*x = -9*m + 1052. Which is smaller: 1 or m?
1
Let v(k) = 0*k**2 - 6*k + 5*k**2 - 5 - k**3 - 9 + 12. Let p be v(4). Suppose -2*o - 39 = 4*r - o, 43 = -3*r + 2*o. Is r at least p?
False
Let k(b) = 3*b + 22. Let t(a) = -4*a - 21. Let o(l) = 3*k(l) + 4*t(l). Let p = -11 - -4. Let d be o(p). Is 31 greater than or equal to d?
True
Let r(t) = t**2 - 18*t + 79. Let i be r(11). Let w be 350/(-126) - (i/9)/1. Is -4 < w?
True
Let t = -37.44 + 32.2. Let v = t + 5.3. Suppose -3*f + 4*f = -1. Which is smaller: f or v?
f
Let t = 31.2 + -1.2. Let o = 30.4 - t. Let j = o + -0.38. Is 0.1 less than j?
False
Let n be 6510/(-28) + 5/(-2). Let r be -234 + 51/(-34) + (-1)/2. Is n != r?
True
Let z = 13.18 - 16.68. Which is greater: 1 or z?
1
Let m = -14119 - -12101. Which is greater: -8073/4 or m?
m
Suppose 7*v = 3*v + 3*n + 2991, 3*v + 4*n - 2237 = 0. Let c = 12702/17 - v. Which is smaller: c or 1/13?
1/13
Let p be ((-2 - 134/6) + -1)*(227 - -115). Is -8664 bigger than p?
False
Let q be (-72)/(-4 + 7) - -4. Let a = -17 - q. Suppose 270 = -12*n + a*n. Which is bigger: n or -28?
-28
Suppose 0 = -3*m - y - y + 51, -2*m + 26 = 4*y. Suppose -30*v + 220364 - 1338284 = 0. Let d be 0 - (-4)/(-34) - v/2312. Is m >= d?
True
Let t = 408 - 368.6. Let j = 9.6 + t. Let h = j + -50. Is h at least as big as -18?
True
Let f(q) = -16*q + 48. Let r be f(-7). Let y be ((-1)/(-1))/(-4*8/r). Which is smaller: -19 or y?
-19
Let v(l) = 25*l**2 + 5*l - 6. Let z(o) = -29*o**2 - 6*o + 7. Let w(h) = 7*v(h) + 6*z(h). Let r be w(-6). Which is smaller: 40 or r?
40
Let v = 0.8 - 1. Suppose -3*d - 5*w - 325 = 0, -5*w - 215 = 4*d - 2*d. Let c be (-1)/(10/25)*11/d. Is c smaller than v?
False
Let f be 6/(1 + 15/(-6)). Let l = 6767 - 6766.9. Is f at least l?
False
Suppose 5*c - 5 = 0, 7*b - 5*c + 5 = 4*b. Let s = 212/21 - 4727/462. Which is bigger: b or s?
b
Let b(l) be the third derivative of -l**5/60 + l**4/12 - 5*l**3/3 + 13*l**2. Let k be b(0). Let a(g) = g + 10. Let q be a(k). Which is smaller: q or 0.3?
q
Suppose -570 = -2*a - 3*b + 127, -4*a + 1427 = -5*b. Is 354 greater than a?
True
Suppose 38*v + 38 = 35*v - 190. Which is smaller: v or -92?
-92
Let n = -0.3 + 0.31. Let q = 0.02 + n. Let t = 219/55 + -19/5. Which is greater: t or q?
t
Let v = -128415 + 128503. Suppose -2*a - 3*a = -445. Which is greater: v or a?
a
Suppose 3*y + 1 = -2*o + 4*o, 0 = -4*y + 3*o - 3. Let i be 12*2/(4/y). Suppose 5*a = 14*x + 137, -2*a + 1 = 3*x - 28. Which is smaller: i or a?
i
Let o(a) = 4*a**2 + a + 24. Suppose -4*v + s = -63, -2*s + 23 + 4 = v. Suppose -17 = -6*i - v. Let k be o(i). Which is smaller: 23 or k?
23
Let c = 29.661 - 29.88. Which is greater: c or 1/4?
1/4
Suppose 0 = -5*h - 4*s - 17, 2*h + s = -0*h - 8. Let n = -0.05 + -0.45. Do n and h have the same value?
False
Suppose -27*j - 2 = -893. Which is smaller: 25 or j?
25
Let s be -3*(10 + -9)*2. Let w = 15 + -13.2. Which is smaller: s or w?
s
Let y = 24625 + -24614. Is y less than -553?
False
Let l = -3026 - -3026. Which is bigger: 15990 or l?
15990
Let h = 122 - 112. Let o = 0.47 - -0.03. Let i 