or h?
0
Suppose 2*j + 14 = 5*t - 2*j, -4 = -3*t - 2*j. Suppose -t*x + 4*q + 13 + 29 = 0, 66 = 5*x + 3*q. Which is bigger: x or 16?
16
Let r be (4*(-52)/32)/((-1)/(-2)). Let a(b) = -b**3 - 4*b**2 + 3*b - 1. Let j be a(-4). Is j not equal to r?
False
Let b = 519 - 750. Is b at most -231?
True
Suppose 1793 = 21*m + 1961. Is -21 smaller than m?
True
Let f be 19 + 3211/(-266) - 1/(-14). Which is smaller: -1/19 or f?
-1/19
Suppose -11 = 7*z - 53. Let a(b) = b**2 + 5*b - 10. Let t(y) = -y**3 - 5*y**2 + 8*y + 5. Let p be t(-6). Let q be a(p). Which is smaller: q or z?
q
Let r = -133/2 - -937/14. Which is smaller: 0.2 or r?
0.2
Suppose -t - 24 = 4. Let g = t - -31. Let y be (-1)/(-3)*g/1. Is 6 >= y?
True
Let d = -11 - -7. Let m(h) = -4*h - 8. Let s be m(d). Let t be (-2 + 5)*(-1)/s. Is 1 > t?
True
Let c be ((-148)/40 - -4)/(6/56). Which is smaller: 1 or c?
1
Let z = -104 + 105. Which is smaller: -1 or z?
-1
Let o = -1147620/167 + 6872. Which is smaller: 1 or o?
o
Suppose -5*a + 0*l = -l - 4, 3*l = 2*a + 1. Let s = -4944 + 1448594/293. Which is smaller: a or s?
s
Let j = -171.8 + 171.7. Is j at most as big as -0.036?
True
Suppose 0 = 3*r - 2*r - 8. Suppose -2*s + 4*x - x - 7 = 0, r = -3*s + 2*x. Which is smaller: s or 9?
s
Let l be 3/7 + (-1152)/42. Let t = -321 - -320.9. Which is smaller: t or l?
l
Let y(n) = 146*n**2 - 1. Let a be y(-1). Suppose -52 = q + 4*h, -3*h + a = -4*q + 13. Let z be 10/q + (-15)/(-30). Is -0.1 <= z?
True
Let z be 30/45*(0 - (-21)/2). Suppose z*w - 12*w = 165. Do -33 and w have the same value?
True
Let r(i) = 22*i + 64. Let q be r(-3). Is -14 smaller than q?
True
Let b = 1.6 - -0.6. Let p = -3.3 + b. Let y = p + 1.1. Is y bigger than 3?
False
Let u(v) = v**3 - v + 1. Let s be u(1). Let k be (0/s)/(-1)*(-1)/(-1). Let l = 3/20 - 2/5. Which is smaller: k or l?
l
Suppose 11 = x + g, 3*g = -2*x - 2*g + 34. Let n be ((-3)/2)/((-3 - -213)/x). Which is smaller: -1 or n?
-1
Suppose 5*o + 15 = -l, 7*l - 2*o = 2*l + 6. Suppose -92 + 128 = 6*g. Which is smaller: g or l?
l
Let l = -0.782 - -0.566. Do l and -2/5 have the same value?
False
Suppose 0*c + 70 = 5*d + 5*c, 84 = 5*d - 2*c. Suppose -d - 5 = -3*o. Suppose -r + 0*r - a - o = 0, 3*r + 2*a = -16. Is r greater than -5/8?
False
Let g(i) be the third derivative of -i**6/120 - i**5/15 - i**4/8 - i**3/6 - 10*i**2. Let t be g(-3). Let f be (-2 - 0) + 15/8. Which is smaller: f or t?
t
Let j = -2479 - -11642/5. Is j greater than -152?
True
Suppose -3*d = -6, 3*u - 2*d + 2 = 1. Let k be 2 + 908/100 + -11. Do u and k have the same value?
False
Let y(n) = -85*n**2 + 2*n + 3. Let j be y(-1). Let l be (-15)/(-25) + j/(-10). Which is bigger: l or 15/2?
l
Suppose 6*q - q = 3*s + 3, -5*q + 5 = -5*s. Suppose 5*a + 131 = 2*x, q = -4*a + 5*x - 92 - 6. Which is greater: a or -28?
a
Let z = 403 - 383. Are 29 and z unequal?
True
Let p(d) = -d**3 - 6*d**2 + 20*d + 17. Let a be p(-8). Let q be 2 + -21 - (0 + -3). Does a = q?
False
Let x = -46 - -49. Is x at most as big as -0.017?
False
Suppose 7*n - n - 72 = 0. Suppose x = -g + 8, 3*g - n = x + 8*g. Let j = -10 + 11. Which is greater: j or x?
x
Suppose -56 = -3*p - 8. Let s = p + -12. Let c be 1 + (-2)/1*-2. Which is greater: s or c?
c
Suppose 0 = -5*g + 2*s + 68, g - 3*s - 10 = s. Let d be 4 - (0 + (1 - 0)). Suppose -d*u = -j + g, 5*j - 15 = u + 3*u. Which is greater: j or 0.5?
0.5
Suppose 5*f = 2*f - 30. Let s(r) = -r - 6. Let z be s(f). Suppose 3*q - 10 = -1. Does z = q?
False
Let s be 2 + -5 + -5 - 592. Is -601 greater than or equal to s?
False
Let l = 418 + -386. Let o be 66/(-10)*(-6 - -1). Is o < l?
False
Let l(n) = -3*n + 129. Let k be l(43). Does k = 2/633?
False
Suppose 3*y - 2*g + 25 - 6 = 0, y + 2*g + 9 = 0. Is 7 != y?
True
Let o(b) = b**2 - 29*b - 21. Let i be o(29). Let j be i/(-10) - (-2 + -4)/(-12). Which is smaller: j or 3?
j
Let u(r) = 5*r - 14. Let q = -27 + 33. Let h be u(q). Is 16 at most h?
True
Let d be (-2)/8*2 + 204/(-216). Which is bigger: -1 or d?
-1
Let a = 17.4 + 1.6. Let r = a - 18. Let x = 0.4 - 0.1. Which is smaller: x or r?
x
Suppose 2*h - 9 + 33 = 0. Let j be (-2)/(-4) - h/(-24). Do -1/32 and j have the same value?
False
Let y(g) = g**3 + g**2 - g + 10. Let t be y(0). Let o be 32/(-5) - (0 + (-2)/5). Let d = o + t. Which is smaller: d or 5?
d
Suppose -3*b + 111 = 42. Which is bigger: 24 or b?
24
Suppose -2*a - 6 = -5*k - 0*a, -a - 3 = 4*k. Let v = k + 6. Let d be ((-8)/v)/(8/12). Which is greater: 0 or d?
0
Let p(j) = 4*j**3 - 5*j + 2. Let u be p(3). Suppose 0 = -3*f - 2*f - u. Is -2/5 smaller than f?
False
Suppose -4*o = o + 30. Let c be o/(-27) - (-274)/(-18). Is -15 less than or equal to c?
True
Let f(t) = 3*t**3 - t**2 + 1. Let u be f(-2). Let b = 29 + u. Is b less than -1?
False
Suppose 4*o - 5*q + 32 = 0, -5*o - 2*q + 4*q - 23 = 0. Let n(k) = -k + 3. Let g be n(6). Is g at most as big as o?
True
Let d = 3425/44 + 1373/22. Which is smaller: 141 or d?
d
Suppose -n - n - 8 = 0. Let i = 5718 + -5717.89. Which is greater: n or i?
i
Suppose j + h = -h + 2, -3*h = 3. Suppose -2*s = -j*g + 5 + 11, 4*g = -4*s - 20. Let i be (s*1)/(28/(-42)). Is i < 7?
False
Suppose -144*v + 140*v + 268 = 0. Is -6 at most as big as v?
True
Let y = -248/3 + 83. Let g = 1402/799 + 6/47. Let c = -371/170 + g. Is y less than or equal to c?
False
Let h be 56/308 - 1685/11. Which is smaller: h or -152?
h
Suppose -5*s + 4*q = -222, 0*s = s + 3*q - 33. Let u = s + -27. Let f be (u/(-7) + 1)*1. Is f bigger than 0?
False
Let c = 202/146477 + 13227887329/8056235. Let z = -1642 + c. Which is smaller: z or 0?
z
Let v(h) = -5*h + 24. Let a be v(6). Which is bigger: a or -13?
a
Suppose -3*o + 4*j = -340, -4*o - 223 = -6*o - j. Let p = o + -1783/16. Which is bigger: 1 or p?
1
Suppose -c + 3*c = 5*v - 14, v - 2*c = 6. Suppose -7*p = -v*p - 10. Suppose -2*u = -3*w - 19, 2*w + 0 = -2*u - 6. Is u at most as big as p?
True
Suppose -5*x - b + 91 + 1247 = 0, 2*x - 543 = -3*b. Which is smaller: 265 or x?
265
Suppose -12*t = -17*t + 20, -4*t = 2*k - 12. Is 540 at most k?
False
Let l be 2 - (-15)/(75/(-490)). Which is bigger: l or -95?
-95
Let x = -87.3 + 52. Let u = x + 35. Which is bigger: u or 3?
3
Let r(a) = 3*a - 6. Suppose 0 = -5*y - 0 + 10. Let d be r(y). Are d and -2/21 equal?
False
Let v be (-2 + 1)*(13 + -2). Let i = 16 + v. Suppose i*x + d + 1 = 0, -2*x - 4*d - d = -18. Which is bigger: x or -1/2?
-1/2
Let u(i) = i**2 - 6*i. Let y be u(6). Suppose y = 3*z + o + 16, z - 3*o - 8 = -0*o. Suppose 2*a - 3 = 4*a - 3*h, -3*h + 12 = -5*a. Which is smaller: a or z?
z
Let f be (-30 + 23)/(0 - 1). Suppose -5*k + 5*h + 8 + 7 = 0, 0 = 3*k - 4*h - f. Is 2 at most k?
True
Let o = -3585793 - -17696429/5. Let k = o - -46350. Let f = -156 - k. Which is smaller: 2 or f?
f
Let x = -2 + 9. Suppose -x = -c + 5. Let q = c - 12. Does q = -2?
False
Let t(g) = -24*g**2 - 33*g + 3. Let s be t(-2). Suppose -3*c = -40 + 118. Is c less than or equal to s?
False
Suppose -10 = -0*y + 2*y + 5*u, -44 = 4*y - 2*u. Is y > -6?
False
Let s be -1 - (-4 + 6 - 118/50). Which is smaller: s or -1?
-1
Let p(u) = u**2 - 6*u - 3. Let q be p(-4). Suppose 5*b - 15 = 0, -h - 2*h + 5*b = -93. Which is smaller: h or q?
h
Let j = -0.055 - -61.055. Let x = j + -48. Is -2/3 not equal to x?
True
Let j = 2537/3030 + -2/505. Suppose -3*m + 0 = -30. Suppose -6*u = -m - 2. Which is smaller: u or j?
j
Let g = -23 - -24. Suppose 0*y - 4*y = 3*w - 1, 0 = -y + g. Which is bigger: -0.04 or w?
-0.04
Let t(r) = r**3 + 12*r**2 + 21*r + 10. Let h be t(-10). Which is smaller: 3/223 or h?
h
Let z(p) = -8*p - 21. Let q be z(-3). Suppose -4*j - 21 = -o + q, -o = -3*j - 20. Is 13 bigger than o?
True
Let m be -1 + 9/(-1) + 0. Suppose -192 = -7*j + j. Let d = 23 - j. Which is greater: d or m?
d
Suppose 5*r - 34 + 14 = 5*z, -2*z = 3*r - 7. Let f(q) = q**2 - 13*q - 28. Let m be f(15). Let w be (-20)/(-18) - m/r. Which is smaller: w or 0?
0
Suppose 4*z - 4*j - 56 = 0, 4*z - 2*j = 48 - 2. Suppose h + h = 432. Let u be (4/(-6))/((-16)/h). Is u at most as big as z?
True
Let f be 2/(1 - (-63)/(-56)). Are -220/13 and f unequal?
True
Let k = 6.6 + -112.6. Let i = -0.20719 + 0.10719. Is k at most i?
True
Let s(y) = -3*y**3 - 2*y + 4. Let o(h) = 16*h**3 + h**2 + 11*h - 21. Let c(q) = 2*o(q) + 11*s(q). Let j be c(5). Is -72 < j?
False
Let b 