s smaller: t or j?
j
Suppose -13 + 59 = -2*z. Suppose y = -4*l + 9 + 2, 3*l = -y + 8. Let g be -20 + y + -3 + 2. Which is smaller: z or g?
z
Let a be (-2)/(-8) + (-115)/(-20). Suppose -2*n + 4*y - 140 = 0, -a*n - 324 = -n + 3*y. Which is greater: 0 or n?
0
Suppose -2*l + 4*h + 4 = 0, -3*h - 2*h = 2*l - 4. Suppose 0 = -l*k + 6*k - 16. Is k at most 6?
True
Suppose 0 = 2*s + 2*l - 40, 4 + 51 = 3*s + 4*l. Suppose 0 = -z + 2*i + 8, i + s = -4*i. Let k be 2 - ((-35)/z)/5. Is -2/7 greater than k?
True
Suppose 4*c = c - 6, -3*v - 2*c = -569. Suppose 7*d = v + 26. Let a = d - 32. Is a <= -3?
False
Let x be 228/(-5) - (135/25 + -5). Let h = x - -79. Is 35 bigger than h?
True
Suppose 0 = -w + 7*w - 6. Let p be w/(-3) - 1428/36. Which is bigger: -39 or p?
-39
Let a be (-10)/4*8/(-10). Let n be (-50)/18 - a/9. Let m = -4/73 + -353/219. Is n at least m?
False
Let f be -1 + -1 + 10/7. Let o(l) = l**3 - 25*l**2 - l + 25. Let u be o(25). Which is bigger: u or f?
u
Let v be 170/(-20) - (-3)/6. Let k be -3 + 3/(12/v). Which is bigger: -2/3 or k?
-2/3
Suppose 0 = i - 3, -h = -2*i + 3*i + 37. Which is bigger: -39 or h?
-39
Let g = 643/3 - 214. Which is smaller: -1.32 or g?
-1.32
Let h = -37 + 57. Let j be 35/5 - 8/2. Suppose j*u - 60 = 3. Which is greater: u or h?
u
Let j = 4209/2 - 399891/190. Which is smaller: 0 or j?
j
Suppose -i + p - 26 = -4*p, -8 = -2*p. Let q be 2/i*((-62)/(-13) - 5). Which is bigger: q or 0.1?
0.1
Let r(z) = z**2 - 16. Let h be r(8). Let d be (h/28 + -2)/(-2). Is d < 1?
True
Suppose 1 = 6*o + 37. Which is smaller: o or -7?
-7
Let h be (-2)/(-5) - (-2)/(-5). Let g(t) = -5*t**2 - 3*t - 2. Let x be g(-1). Which is greater: x or h?
h
Let f(v) = v**3 + 7*v**2 - 5*v + 25. Let o be f(-8). Is 0.96 at least o?
False
Suppose 0*o - 3*o + 5*d - 58 = 0, -5*o = -2*d + 65. Let h be (12/(-5))/((-6)/20). Let j = h + o. Do -6 and j have the same value?
False
Let c = -22 - -24. Suppose 4 + 8 = -c*y. Which is bigger: y or -16/3?
-16/3
Suppose -19*p = -147 + 52. Suppose 0 = u - 0*s - p*s + 24, 2*u = s - 3. Let h = 17.9 - -6.1. Which is smaller: h or u?
u
Suppose -23*g - 14*g = 0. Let b be -1 + -1 + 256/127. Are b and g equal?
False
Let m = -50.06 + 51. Let c = 3.94 - m. Which is bigger: -1 or c?
c
Let u(x) = 2*x**2 + 14*x - 17. Let d be u(-8). Suppose 0 = 2*f - 5*f + 2*z, -z - 7 = 2*f. Is d equal to f?
False
Let m = -504 + 508. Is 2/11 less than or equal to m?
True
Let y be (48/40)/(12/80). Let g = -154/15 - -1141/60. Is y at least g?
False
Suppose -2 = 3*g - 2*d, 5*d = 5*g + 9 + 1. Suppose 3*s - 147 = -2*s + 4*k, 39 = s - 4*k. Let m be (-10)/45 - (-114)/s. Is g at least m?
False
Let b be (-4)/(-7) - 90/(-63). Which is smaller: 31 or b?
b
Let v(u) = -u**2 + 50*u - 184. Let g be v(46). Let o = -21428/15 - -1428. Does g = o?
False
Let d(w) = -12*w + 71. Let t be d(6). Which is smaller: t or 5/41?
t
Let w(u) be the second derivative of u**5/20 + 7*u**4/6 + 2*u**3 - 4*u**2 + 11*u. Let m be w(-13). Is m at most 4?
False
Let a = -1418 + 1417. Let j = 91 - 54. Is j < a?
False
Let a = -307 + 309. Is -0.021 greater than a?
False
Let k = 452 - 430. Which is smaller: 1 or k?
1
Suppose -4538*n + 12 = -4541*n. Which is smaller: n or -2/27?
n
Let g be 29212/(-469) - (-4)/(-14). Which is smaller: g or -64?
-64
Let g be -12*(-3)/(-18)*-4. Let c be 30/g + 12/48. Let p = -10 - -13. Which is bigger: p or c?
c
Let n = -482 + 481.8. Let a be (-2)/7*(-1)/5. Do a and n have the same value?
False
Let d = -34 + 19. Let b be ((-7)/126)/(10/(-45)). Which is greater: d or b?
b
Let d = -721/12 - -60. Suppose -24*r + 150 = 174. Is r <= d?
True
Let g = -2855/4 - -714. Let o be ((-29)/(-5) - 1)*2. Let i = o - 207/20. Is g <= i?
False
Let o(d) = d**3 + 2*d**2 + 2*d + 3. Let i be o(-2). Let u = 1 - i. Suppose -u*h + 4*h = 0. Is h < -2?
False
Let u be 1/(-9) - (-4)/11052*145. Which is smaller: 1 or u?
u
Suppose -2*c - 5*p - 15 = 0, -7*c + 2*c - 5*p - 15 = 0. Suppose g - 1 + c = 0. Suppose 39 = -8*s + 31. Which is smaller: g or s?
s
Let c = 27.5 - 8.9. Let k = 19 - c. Is 1 less than k?
False
Suppose 22*z + 4 + 18 = 0. Is z smaller than 1/65?
True
Let a = -780.4 - -698. Let m = a + 82. Is -1 less than or equal to m?
True
Suppose -5*q = 4*i - 262 - 173, 5*q = -2*i + 215. Suppose -i = y + y - o, y + 2*o + 55 = 0. Is y >= -56?
True
Let m(j) = -j**2 - 24*j - 28. Let i be m(-23). Suppose -3*k + 3 = -a + 1, 0 = 2*a - 3*k + 10. Which is smaller: a or i?
a
Let h be -6*(4/(-18))/((-2)/(-1)). Let y be 3 + -5 - 1/((-2)/5). Is h less than or equal to y?
False
Let w = 26 + 5. Suppose 0 = -4*y - w + 11. Let s be -1 - (-4 - (-136)/40). Which is smaller: y or s?
y
Let m be 1055205/5012 + 4/(-14). Which is smaller: 209 or m?
209
Suppose -30 - 18 = -4*w. Suppose -4 = -2*x - q + 4, -q + w = 4*x. Is -9 greater than x?
False
Let z = -0.85 - -0.6. Let i = z - 0.05. Let y = 44 - 44. Is i <= y?
True
Let a(f) = -32*f**3 - 7*f**2 + 3*f - 6. Let n be a(5). Let o = -6493 - n. Let p = -221063/95 - o. Is 0 at most as big as p?
True
Let f = -0.062 - 30.938. Let t = f - -30.9. Which is smaller: 1/20 or t?
t
Let v = -1.9 + 1.87. Are v and -10 nonequal?
True
Let k be -1*1*265*(-23)/115. Is -0.3 less than k?
True
Let m be 1448/6678 - 56/252. Which is smaller: 0 or m?
m
Let i(y) = 10*y - 1. Let p be i(1). Let f(g) be the second derivative of g**5/20 - 5*g**4/6 + 4*g**3/3 + 7*g**2/2 - g. Let h be f(p). Which is smaller: -1 or h?
h
Let t = 0.050103 + -128.065103. Let u = t + 128. Which is smaller: u or 0.1?
u
Suppose 9*c - 36 = 18*c. Which is smaller: -25 or c?
-25
Let n be -3*1 - (-7 - -4). Suppose n*u = u. Which is smaller: u or -3?
-3
Suppose -2*n + 2*o = 7*o + 35, 2*n + 5 = o. Let j be 15/20*(5 + -1). Let x be n + j + 0 + 2. Which is greater: x or -2/15?
x
Let a = -0.056 + -0.544. Is -35 <= a?
True
Let q = 0.1 - 0.1. Let a = 0.2 + -0.1. Let d = a - q. Which is bigger: d or 14?
14
Suppose 0 = -2*i + 8 + 4. Let g be i/(-21) + (-216)/28. Suppose 2*w + 7 = -7. Which is bigger: w or g?
w
Let x = -0.514 - -1.214. Is -8/7 bigger than x?
False
Let n = 16 - 22. Let k = n - -13. Let q be 1*1/(0 - k). Is 0 smaller than q?
False
Let t = 17 - 18. Let f(z) = -12*z**3 + z**2 + z. Let m be f(t). Which is smaller: 13 or m?
m
Let x = 1084 - 1084. Is -225 >= x?
False
Suppose 2 = -7*t + 8*t. Suppose t*n - 3 - 5 = 0. Suppose u - 20 = -n*u. Is u less than or equal to 5/2?
False
Suppose 3*w = -5*i + 177, w + 4*i + 37 = 96. Let f = 60 - w. Is -2/23 < f?
True
Let c = 0.49 + -0.29. Let m = 9338/3 - 3151. Let p = 542/15 + m. Is p > c?
False
Let g be (36/(-32))/(1205/(-420) + 3). Is -10 equal to g?
False
Let w be 2 - (-1 + 46/(-14)). Let i = -1660 - -1665. Which is smaller: w or i?
i
Suppose 12 = -b - 2*d + 5*d, -5*b = -4*d + 49. Let h = 5/131 + 237/655. Do h and b have different values?
True
Let l be (-391)/8 + (-2)/16. Is l greater than -48?
False
Let t be (-2)/(-141)*(-231)/(-3157). Which is smaller: t or -1?
-1
Let a be (12 - -1*2)/2. Suppose -542*q + 546*q = 40. Is q smaller than a?
False
Let f = -20.4 + 106.4. Let c = f + -54. Which is smaller: 0 or c?
0
Let v = 11.7 - 11. Let t = -0.19 - 4.81. Let n = t + 4.9. Which is bigger: n or v?
v
Let g = -40217/11 - -3655. Let q = -2 - 7. Let c be (-1)/3 - 3/q. Is c less than or equal to g?
False
Let n = -257 - -3339/13. Does n = -6?
False
Suppose 437*f = 431*f + 30. Is f less than or equal to 7?
True
Let k(d) = -d**2 - 2*d + 3. Let r be k(0). Suppose 3*o - r*u - 12 = 0, 2*o + 4*u + 23 = -o. Let w = o - 1. Which is bigger: w or 2?
2
Let x = 797 - 860. Which is greater: -0.08 or x?
-0.08
Let a = -158.3 - -160. Which is smaller: -0.15 or a?
-0.15
Let p = -1.682 - -2.682. Which is smaller: -102/13 or p?
-102/13
Suppose 4*a - 22 = 10. Let h be 3*2/15 + (-732)/(-120). Is a greater than h?
True
Let a = 513.12 + -513. Do a and -16 have the same value?
False
Suppose 2*m + 2 - 4 = 0. Let r = -25 + 5. Let h = 20.1 + r. Is h > m?
False
Let y = 16835/530479 - 1/4177. Which is smaller: y or -1?
-1
Let p = 27 - 22. Suppose 2*i = 3*h - 0*h + 16, p = i. Let j be -3 + (-204)/(-44) + h. Is j smaller than -1?
False
Let q = -0.407 - 24.593. Are 0 and q equal?
False
Suppose -8*q = -4*q - 20. Let j be 102/4 + (-39)/(-26). Suppose 0 = -q*t - 15, 2*d + j = -t. Which is greater: d or -11?
-11
Let k = -621 + 3101/5. Is -2 greater 