: 1 or j?
j
Suppose -15*n - 606 = -2*i - 17*n, -3*i + 909 = 5*n. Is 304 greater than i?
True
Let y(r) = r + 13. Let m be y(-3). Suppose -2*v - g + 3 = -4*v, 5*v = -g - 25. Let p be m/v*21/210. Which is greater: 1.2 or p?
1.2
Let k = -196.1 - -196. Which is smaller: -21/2 or k?
-21/2
Let n(c) = -6*c**3 - c**2 + c - 1. Let q be n(1). Let u be (-9)/1 - (-6)/3. Is q less than u?
False
Suppose 7*t + 11 = 8*t. Are t and 8 equal?
False
Suppose -w - w + 248 = 2*n, 4*w = -n + 130. Is n greater than 122?
False
Let t be 3/18 + (-6034)/(-12). Let m = t + -17101/34. Let f = 4 + -5. Does m = f?
False
Let k = 3.108 + 0.092. Let j = k + -1.2. Which is smaller: 21/5 or j?
j
Let u = -27 - -14. Let z = 15.4 + u. Which is smaller: -2 or z?
-2
Let z = 21/88 + 1/88. Let m = -65 - -70.6. Let o = m - 6.2. Is z at least as big as o?
True
Let b be -8*1/2*2. Let p = 830/7 - 2462/21. Does b = p?
False
Let j = 0.283 + 11.017. Let g = -10.32 + j. Let l = -0.02 - g. Which is smaller: 8 or l?
l
Suppose -2*o - 2 = r, -4*o + 5*r + 17 = -7*o. Let z be 51*(-2 + (o - (-8)/12)). Is z greater than -16?
False
Suppose -10 - 30 = -5*w + 5*a, -3*w + 19 = -2*a. Suppose -q = -w*q - 44. Are -21 and q equal?
False
Suppose 7 = d - 8. Let t be (-3)/15*d/(-279)*2. Let s be 3/(-9) - (-2)/6. Is s bigger than t?
False
Let x(f) = f**2 + 18*f - 1. Let v be x(0). Let y = -2903/22 - -132. Is y bigger than v?
True
Let i = -197.4 + 197. Which is greater: i or 18?
18
Let l(x) = x**3 - x**2 - 2*x. Let r be l(2). Suppose r*i + 14 = -7*i. Let g be (15 - 13)/(i/(-11)). Are 12 and g unequal?
True
Let g = 37.83 + -38. Let d = 0.03 + g. Let s = d + -0.06. Which is greater: s or -2/5?
s
Let z be (-28)/12 + (-3 - (2 - 4)). Let u be 15/(-4) - (-1)/(-4). Is u less than z?
True
Let l = -3/2324 + 8149/11620. Let r(d) = -2*d - 3. Let m be r(-2). Which is greater: l or m?
m
Let b be 2/11 + (-954)/(-198). Suppose -b*w + 8*w = 24. Is w <= 9?
True
Let k be 372/9 - (-2)/(-7). Let m = k - -139/21. Let f = 49 - m. Which is smaller: f or 0?
0
Let p = -2/957 + -4781/1914. Suppose -i - 3*w - 3 = 0, 4*i - 54 = w - 14. Suppose -j - 2*j = i. Do p and j have the same value?
False
Let f(r) = -r**3 + 5*r**2 + 10*r - 1. Let a be f(7). Let l = a + 30. Which is smaller: -3/5 or l?
-3/5
Let q = -2 - -5. Suppose 5 = 4*y + d, 0 = d - 0 + 3. Is q <= y?
False
Let s = 1.97 + 0.03. Let q = 123/85 - 95/68. Which is bigger: q or s?
s
Let n = 3209 + -3166. Which is bigger: n or -6?
n
Let p = 81 - -39. Let q be p/162*(-6)/(-4). Is q greater than 2?
False
Let d be 0 + 1/3 + 0. Let h(x) = -x - 3. Let l be h(-3). Suppose 5*j - 2*j = l. Is d not equal to j?
True
Suppose -3*t = s + 5, -4*s = 2*t - 6*s - 2. Let p be (t/(-2))/((-8)/(-352)). Which is smaller: 112/5 or p?
p
Suppose 6 = -3*p + 5*p. Suppose v = -t + 7, -5*v + 31 = -0*t + p*t. Suppose -t*x = 2*w, -2*x + w + 4*w = -28. Is 5 < x?
False
Suppose u - 3 = 0, -16*l + 4*u = -15*l - 156. Which is greater: 166 or l?
l
Let u(h) = 3*h**3 + 5*h**2 - 7*h + 5. Let y(z) = -6*z + 3*z + 2*z + 4 + z**3 - 5. Let b(o) = u(o) - 2*y(o). Let v be b(-6). Do v and -0.15 have the same value?
False
Let k(v) = v**3 - 5*v**2 - v + 7. Let n be k(5). Suppose -2*q = -7*q + 25. Let s be (-4 - -1) + 0 + q. Is n at least as big as s?
True
Suppose -1 = -a - 14. Let z be (1/(3*a/(-3)))/(-1). Which is smaller: z or 2/9?
z
Let l be 1436/10 + 22/55. Let h = -70 + l. Which is smaller: 73 or h?
73
Let k be 19/4 + (-6)/8. Let m be 5*4/16*k. Suppose 12 = 3*y + w - 20, -3*y - m*w = -16. Is y smaller than 11?
False
Let j = -38 - 11. Let w = 48.6 + j. Which is greater: w or 3?
3
Suppose -3*j + 8*j - 50 = 0. Let w be 1 + -1 + 54/j. Which is smaller: w or 4?
4
Let x(a) = -2*a**3 - 22*a**2 + 14*a - 15. Let s be x(-12). Which is greater: 104 or s?
s
Suppose 3*u = -2*x - 10, 5*u = -2*x + 8*u + 14. Let l be 162/(-58) - (-8 - -5). Which is smaller: l or x?
l
Let i be 10*((-5)/(-6) + (-2)/6). Suppose -i*y + 5*b + 114 = 4, -3*y + 82 = 5*b. Which is smaller: y or 25?
y
Let h = -303 + 247. Is 2/7 at most as big as h?
False
Let t = -7/1815 + 2407/310365. Is t >= 0?
True
Let p = 0.0135 - -0.0465. Let j = -20.9 - -22. Let y = j + -0.1. Is y less than or equal to p?
False
Suppose -54 = -5*s - 0*r - 4*r, -5*r + 35 = 3*s. Suppose -q = -5*w - 11, -5*q - 4*w - 22 = s. Let o(l) = -l - 5. Let c be o(q). Is -7/5 at most c?
True
Let o = -33/10 + 18/5. Let j = 89/230 - o. Is 0 less than or equal to j?
True
Let p = 193 - 1739/9. Suppose 2*a + l = 33 - 6, -3*l = -2*a + 7. Let i = 11 - a. Is i > p?
True
Suppose 10 + 2 = 3*o - 3*t, o = -4*t - 21. Which is bigger: 1/240 or o?
1/240
Let x be 2997/27 - (-6 - (1 + -2)). Are 114 and x non-equal?
True
Let v(a) = a**2 + 12*a. Let c be v(-12). Suppose -4*q = 4*l + 8 - c, 5*l = 2*q - 31. Suppose 2*j - 1 = -q. Which is bigger: j or -1/10?
-1/10
Let r = 0.9 - -3.1. Let d = r - 4.3. Which is smaller: 0 or d?
d
Let r be 2 + 2*20/(-8). Let y be (-2 - r) + (-77)/66. Is 1 at least y?
True
Let t = 332 + -153. Let k = -113 + t. Which is smaller: k or 1?
1
Let j = -0.05 - 2.95. Let b = -8612/7 - -1230. Which is greater: b or j?
b
Let n be (-176)/(-22)*2/232. Suppose 0*m = -3*m - 3. Which is bigger: n or m?
n
Let j be -8 - (-3 + -2 + 5). Let t(n) = 2*n**2 + 18*n + 13. Let f be t(j). Let c be -1 - (0 + 13/6). Which is bigger: f or c?
f
Suppose 10 = 3*c + 4*d, 11 = -0*c + 3*c + 5*d. Let s be 3 - (-1*(c - -1) - -5). Which is bigger: s or -1/15?
s
Let h be (1 + 51/(-55))/((-13243)/(-1615)). Which is greater: h or 1?
1
Let o = -180 + 106. Let r = -74 - o. Which is greater: r or -0.31?
r
Let a = -9.25 - -8. Let n = a + -0.9. Let c = n - -0.15. Are c and 0 equal?
False
Suppose y = 6 + 6. Let s be (2/(-8))/(87/y). Which is smaller: s or -1?
-1
Suppose -38*f + 35*f = 318. Which is greater: f or 0?
0
Let o = -2182 + 1647. Which is smaller: o or -536?
-536
Suppose -71*l + 76*l + 460 = 0. Let x = -168 - l. Is x > -76?
False
Let h(q) = 3*q**2 + 3*q - 4*q**2 + 2*q**2 + 3. Let i be h(-2). Let r be 1*((-3)/i - -2). Which is smaller: r or -3/7?
r
Let y(w) = w**3 + 12*w**2 - 5*w + 16. Let r be y(-13). Let x = r + 93. Which is smaller: x or 1?
1
Let t = 386 - 368. Is -8 smaller than t?
True
Let p(g) = -g**3 + 11*g**2 + 10. Let a be p(11). Let t(s) = 9*s + 17. Let k(j) = -5*j - 9. Let r(d) = 7*k(d) + 4*t(d). Let f be r(6). Is a > f?
False
Suppose 61*j = 59*j - 60. Let i be (12/j)/((-260)/(-25)). Are 1 and i equal?
False
Suppose -m = 3*p - 5, 2*m + 0*m - 4*p - 10 = 0. Suppose -f + 3*k = -5*f - 5, -15 = m*k. Is f bigger than 1?
False
Let h = 323 + -337. Is 6/5 at least h?
True
Suppose -677*b - 24 = -681*b. Let r be (2/(-6))/((-2)/18). Let g = r - b. Which is smaller: -2 or g?
g
Let y be (-8056)/(-168) - 6/9. Let i = 27487/581 - y. Is 2 smaller than i?
False
Let l = -6 - -1. Suppose -2*p - 102 = -94. Which is greater: l or p?
p
Let g = -52 - -33.6. Let z = g + 23. Let b = z + 0.4. Is b at most 0.1?
False
Let g be ((-2)/(-2))/(1/217). Let w be g/21 - 4/(-6). Suppose 5*z = w - 6. Is z at most -1/9?
False
Suppose n + 62 = -2*j - 0*j, n - 54 = 2*j. Let y = j - -28. Is y at most as big as 2/5?
True
Suppose -5*z - 8216 = 4*y, 4*z + 2*y + 6581 = 7*y. Is z greater than -1644?
False
Let p be 45/39 + -1 - (-302124)/(-1451736). Let t be (3/(-4))/(141/(-14)). Let j = p + t. Is 0 < j?
True
Let b = -862 - -897. Which is smaller: b or 39?
b
Let b = 5039 - 25297/5. Which is smaller: 1 or b?
b
Let b = 0.35 + -0.05. Let i = -6 + 6.28. Let t = i + -0.38. Is t at most b?
True
Let b = -32 - -31. Let n be ((-1)/(-15))/(b/2). Which is smaller: 0 or n?
n
Let p be (14/(-3) + 0)*1. Suppose -103*t + 118*t + 90 = 0. Which is bigger: p or t?
p
Let o(v) = 2*v**3 + 10*v**2 - 3*v - 16. Let y be o(-5). Which is greater: y or -5?
y
Suppose -12*r + 6 = -9*r. Let f be 15*(3/(-18)*r + -3). Which is bigger: f or -49?
-49
Let y(f) = -f**3 + 5*f**2 + 6*f + 2. Let x be y(6). Suppose -3*c - 3*l - 21 = c, -x*c - l - 13 = 0. Let v be 60/c*2/8. Is -1 < v?
False
Let l(g) = -g**3 - 6*g**2 + 32*g - 11. Let a be l(3). Suppose 5*q = 4*x + 1, -3*x + 50 - 12 = 4*q. Let o be 14/(-6)*x/(-4). Which is bigger: o or a?
a
Let z = -2.2 - -1.9. Suppose 0 = 5*i - 3*u - 57 + 250, -2*i + 4*u - 80 = 0. Let l = -191/5 - i. Which is bigger: l or z?
l
Let t = -51 - -41. Let b be 6/t + 10/(-25). Is b at most as big as 