1*m - 13*m. Are m and -10/533 nonequal?
True
Let q be 10/(-18) - (8 - (-572)/(-66)). Which is smaller: q or 1621?
q
Let n be 6 - 3*2/2. Suppose d = -n*h + 12, 3*d + 24 - 8 = 4*h. Is d less than 25?
True
Let h(f) = 2*f**3 - 11*f**2 + 28. Let c be h(5). Suppose -3*r + 4*q - 482 = 140, 846 = -4*r - c*q. Is r < -210?
False
Let w be ((-100)/(-150))/(2/3). Let b = 60223/55 - 1095. Which is smaller: b or w?
b
Suppose 0 = -4*o + 4 - 8. Let h be 12/(-426) + 45492/1357875. Is h >= o?
True
Let v be (15 - 16)/(1 - (-2)/(-3)). Let n be -1 - 3 - v/1. Let t = n + -23. Which is smaller: t or -23?
t
Let v be (8 + 894/(-120))/(0 + 2/(-35)). Let x = 13 + -14. Which is smaller: x or v?
v
Let i be (9 - 13 - 0) + (5 - (-2 - -1)). Is i >= -1760?
True
Let d = -0.05614 + 0.10614. Are -0.345 and d equal?
False
Suppose -2*p + 5*h + 35 = 0, 0 = 5*p - 3*h + h - 14. Suppose 3*w + 3*s = s + 8, 0 = 2*w + 2*s - 8. Suppose -3*o = -w*o - 12. Which is greater: p or o?
o
Let r be 78*(-42)/2088 - (-3)/2. Suppose 0 = -4*u + 4 + 8. Suppose -h = 4*n + 3, 2*h - u*h - 3 = 3*n. Is n at least as big as r?
True
Let u = 285.4 + -272.5. Is u at least as big as 4?
True
Suppose 31*g + 288 = 35*g - 4*s, 5*g = -s + 330. Suppose -g*i + 61*i = 6. Which is smaller: i or -15/26?
i
Let u be ((-12)/(-8))/(9/102). Suppose -u*b = -22*b + 3065. Let n = b + -3078/5. Is n >= 0.2?
False
Let j = -114646 - -114572. Let n = 3 + -6. Is j less than or equal to n?
True
Let k = -38 - -37. Let o = 3017 - 75431/25. Is k equal to o?
False
Let g be (5 + 3 + -6)*4. Let l be (-23)/(-45) - g/20. Does -0.02 = l?
False
Suppose -5*k = -4*k + 2*s - 3, 0 = k - 5*s - 38. Suppose -k*d = -12*d - 14. Suppose 5*y - d - 1 = -3*x, -4*x = 4*y - 20. Is 1/108 equal to y?
False
Let v = 4.7823 + -0.0023. Let i = 0.78 - v. Let m = i - -3.8. Which is smaller: m or 2?
m
Suppose 2*r = -z - 4*z + 20, -32 = -2*z + 4*r. Suppose z*g + 494 = -4. Let m = g + 97. Which is bigger: 3 or m?
m
Let l be -11 - -5 - (-5511)/915. Does 0 = l?
False
Let k = 1931.2 + -1931. Which is bigger: k or 2.22?
2.22
Suppose 3*l - 21 = 5*l + 5*j, 2*l + 1 = -j. Let p = -635 + 3827/6. Is l less than or equal to p?
True
Let w = 1039/15 - 10007633/144480. Is w less than -1?
False
Let v = 19 - 20.9. Let r = 28786 - 28793. Is v greater than or equal to r?
True
Let j(n) = -3*n**3 - 31*n**2 - 12*n + 3. Let g be j(-10). Suppose 0 = 3*s - 2*v + 8 - g, 0 = -5*s - 4*v + 47. Which is smaller: s or 90/13?
90/13
Let b be 132/16*576/27. Suppose 0 = -2*u - b + 202. Is 33 less than u?
False
Let a be (-9)/(-4) + 10/(-8). Is 3/5812 greater than or equal to a?
False
Let s be -57 + 50 + (-1023)/30. Is s > -42?
True
Let a = 364.397 - 0.397. Let v = 358 - a. Which is smaller: 10/3 or v?
v
Let k(m) = -m**3 - 10*m**2 - 14*m + 10. Let o be k(-8). Let w be (1/(o/340))/((-78)/(-117)). Is w at most -337/4?
True
Let q = 39 - 12. Let y = -8104 + 8133. Is y at most q?
False
Suppose 0 = m - 4*i + 165, -5*i = -4*m - 0*i - 616. Let s = -149 - m. Is s greater than or equal to -1/246?
True
Let s be 244/(-6) + (-3)/9. Let v(y) = y**3 - 8*y**2 + 6*y - 11. Let h be v(5). Let n = s - h. Which is bigger: 14 or n?
n
Let g(p) = p**3 - 8*p**2 + 12*p + 5. Let f be g(6). Suppose -2*t + 4*b = -30, -f*b + 4 = -3*b. Suppose -4*i + 54 = -i. Which is greater: i or t?
t
Let y = -96 + 166. Let v = y - 126. Let f = 37 + v. Which is smaller: f or -3?
f
Let d = 8.058 + -7.3473. Let q = d + -3.6817. Let r = -0.029 + q. Which is greater: -9/5 or r?
-9/5
Let r be 3/(-18) - (1 + 1/(-6)). Suppose 3*t + 19 + 17 = 0. Let w be 48/t + (-33)/(-7). Which is smaller: r or w?
r
Let y(m) = m**3 - 10*m**2 - 36*m + 267. Let b be y(6). Are -57 and b nonequal?
True
Let n = 1068037/10 - 107049. Let a = -245 - n. Let l = 7 + -8. Is a bigger than l?
True
Let r be (-29)/(-9) + ((-6)/27 - 0). Suppose r*p - 52 = -4*l - 17, 5*p + l = 30. Suppose -2*m - 3*m - 2*i = -200, -185 = -p*m - 5*i. Is m < 42?
False
Let t(k) = 62*k. Let s be t(11). Is s equal to 682?
True
Suppose 0 = -2*s + 4*b + 8 - 22, 8 = s + 3*b. Let q be -8 - (1 + s) - 2. Let g = 8 + q. Are g and -4/3 equal?
False
Suppose 3786 = -19*y + 13*y. Which is smaller: -629 or y?
y
Let a be (-76)/(-16) - (-2 + 4)*-1. Is a less than or equal to 1/7?
False
Let l = 38 + -1443/38. Suppose -27 = -12*w + 9. Let f be (2 + w + -5)/1. Which is bigger: f or l?
l
Let c(b) = 8*b + 77. Let z be c(-10). Let d be 8/z*(2 - 18/8). Are 0.024 and d unequal?
True
Let o be 2/5 - ((-25)/(-75) - 33896/60). Are 564 and o unequal?
True
Let s = 201 + -247. Let u be s/(-7) - (-52)/(-91). Let h(v) = v**3 + 6*v**2 - v - 8. Let j be h(-6). Is u < j?
False
Suppose 5*z = 5*x - 35, -3*x + 5*z = -0*x - 25. Suppose -j + i - x = -3*j, 5*j - 11 = -i. Suppose -10*t = -2*t. Which is greater: j or t?
j
Let s = 615 + -436. Suppose -3*q + s = 161. Which is smaller: 5 or q?
5
Suppose 0 = 5*n - 194 - 116. Suppose -45*s = -95*s + 3000. Is s bigger than n?
False
Let n = -69 - -23. Let b(x) = -4*x + 14. Let i be b(13). Let r = i - n. Which is smaller: 12 or r?
r
Let n = 1/19396 + -252917/14915524. Which is smaller: n or 0?
n
Let b = -0.6326 + 0.7326. Is 3791 > b?
True
Let g be (-2112)/(-10) - (-2)/(-10). Let y(i) = 3*i**2 - 1203*i + 13081. Let z be y(11). Is z at least g?
True
Suppose t = -3*v + 38, -2*v = -v + 3. Suppose -3*u - 2*u - t = 2*s, 5*s = -5*u - 50. Let d = 10 + u. Is 1/42 greater than or equal to d?
False
Suppose -k = -44*g + 46*g + 1613, 4029 = -5*g - 2*k. Which is bigger: g or -811?
g
Let l be 2 + 1 + 140 - (-24 - -13). Are 151 and l equal?
False
Suppose -70 = 5*c + 93 + 57. Let h(y) = y**3 - 8*y**2 + 6*y - 7. Let g be h(6). Is c bigger than g?
False
Suppose 339*g = 606*g + 99324. Which is smaller: g or -7080/19?
-7080/19
Let v(i) = 9*i - 27. Let d be v(-3). Let c(q) = 1 - q + 2*q + 0*q. Let g be c(0). Which is smaller: d or g?
d
Suppose 25*b + 930 + 36495 = 0. Which is bigger: b or -1492?
-1492
Let k be (-638)/564 + (-170)/(-510). Which is smaller: k or -2?
-2
Let q = 302 - 283. Suppose -q*m + 1858 = -783. Which is smaller: m or 140?
m
Let l(y) = 12 + 2*y + 44 - 61 + 48. Let p be l(-21). Does p = 2/95?
False
Let o = -30991/7 + 4427. Is o equal to -32/7?
False
Let u be ((-522)/(-145))/(4/(-10)). Let l be 66/(-341)*30/u. Which is smaller: l or 0?
0
Let o be 4/20*((-36)/16 - -1). Let l = 5.773 + -3.134. Let w = 0.061 + l. Which is bigger: o or w?
w
Suppose -4 = 6*l - 2*l. Let d be -12503 - (7 + -4 - 11). Let n be (-1572)/d - (108/51 + -2). Is l smaller than n?
True
Suppose -3*m - 91 - 10 = -w, 0 = -5*w + 3*m + 505. Which is smaller: w or 99?
99
Let f be (-3)/(18/(-2))*-19. Suppose -1818 = -5*n - 2*t - 97, 0 = -5*n + 2*t + 1729. Let k = -350 + n. Are f and k non-equal?
True
Let f be 8 - (19 - 1336/112). Are -11/5 and f non-equal?
True
Let q = 34811/6 + -2333597/402. Which is greater: q or -3?
-3
Let f be -6 + ((-69780)/8710 - -14 - 0/(-1)). Which is smaller: f or -1?
-1
Suppose 122343 + 59999 = -62*x. Which is smaller: x or -2942?
-2942
Let r = -49 + 98. Let g be (2 + -12)*30/(-20). Let n(t) = -t**2 + 15*t + 48. Let s be n(g). Which is bigger: s or r?
r
Let a be 4*(6/(-4) + 2). Let r(u) = 10*u**2 - 3*u**2 - 7*u**2 + u**2 - 76*u - 3*u**2 - 1. Let k be r(-38). Is a > k?
True
Suppose 0*k + k = -4*a - 297, -a - 1128 = 4*k. Is -272 less than or equal to k?
False
Let r = 2751 - 1972. Let o(z) = -5*z**3 + 8*z**2 + 10*z + 3. Let m be o(-5). Which is smaller: m or r?
m
Let s = -2102/101 - 760991/303. Which is greater: s or -2532?
-2532
Suppose 32 = 5*q + 7. Suppose -q*x - 5 = -5*y, -y = 6*x - 2*x - 21. Suppose x*s - s = 27. Does s = 9?
True
Let q = 280 + -268. Suppose 0 = -118*x + 117*x - q. Which is greater: 10 or x?
10
Suppose -25499 - 23251 = 10*t. Which is smaller: -4874 or t?
t
Let b be (-317)/52 - -6 - 5/(130/4). Is b != -3/323?
True
Let v = 510 + -227. Let h = 293 - v. Is h greater than or equal to 0.1?
True
Suppose 9*a + 22 = 10*a. Suppose -4*s + 3*p - a = -155, p = -s + 28. Let y be 1 + -5 + (-288)/(-8). Are s and y equal?
False
Let l be -5*38036/190220 + (3 - 2). Is 1 != l?
True
Let k(f) = -f**3 + 10*f**2 + 11*f - 3. Let y be k(11). Let z(t) = 2*t**3 - 40*t**2 - 34*t - 167. Let c be z(21). Which is smaller: c or y?
y
Let v = 6 + 0. Let s(k) = k**3 + 16*k**2 - 5*k - 71. Let o be s(-16). Let z be 76/18 + o + -7. Which is smaller: