8)/955). Let o = d - 3/3218. Do -142 and o have the same value?
False
Suppose -4*u - 9 = 5*u. Let b be u/((-2)/80*-4 - 0). Let m = b + 11. Which is smaller: m or 4/81?
4/81
Let a(t) = t**2 - 6*t + 2. Let c be (-2 - (-16)/2) + -1. Let v be a(c). Let z be (2/(-5))/(v/225). Is z greater than 29?
True
Let t be ((-7074)/(-8))/((-3)/8). Is -2357 greater than or equal to t?
True
Let m be 3 - -241*(-4)/(-24). Let x = -43 + m. Which is greater: 45 or x?
45
Suppose -5*o - q = -3*q + 42, 2*o = -2*q - 14. Is o bigger than -108/13?
True
Suppose 2*g + 4*u - 6 = 0, 12*g - 13*g + u = 9. Let o(z) = -z**2 - 4*z + 6. Let b be o(g). Which is smaller: 21.9 or b?
b
Let p = -187 - -626. Suppose 2*v + 149 = p. Which is bigger: 146 or v?
146
Let a be 0 - 6886/(-1726) - (-38 + -58)/(-24). Which is smaller: 0 or a?
a
Let a(m) = 8*m**2 - 515*m + 168. Let l be a(64). Which is smaller: -29 or l?
-29
Let g = 2882 + -2866. Let j = 0 + 0. Is g less than j?
False
Let h = -8744 - -4781. Let z = -1327607/335 - h. Which is smaller: -1 or z?
-1
Let x = -44700 + 1116686/25. Which is greater: -33 or x?
x
Suppose 3*p + 2*p = 340. Suppose -355*q = -365*q - 414 + 14. Let y = p + q. Do 28 and y have the same value?
True
Let b be ((-136)/(-32)*4)/((-6)/12). Which is bigger: b or -29?
-29
Let c be (-25)/(-3) - (-2)/3. Let m be 122*1/(c/((-9)/10)). Which is greater: m or -11?
-11
Let t be (2/(-4))/((-9)/(-18)). Let z be 0/(0 + t + (-12)/(-3)). Suppose z*r + 148 = -4*r. Which is bigger: r or -36?
-36
Let d(h) = -868*h - 4. Let z be d(-3). Suppose 12*y + z = 37*y. Is 2/9 at most y?
True
Let f = -12346 + 12346. Which is smaller: -560 or f?
-560
Suppose 0 = 2*n + 3*n + 3*s + 25, -n = -2*s - 8. Suppose 11*b = -3*b + 84. Suppose 45 = b*h + 3. Is n >= h?
False
Let b be (((-20)/(-19940))/(3/(-54)))/2. Which is smaller: b or 1?
b
Let l(d) = -d**3 - 3*d**2 + 18*d - 6. Let q be l(-6). Let y be (-12)/q + (-136)/48. Let r = 5 - 7. Is r at least y?
False
Let m = 1656 + -2856. Which is smaller: m or 1?
m
Let r = -112913/70 - -1613. Let n = -383/4 - -96. Which is greater: r or n?
n
Let y be (-6)/9*10563/28. Let l = -254 - y. Does -4.1 = l?
False
Let f = 120/443 - -203/886. Which is greater: 0.0179 or f?
f
Let c = 408/1379 + -2/197. Is 0 <= c?
True
Let a = -1466723/2149 + 114/307. Which is smaller: a or -681?
a
Let h = -224124/11 + 20322. Let o = h + 53. Let i(a) = a**3 + 15*a**2 - 35*a - 16. Let d be i(-17). Which is bigger: o or d?
d
Let f = 44 + 33. Let z = -253 - -254. Is f equal to z?
False
Let x = 2712.9 - 2713. Let r be ((-1)/(-3) - 1)*(-100)/(-8). Which is smaller: x or r?
r
Let y = -5508 - -5507. Let b = -274 + 10141/37. Does b = y?
False
Suppose 3*g + 19 = v, -3*v + 1229*g = 1234*g + 41. Let l = 58 + -34. Suppose -2*h - l = -4*m, -4*h = -m + 2*m + 21. Which is smaller: v or h?
h
Let m(f) = -f**3 + 22*f**2 + 232*f + 280. Let l be m(30). Which is smaller: 177 or l?
l
Let t be 45/(-75) - (-1 - (-294)/(-15)). Let b be 39*2/(4 + (-92)/t). Which is smaller: -128 or b?
b
Suppose 5 = 32*o + 229. Let i be 3 + -3 + -4 + 5803/o. Is -833 not equal to i?
False
Let a(d) = -2*d**2 + 2*d + 25. Let f be a(0). Let t be (-6)/4*(-132)/(-9). Let w = t + f. Are 6 and w equal?
False
Let h = -592 + 686. Are 2/9 and h non-equal?
True
Suppose 2*b + 106 = 3*w, -26*b + 110 = 3*w - 24*b. Suppose 0 = -8*p + 220 - w. Suppose 8*q = 3*q + 120. Which is greater: p or q?
q
Suppose -195627 + 4557 = -18*h - 0*h. Is 10614 less than h?
True
Let r = 230 - 241.5. Let p = r - -19.5. Which is greater: -0.2 or p?
p
Suppose -3526 = -14*m + 7618. Is 794 >= m?
False
Let o be (0 + (-1)/3)*4/(-52). Let z(v) = -v**2 + 9*v + 23. Let l be z(11). Suppose -2*q = -q + l. Which is smaller: o or q?
q
Suppose -5 = 4*c - 3*w, w = -3*c + 4 - 11. Let d = -17511/7090 + 99/1418. Which is greater: c or d?
c
Let m be (2006/(-413) + 5)/(((-6)/7)/3). Let f = 4.7 + 0.3. Let z = f - 5.08. Is z smaller than m?
False
Let y(j) = 12*j - 60. Let w be y(6). Let u be -1 + -1 + (0 - -16). Which is greater: w or u?
u
Let p = -2194 - -2369. Does p = -4?
False
Let z = 34838/5 + -6991. Which is bigger: z or -23?
-23
Let r = 64339/85 - 757. Is r smaller than 5?
True
Let a = -16455 + 16395. Is a equal to -23?
False
Let b(i) = i**3 - 24*i**2 - 4*i - 120. Let t be b(24). Which is smaller: t or -204?
t
Let m be (30/(-14) - -2) + (16912/49 - 26). Which is smaller: 329 or m?
m
Let s be 12*((-58)/(-116) - (-2 + (1 - -7))). Which is smaller: s or 1.9?
s
Let w be (-33)/((-12)/(-6) - 3). Suppose 4680 = w*u - 46*u. Which is smaller: u or -0.1?
u
Let u = -53 + 55. Suppose -2*y - 4*p = 2, -y + u*p + 0*p = -7. Suppose n + 2*f + 1 + y = 0, 3*n + 4*f = -20. Is -12 <= n?
True
Suppose 0 = -6*z + 59 + 13. Let r(t) = -5*t**2 + 60*t. Let o be r(z). Is 2/123 at most as big as o?
False
Let p(l) = l**3 + 11*l**2 - 27*l - 365. Let f be p(-13). Which is smaller: -2107/6 or f?
f
Let w be -1 + 0 - (0 - -3). Let y(n) be the first derivative of 5*n**2 + 95*n - 109. Let z be y(-10). Which is smaller: w or z?
z
Suppose -698*s - 48 = 2*f - 701*s, f + s = -29. Is f greater than or equal to -6?
False
Suppose 4*z = 85*m - 88*m + 174, m - 234 = -5*z. Which is smaller: -15 or z?
-15
Let i = -101 - -75. Let c = i - -26.2. Which is smaller: -38 or c?
-38
Let f = 45 - 44.818. Let u = f + 232.818. Which is bigger: 0.1 or u?
u
Let o = -49.29 - -49. Let k = -7.836 + 0.136. Let b = k + 8.7. Which is greater: b or o?
b
Let x be ((7 - 6) + 2)*4/164. Let h(j) = j + 2. Let n be (-100)/30 + (-2)/(-6). Let i be h(n). Are x and i equal?
False
Let b = 30 + -28. Let w(o) = 12*o + 9. Let c be w(b). Which is smaller: 31 or c?
31
Suppose -r = -2*i + 3, -3*i - 2*r = -4 + 3. Let t be i*144/(-3) + -1. Let l = 47 + t. Is l less than -1?
True
Let i = -12.2 - -12.169. Let m = -0.26 + -1.64. Let l = 2 + m. Is i > l?
False
Let n be -7234*((-153)/18)/(-17). Let a = n - -94017/26. Is a != -2?
True
Let n(f) = -18*f + 309. Let z be n(18). Let h = 2.9 - -19.1. Let j = h - 22. Are j and z unequal?
True
Let b = 5728 - 5727. Are 1836 and b unequal?
True
Let n = -29.61 - 0.39. Let l = n - -29.971. Let a = l - -0.289. Is a equal to 1?
False
Let v be (123/164)/((-90)/(-24) - 4). Which is bigger: -320/129 or v?
-320/129
Let q = -55935/7 - -7969. Is q >= -22?
True
Suppose 0*j + 5*j = 30. Let a be (-1 - 2) + 94/j. Suppose 585*i = 579*i + 84. Which is smaller: i or a?
a
Let h = 5834 + -7950. Which is bigger: 0 or h?
0
Suppose -15*v - 108*v - 362207 = -14*v. Are -3325 and v non-equal?
True
Let z be (-2846)/16 - (-6)/(-48). Let h = z + 176. Is h greater than or equal to -3?
True
Let x = 0.394319 + -226.457319. Let d = 226 + x. Which is greater: d or -2/11?
d
Let r(v) = -12*v + 159. Let p be r(13). Suppose 90 = -p*j - 126. Which is smaller: -73 or j?
-73
Let a be 2/(-6)*(-19 - -5 - 7)*-1. Do a and -20 have the same value?
False
Let z be (-4 - (2 - (8 - 4))) + 5. Suppose -21*a + 23*a = -4*x + 24, 5*x - z*a - 8 = 0. Suppose -i + 1 + 13 = 0. Which is bigger: x or i?
i
Let k = 1.829 - 2.829. Is 531 at least k?
True
Let v = -180 - -246. Let j be (-9 + 10)/(-1*1/v). Are j and -66 non-equal?
False
Let p(q) = 724*q + 4857. Let x be p(-6). Is -9 <= x?
True
Let d(h) = 40*h + 200. Let i = 251 + -256. Let m be d(i). Which is smaller: 26 or m?
m
Suppose -16*i + 2555 + 1797 = 0. Suppose -x - i = -308. Which is greater: x or 35?
x
Let w be (-535)/(-5)*4 + -3. Let m = w + -5095/12. Suppose 50*s = 22*s. Which is bigger: m or s?
m
Let y = -1157.1 + 861. Let l = y - -296. Let j = 1418/7 - 202. Is l at most j?
True
Let v(y) = y**3 + 52*y**2 - 30*y - 68. Let m be v(-51). Is m less than or equal to 4062?
False
Let m(h) = -h**3 - 10*h**2 - 21*h + 1. Let d be m(-4). Suppose 7*g = 4*g + 96. Let f = d + g. Are f and 21 nonequal?
False
Let z be -7*(-4 + 3) - 1. Suppose 0*h + 3*h = -z. Let v be h*2/(-16)*0. Is v greater than -2/9?
True
Suppose -102 = 6*j - 9*j. Suppose -w + j = -5*o, 0 = 4*o + 12 + 8. Suppose 5 = 3*n + x, 0 = 10*x - w*x + 1. Is n smaller than -18?
False
Suppose 6810 = 31*g - 134. Is g at most as big as 219?
False
Let g = -160 + 178. Suppose -168 = -3*h - g*h. Which is bigger: 63/8 or h?
h
Suppose -7*f + 2*f = -25. Let m be 64/40*f/2. Suppose 0 = -n + i + 3, -3*i + m = i. Is n less than or equal to 4?
True
Let z = 312357 + -312360. Let u = 0.71 - 19.21. Let i = u +