t m be f(-14). Suppose -m*i + 27*i - 16 = 0. Let b(y) = -2*y + 32. Let p be b(i). Does -0.32 = p?
False
Let q = 1.96 + -4. Let l = q - -12.44. Which is smaller: 0.1 or l?
0.1
Let u = 1205 + -1205.1. Which is greater: 1353 or u?
1353
Suppose 2390 + 1782 + 2896 = -62*h. Suppose -4*t + 2*m - 446 = 0, -4*t - 419 - 62 = 5*m. Are h and t equal?
True
Let b be (((-14110)/(-3735))/((-8)/18))/(1/38). Is b less than or equal to -325?
False
Let k(f) = f**2 + 66*f + 1213. Let x be k(-21). Which is smaller: x or 1069/4?
1069/4
Let o be -1595*(-16 + 13 + 5). Which is smaller: -3189 or o?
o
Let g = 15910.849 - 15908. Which is bigger: 2/19 or g?
g
Let a = 3575 + -3575.1. Do 304 and a have the same value?
False
Let z = 17 + -3. Let j = 11320 + -11320. Are j and z unequal?
True
Let q = 56 - 27. Let j = -8 - q. Let u = -39 - j. Is -6/7 at most as big as u?
False
Let d = 3600 + -4078. Is d at least -479?
True
Let d = 18 + 89. Let m = d + -109.8. Does m = -0.2?
False
Suppose k - 5*y + 9*y - 13 = 0, -2*y = -4. Let m be 4/(3/(k*(-9)/(-15))). Let n(i) = -i**3 - i**2 - i + 4. Let u be n(0). Is m bigger than u?
False
Suppose k + k = -8, 4*u - 2*k - 820 = 0. Suppose -15*b + 232 = -u. Is 34 equal to b?
False
Let d = 59/4 - 941/44. Which is bigger: d or -6?
-6
Let c be -40 + (3/2)/((-15)/20). Let q be 56 - 7*(-12)/c. Which is bigger: q or 53?
q
Let j = 17.46 - 2.06. Let z = j + -15.3. Is 38 at least as big as z?
True
Suppose 5*i - 3*z - 19 = 5, -4*i + 30 = 3*z. Suppose -u = -i*u - 120. Let v = u - -25. Which is smaller: v or -1/21?
-1/21
Let u(a) = -7*a - 164. Let g = -113 - -90. Let r be u(g). Is r bigger than -6?
True
Let g = -7876 + 6579. Which is bigger: -1298 or g?
g
Let y be 1/(0 + 39/(-1988)). Let p = 51 + y. Suppose -8*q = -4*q + 4. Does q = p?
False
Let x(g) = 5*g - 8. Let b(w) = -11*w + 17. Let m = -28 - -37. Let r(n) = m*x(n) + 4*b(n). Let f be r(3). Is -43 bigger than f?
False
Suppose 8 = -3*c + 20. Suppose -5*l + 43 = 2*z, -l - 5*z = -c - 0. Let r be (-3)/l - 1/(-3). Which is greater: r or -1/45?
r
Let x = -3.066 - 584.034. Let j = x + 586. Which is smaller: 33 or j?
j
Suppose i + 92 = -4*p + 114, 0 = 2*i + 3*p - 19. Suppose -2*v = q + 124, -i*v = -26*q + 25*q - 108. Which is smaller: q or -117?
-117
Let m be (168/18)/((-78)/12). Is m <= -7?
False
Let j be (-10)/(-35) - (-1)/((-14)/32). Let q be (-143)/(-46) - (2 + -2). Let y = 14/23 - q. Which is greater: y or j?
j
Let u be (-1)/((102/714)/((-6)/(-14))). Is 630 < u?
False
Let g = 88088 + -88083. Let d be 9 + -2 - (-2)/(-1). Suppose -25 = 5*f, -t + 2*f - d*f - 11 = 0. Which is smaller: g or t?
t
Let b = 24 - 23.4. Let l = -2/2333 + -4632/39661. Is b >= l?
True
Let v(u) = 2*u**2 + 31*u - 322. Let z be v(-24). Which is greater: 51 or z?
z
Let v be (29/3 + (-8)/(-24))/(-12 + 21). Does v = -4/35?
False
Let t = 257 + -2341/9. Let w = -8507 - -8503. Is t less than w?
False
Let p = 13409 + -13409. Is -1/1134 less than p?
True
Suppose 6*w = 5*i + 3*w - 51, -4*w = -i + 17. Let p be (0 - (-9)/2)*102/i. Is p bigger than 49?
True
Suppose -4*a - 18532 = 4*y, -3*a - 5809 = 2*y + 8090. Do a and 0.1 have the same value?
False
Let c(g) = -82*g + 431. Let n be c(5). Which is smaller: n or 47?
n
Let a = 631 + -283. Let o be ((-2)/(-11 - -3))/(3/a). Is 2 greater than or equal to o?
False
Let w be -7481 - (1 - 1)/(-1). Let m = -231951/31 - w. Which is greater: m or -1?
-1
Let h be (24/(-2))/3*10/8. Let i be 9 - (-1 - (-2 - h)). Suppose 12*z = 169 - i. Is z not equal to 12?
True
Suppose -2 = -j - j. Let p be 1/(-13)*-2 - 69370/(-1170). Let m = -59 + p. Is m less than j?
True
Suppose -8*f = -2*f - 264. Suppose -97*h = -48*h - f*h. Let k = 2/157 - -99/4553. Is k bigger than h?
True
Suppose 6*w = 2*w + 3*s + 44, -w + 11 = 5*s. Let y be ((-110)/4)/w*(-24)/29. Is 3 at most y?
False
Let a = 0.055 + -38.055. Let w = a - -26. Let r = w - -11.83. Are -2 and r nonequal?
True
Let w = -79 - -99. Let y = w - 21. Let k be (((-3)/2)/1 + 1)/(-1). Is k >= y?
True
Let w = 3161 + -6296. Which is bigger: -4/5 or w?
-4/5
Let y be (-28)/15*(554/35 - 16). Let s(r) = 2*r - 17. Let u be s(9). Which is smaller: y or u?
y
Let j = 0.045 + 0.055. Let c = -16.9 + 15. Let r = j - c. Which is greater: -0.5 or r?
r
Suppose i - 3 = -4*u, 0 = -3*u + u + 4*i + 6. Do -1/20 and u have the same value?
False
Let a = -64 - -58. Let u = -60.91 + -1.09. Let z = u - -62.03. Is z at most as big as a?
False
Let a(v) = v**2 - 2*v - 27. Let p be a(-5). Let y be p - ((4 - 3) + 1). Suppose 2*g + 3*g + f = -y, 2*f = g - 1. Which is smaller: -7/19 or g?
g
Let k be (472/12)/(8/12). Let v = 777 + -457. Let b be k*(-3 + v/108) - -2. Is 1 less than or equal to b?
False
Let n(o) = o**3 - o**2. Let t(q) = 4*q**3 - 2*q**2 - 2*q - 5. Let p(r) = n(r) + t(r). Let l be p(-2). Do l and -52 have the same value?
False
Let p = -19.2 + 263.4. Let t = 244 - p. Which is greater: -0.186 or t?
-0.186
Let w = -131 - -132. Let t be (w - 2)*(-354)/12*-2. Is t at least as big as -57?
False
Let r = 18673 - 18653. Which is smaller: -42 or r?
-42
Let k(x) = -x**3 - 13*x**2 - 12*x + 4. Let q be k(-12). Suppose -2*i - 1 = -u, 3*i - q*u = 2 - 6. Which is smaller: i or -3/13?
-3/13
Suppose 4*h - 703 = -5*g, 2*g - 5*h = -g + 407. Let u be 1/(5 - ((-8)/(-12) - (-2189)/506)). Do u and g have the same value?
False
Let i = -291 + 290.52. Let r = 1.18 + i. Which is greater: r or 7?
7
Let k = 27.2 - 26.7. Let q = 187 - 182. Which is bigger: q or k?
q
Let m = 5.8 - 6.8. Let n = 1.5 + -10.2. Is m < n?
False
Let z(y) = 17*y + 8. Let c(u) = 2*u**2 - 14*u + 4. Let h be c(7). Let s be z(h). Suppose -4*b + m + s = 0, -b - 2*m = 3*m - 19. Is 19 less than b?
False
Let t = 4174 + -3567. Which is bigger: -1 or t?
t
Let d be (-2)/3 + (-247)/3. Let n = d - -39. Let m = -34 - n. Which is bigger: m or 8?
m
Let n(r) = r**3 - 15*r**2 + 3. Let o be n(15). Let c(g) = -g**3 + 3*g**2 + g + 2. Let y be c(o). Suppose 135 - 15 = y*h. Is 24 <= h?
True
Let m(k) = k - 3. Let u(v) = -19*v + 11. Let x(z) = 2*m(z) + u(z). Let w be x(-3). Is w less than 54?
False
Let m(p) = 24*p**2 - 326*p - 10. Let d be m(14). Is 918/7 > d?
True
Let r(k) = k**3 - 7*k**2 + 9*k - 12. Let h be r(13). Let q be 2 - 0 - (-2 + 195145/(-175)). Let m = q - h. Which is greater: 0 or m?
m
Suppose -a + 5*a + 1808 = -3*n, -5*n - 1367 = 3*a. Let q = a - -395. Which is greater: -52 or q?
-52
Let y = -131 + 142. Suppose -8*n + p - y = -10*n, 5*n + 5 = 4*p. Is n at least as big as 26/11?
True
Let n = -2.418 - -2.558. Let r = -0.1 + 0. Is n < r?
False
Let o be 8/(80/75)*-148. Which is smaller: o or -3331/3?
-3331/3
Let i be 6/6*-3*2/(-6). Let r be (-7 + 3)*i + 10/3. Let w be (-98)/10 + (-4)/10. Is w at most as big as r?
True
Let w = -6900 - -7023. Which is smaller: w or 109?
109
Suppose 0 = -2*s + 3*v - 1, -201*v - 1 = 3*s - 205*v. Which is bigger: s or 1/131?
s
Suppose -2*n + 15 = -3*y, 2*n + 4*y + 5 + 15 = 0. Suppose -4*b + 20 - 2 = 2*l, n = -b - l + 5. Suppose 2*h - h = b. Which is greater: 6 or h?
6
Let p = -0.08355 - 0.01645. Which is smaller: p or 0.23695?
p
Suppose -3*a + 7*v - 5 = 2*v, -a - 5*v = -5. Which is smaller: a or -10/73?
-10/73
Let p(o) = o**2 - 8*o - 24. Let b be p(14). Suppose 5*u = x - b, -4*x + 7*x = 3*u + 192. Which is greater: -3 or x?
x
Suppose -m + 4*l = 5*l + 264, 3*l = m + 252. Let o be m/12 + (0 - 3/(-4)). Which is greater: -22 or o?
o
Let v be ((-3092)/10)/(-2) + 138/345. Suppose -2*q + b + 67 = 5, -5*q = b - v. Is 31 <= q?
True
Suppose p = 10 - 6. Suppose -1 = -p*r + 27. Let s be (-16)/(-14)*105/18. Which is greater: r or s?
r
Let a = 11.7 + -9. Suppose -11*i = 3*i - 14. Are i and a non-equal?
True
Suppose 5275*l - 36904 = 5247*l. Is 1319 < l?
False
Suppose -3*g - 2 = -g. Let o be -7*((-1)/(-6))/g. Suppose 2*i = -2, -28*i - 3 = -w - 27*i. Which is smaller: o or w?
o
Let r be (0*(-3)/(-6))/((-95)/(-95)). Is 2/2261 bigger than r?
True
Let p = 5.94 + 124.06. Suppose 39*z - 4 = 43*z. Which is smaller: p or z?
z
Let z = 254248/113 + -2250. Let u(x) = -5*x**2 + 12*x - 7. Let d(j) = -2*j**2 + 6*j - 3. Let c(l) = 7*d(l) - 3*u(l). Let i be c(-6). Which is bigger: i or z?
i
Suppose 0 = -36*z + 3410 - 3410. Let v be 28/(-6475)*(-1)/(-4). Which is bigger: v or z?
z
Let z be 2*6*(-7)/84. Which is bigger: -6/55 or z?
-6/55
Let y(b) = -24*b**3 - 394*b**2 - 33*b -