 + -1). Let o be 63/a - (16 - 23). Is 0 at least as big as o?
False
Let k(g) = -353*g + 3882. Let w be k(11). Which is greater: w or 340/21?
340/21
Let k(m) = -m - 4. Let y be k(-4). Let s be 15/6*162/(-45). Let c = 181/20 + s. Is c at least y?
True
Suppose 41 = 7*v - 71. Let h(j) = j**2 - 16*j + 7. Let w be h(v). Which is smaller: w or 19?
w
Suppose 0 = 2*o + 4*a - 828, 5*o + 3*a - 2088 = 2*a. Suppose -11*b - 979 = o. Is b greater than or equal to -126?
False
Let v = 6409 - -3307. Is -0.1 bigger than v?
False
Let m be 4/6*(-3)/42. Let l(a) = 181*a + 17924. Let s be l(-99). Which is smaller: m or s?
m
Let a = -0.678 + -0.152. Let f = a - 8.17. Let i = 134/7 - 132/7. Which is bigger: f or i?
i
Suppose -16*f + 571 = 123. Let z be 7/f - 17/4. Let j be (0 + -6)/(3/z). Is j at most 8?
True
Let n(m) = 2*m**2 + 41*m - 19. Let b be n(13). Suppose 6*h + 804 = b. Is -1 > h?
False
Let u(z) = z**3 + 16*z**2 - 42. Let f be u(-16). Let q be 1*1*(f/39 - -1). Which is bigger: 0 or q?
0
Suppose 3*q = -4*i + 479, -i + 164 = 159. Which is smaller: 162 or q?
q
Let w = 1174 + -585. Is 587 != w?
True
Suppose -3*u + 4*u + 2*s = 8, u - 2*s = -4. Let x be ((-15)/336*u)/((-2)/4476). Let l = 200 - x. Is 0 less than l?
True
Let i = 632.26 + -159.26. Do i and -0.1 have the same value?
False
Suppose 4*a = -x - 33, 368*x + 3*a = 365*x - 27. Is x greater than 34/1497?
False
Suppose -64 = -7*c + 230. Suppose 54*h = c*h - 24. Which is smaller: 0 or h?
h
Let h be 98/(-5) - 10/25. Suppose 0*n + 4*n - 1290 = -5*v, 4*v - 4*n = 996. Suppose -20 + v = -13*m. Is h bigger than m?
False
Let m(b) = b**2 + 13*b + 12. Suppose -5*s - 192 = 11*s. Let i be m(s). Which is bigger: 2/391 or i?
2/391
Let g(a) = a**3 + 32*a**2 + 61*a - 26. Let k(u) = 18*u + 222. Let n be k(-14). Let t be g(n). Which is greater: -49 or t?
-49
Suppose 0 = 25*m - 57 - 93. Let d be -4 + 1 + ((-1080)/(-33))/m. Which is smaller: 3 or d?
d
Suppose -26*o - 69 = -29*o. Suppose -3*l = 2*l - 95. Let b = l - o. Which is greater: b or -1/4?
-1/4
Let n = -95.3 + -5.7. Are n and -19 equal?
False
Let g(i) = -i**2 + 10. Let t be g(-6). Let j = -228 + 202. Is j less than or equal to t?
True
Let w(k) = -1. Let x(t) = t + 11. Suppose 40*g = 38*g - 6. Let v(h) = g*w(h) - x(h). Let r be v(0). Is -42/5 at most r?
True
Let h(k) = 16*k + 67. Let y be h(10). Let o = 276 - y. Is o equal to 48?
False
Let i = -3979 - -75599/19. Which is smaller: i or 7/10?
i
Suppose -3*l + 1 = s + 15, -3*l - 34 = 2*s. Let p(h) = 2*h**3 + 87*h**2 + 41*h - 106. Let r be p(-43). Is r greater than s?
False
Suppose 2*p = a - 3*a + 14, 4*a = -5*p + 32. Let v be ((-3)/(-8))/(a/(-22)). Let l be (-860)/1505 + 1 + (-2)/70. Which is bigger: l or v?
l
Let y = -17019.1 - -17019. Which is bigger: y or -225.5?
y
Let w(z) = -4*z**2 - 26*z - 13. Let f be w(-6). Let o be (f - -6)/((-3)/42*2). Suppose -4*i = 4*r - 0*r + 140, -5*i = -5*r - 175. Is o bigger than r?
False
Let q = 136236/164465 + 1/4699. Which is smaller: q or 1?
q
Let q = 100 - -242. Let c = -343 + q. Is -2.6 less than c?
True
Let b = -52 - -46. Let z(q) = -q**3 - 6*q**2 + 9*q + 1. Let k be z(b). Let s = 41 + k. Are s and -13 unequal?
True
Let i be 100/10 - (-2992)/(-10). Which is smaller: -288 or i?
i
Let a be ((-356)/1602)/(4/(-2682)). Which is greater: 140 or a?
a
Let m = 0.3 - -0.7. Let n = -2477 + 2537. Is n at least m?
True
Let l = -36 + 40. Suppose 67*m - 69*m + l = 0. Let f be (m - (-38)/(-16))*2/3. Is f less than or equal to 14?
True
Let h be 6/(-4) + (2/(-14))/(54/(-315)). Is -1217 != h?
True
Let p = -174 - -170. Let m be (-5)/(450/p)*(-40)/(-48). Suppose 0 = -a + 2*a + 1, -s - 6 = 5*a. Is s >= m?
False
Let x = -1.019 - -1.09. Is x != 49?
True
Let s = -3473 - -5778. Is -3/2 at most s?
True
Let y = 68 - 10. Let j = 97 - y. Let t = 39.02 - j. Do 7 and t have different values?
True
Let s = 10888 - 54438/5. Is s greater than or equal to -6.041?
True
Let t = 171.2 + -159. Let b = 12.35 - t. Let l be 1/2 - (-1 + 2). Which is bigger: b or l?
b
Let r = 4.92 + -0.02. Let m = r + -5. Let k be (-2)/(48/(-23) + 2). Which is smaller: m or k?
m
Let d(z) = z**3 + 45*z**2 + 125*z + 115. Let u be d(-42). Which is bigger: u or 85?
u
Let g = -0.0599 + -666.9401. Let x = 666.48 + g. Suppose -1 + 0 = -d. Is d less than or equal to x?
False
Let g = -123 - -210. Let o be (43/5*(-4 - 0))/(30/(-75)). Which is smaller: o or g?
o
Let c = 1292 + -1205. Let q = 1.9 + -2.9. Which is greater: c or q?
c
Let l = 949 + -166074/175. Is 0 at least l?
False
Suppose 262*g = 243*g + 17537. Which is greater: 922 or g?
g
Let m(z) = 7*z**2 - 10*z - 57. Let o(i) = 8*i**2 - 10*i - 56. Let r(n) = -7*m(n) + 6*o(n). Let p be r(-6). Which is smaller: p or -34?
-34
Let c = 33623849/2795 + -12030. Which is smaller: 0 or c?
c
Let y = -90652/7965313 - -26/2413. Is y at least -0.2?
True
Suppose -2127164 = -353*y - 141*y. Which is bigger: -1 or y?
y
Let n = 0.46 + -8.14. Let v = 0.234 - 8.234. Let u = n - v. Which is greater: 2/7 or u?
u
Let y be 351/21 - (-4)/14. Suppose -124 = 5*z - 3*t, -5*t - 77 = 9*z - 5*z. Let w = y + z. Do -7 and w have different values?
True
Suppose 5*m = 3*j + 2, 41*m = -5*j + 38*m + 8. Which is bigger: j or 3/1367?
j
Let x(b) = -188*b + 1565. Let o be x(8). Is o < -20?
False
Let v be -6 + (-56)/(-7) + -242. Let m = v + 10. Is m less than or equal to -230?
True
Suppose -5*n = -0*n. Let r be 11 + (-37000)/(-3075) + -23. Is n != r?
True
Let u(b) = -b**2 - 18*b + 43. Let s be u(-20). Suppose 5*c + q - 14 = 0, -s*c + 8 = -5*q + 6*q. Let t = -7 - -11. Is c at most t?
True
Let v(k) = 6*k**2 - 5*k + 2. Let m be v(3). Suppose -3*w + m - 2 = 0. Let u = 5520 + -5510. Is w >= u?
True
Let d = -3618.2 - -3619. Is -5/3 at least as big as d?
False
Let w be (-4)/84*-330*(-1 + 8). Suppose -p + w - 109 = 0. Is 24/23 > p?
True
Suppose 17*b + 2064 = 1860. Let g be ((-4)/(-6))/((-3)/54). Are b and g equal?
True
Let j be (-3 + 38/6)/((-4)/(-6)). Suppose 3*a + 14 + 22 = 0. Let w be (j/(615/a))/(-2). Is 0 at least as big as w?
False
Let l be 1806/56*(-8)/(-3) - (-264)/44. Is 19 equal to l?
False
Suppose 34347*p - 34349*p = 0. Which is greater: -54/179 or p?
p
Let k = 70 + -153/2. Suppose q + l + 12 = 0, 24*l = -2*q + 25*l - 6. Which is bigger: q or k?
q
Let l be (-28 - -9 - -15)*53. Which is smaller: -213 or l?
-213
Suppose 4*k - 21 = 4*q - 29, 0 = -4*q - 2*k - 34. Is q > -169/38?
False
Suppose 4*q - 18 = 2*q. Let b(h) = h**3 - 10*h**2 - 23*h - 30. Let f be b(q). Which is bigger: -317 or f?
-317
Let h be (2 - -7) + (-5 - -1). Suppose -12 = -h*g + 8. Which is greater: 0.4 or g?
g
Let h = 17794688/75565 + -8242/35. Let x = h - -64656/41021. Let q be (-32)/(-12)*39/52. Are x and q non-equal?
True
Let g = -724 + 724. Which is smaller: g or -737?
-737
Let r be (-169)/840 + (-1)/(-7). Let u = 1541/10 + -154. Let o = u + r. Which is smaller: 1 or o?
o
Let i = 84 + -91. Let r be ((-132)/(-24) + i)/(3/(-2)). Is -4/105 less than or equal to r?
True
Suppose -777 = -3*g - 3*z, -3*g - 4*z + 779 = -0*g. Suppose 3*t + 113 = -2*c, 4*c + 4*t - 21 = -g. Which is smaller: -65 or c?
-65
Suppose -f = d - 3, -13*f + 17*f = 3*d + 12. Suppose -4*r + 925 - 67 = f*o, 0 = o - 3*r - 299. Which is smaller: o or 291?
o
Let x = 1/2732 - -2725/19124. Which is smaller: x or 525?
x
Let n(r) = r + 23*r**2 - 378 + 371 - 22*r**2. Let o = 2 + -6. Let m be n(o). Is m at most 3?
False
Let a(h) = h**3 + 5*h**2 + 14*h + 4. Let y be a(-6). Let w = y - -119. Suppose j = -2*t - 60, 198 = -0*j - w*j + 3*t. Which is greater: -63 or j?
-63
Let g = 7338 + -80910/11. Which is bigger: g or 1?
1
Let i(p) = -p**3 + p**2 + 10*p + 8. Suppose 13*x = -38 - 14. Let t be i(x). Let g = 36 - t. Which is smaller: g or -10?
g
Let x be 50/(-5) - (-2024)/198. Let h be 2/21*129 - (-4)/(-14). Suppose n + 24 = 5*y, -5*y + h + 15 = 2*n. Do n and x have different values?
True
Let r be 58/(-551) - 48501/57. Is r at most -859?
False
Suppose -i = 26*w - 22*w + 60, 0 = 5*i - 20. Let d be (-12)/w*(-136)/18309. Which is smaller: 1 or d?
d
Let g be 185/(-3)*(-486)/810. Let u(t) = t**3 + 8*t**2 + 13*t - 9. Let f be u(-5). Is g at most f?
False
Suppose 2*w = w + 2, 6 = u - 4*w. Let g(m) = 5*m - 3. Let k be g(-3). Let q = u - k. Do 31 and q have different values?
True
Let q = 383 - 1117. Let c = q + 497. Which is smaller: 0 or 