. Suppose 0 = -2*a - 82 + 98. Which is smaller: j or a?
j
Let p be ((-12)/9)/((-14)/(-9)). Let w = 27 - 22. Let c be w/(-15) + (-20)/12. Is p < c?
False
Let a = -119 + 119. Let s(p) = 2*p**2 - 2*p + 10. Let j be s(a). Which is bigger: j or 15?
15
Let i be (-8)/(-32) + 22/8. Let r be i + (-4)/((-12)/9). Which is bigger: 8 or r?
8
Suppose 0 = v - 3*b - 4, -5*v = -3*b - 0*b - 8. Let q be 372/(-285) + v + 5/25. Is q equal to 0?
False
Let h(s) = -3*s**2 + 88*s + 67. Let w be h(30). Let p(u) = -6*u**2. Let g be p(-2). Let a = g + w. Is -17 at least as big as a?
True
Let k = -1267/30 - 244/15. Let y = 57 + k. Which is bigger: 3/10 or y?
3/10
Let b(n) = -2*n**3 - 9*n**2 + n + 2. Let f be 15/(-4) - (-4)/(-16). Let c be b(f). Let s be 2 + (26/c - 1). Which is smaller: s or 1?
s
Let w be 1/1 - 2*1. Let x be 6/57 + (-731)/3876. Is w greater than or equal to x?
False
Let w(t) = 6*t**3 - t**2 - t - 1. Let g = 22 + -23. Let j be w(g). Let s(b) = b**3 + 6*b**2 - 8*b - 7. Let u be s(j). Which is bigger: u or 3?
3
Let d(a) = a**3 + 4*a**2 - a - 2. Let k(h) = h**3 + 4*h**2 - 1. Let w(n) = -6*d(n) + 5*k(n). Let r be w(-5). Suppose -r*c + 6*c = 0. Is c less than 0?
False
Let r = 1/20 + -89/180. Is 1 smaller than r?
False
Let d = 41 + -19. Suppose 0 = -4*f + 2*f + d. Let b = f - 10. Is -1/13 less than b?
True
Let t = 9 + -62. Is t equal to -54?
False
Let h be -2 + -4 + -19 + 0. Let l = h + 25. Suppose -5*c - 10 - 10 = l. Is 0 smaller than c?
False
Let y = -1418 + 1399.62. Let i = 0.38 + y. Let u = i - -17. Is 0.01 greater than or equal to u?
True
Let j be (1 - 3)/((-6)/(-15)). Let c be (3*10/(-15))/j. Which is bigger: -2 or c?
c
Let k = -0.38 - -3.08. Let h = 2.8 - k. Are h and -0.4 nonequal?
True
Let w = 896 + -904. Is -62/9 at most as big as w?
False
Let l(q) = 2*q + 29. Let a be l(-15). Does 1/131 = a?
False
Let u = 948 - 952. Is u smaller than -24/7?
True
Let x be ((13 - 103) + 0)/2. Is x greater than -4?
False
Let r = 24 + -32. Let b be (r/(-16))/(3/114). Do b and 19 have different values?
False
Let o = -1740 + 6899/4. Let c = -781/52 - o. Suppose -3*d - 2 = -5. Which is greater: c or d?
d
Let q be 2*((-2)/(-8) + 21/12). Suppose -q*n - 4 = 3*d, 5*d - 3*n = 2*d - 39. Is -8 smaller than d?
False
Suppose 0 = -2*s + 2*g + 492, 2*g + 235 + 9 = s. Are s and 248 unequal?
False
Let d = -11.7 + 12. Let h be 0/(-2)*1/(-2). Let g be (h - (1 - 0))*1. Is g at least d?
False
Let h(x) = x**2 + 11*x + 15. Let i be h(-10). Let a(m) = -3*m + m**3 - 7*m + m + m - i - 7*m**2. Let f be a(8). Which is bigger: -3 or f?
-3
Let s be 1/2*2 + -1. Let w(z) = 4*z - 12. Let o be w(-12). Let k be -2 + 1/((-25)/o). Is k greater than s?
True
Let r = -20 + 25. Suppose -v - 3*v - r*n = -37, 4*v = -n + 49. Is v smaller than 2?
False
Let z = -1/2706 - -44499/902. Let o = 11843/240 - z. Which is smaller: o or 1?
o
Suppose 3*u - 109 = 353. Let i be (-634)/22 + (-28)/u. Let p = i - -28. Which is bigger: -5 or p?
p
Let i = -2.26 - -0.26. Let z = 0.33 - -14.67. Are z and i equal?
False
Let i be (-387)/11 - (-4)/22. Are -35 and i non-equal?
False
Let x = -143.1 + 169. Let s = -26 + x. Are s and -22 non-equal?
True
Let g(v) = -v**2 + 7*v - 8. Let d be g(4). Suppose 0 = -4*a + d - 0. Let y be ((-3)/5)/(-2 - -4). Is y bigger than a?
False
Let q = -551/2 + 283. Let y = q - 8. Which is smaller: y or 8?
y
Suppose -5*a + 7 = -w, 2*a + 8 = -0*w + 4*w. Suppose 2*m + 2*s + 3*s = -26, 3*m = 2*s - 1. Let l be 4*(-1)/12*m. Is l > a?
False
Let b = 6551 + -759911/116. Is 1 at least b?
True
Let b be (4 + 15/(-10))*106/10. Which is bigger: 28 or b?
28
Let a = 1639/4 - 410. Which is smaller: 3.87 or a?
a
Suppose -5*d = 4*j - 22, d = 6*d + 3*j - 19. Suppose 4*z - d*z = 0. Which is bigger: -1/2 or z?
z
Let d(l) = 3*l**3 + 10*l**2 - 7*l + 6. Let v(o) = 7*o**3 + 19*o**2 - 13*o + 12. Let p(f) = 5*d(f) - 2*v(f). Let i be p(-13). Are i and -0.1 non-equal?
True
Suppose -173 = -i - 207. Is i > -32?
False
Let w = 16871/12 + -1407. Are 0 and w equal?
False
Let u(f) = 51*f - 10. Let t be u(-10). Let z = t - -21319/41. Is -1 not equal to z?
True
Let p be (-3)/(-5) + 215 + 8 + -12. Does p = 213?
False
Suppose -4*c + 3*v = -171, -2*v = -5*c + 2*v + 213. Let i be 26*2/80 - 18/c. Are i and -4.1 unequal?
True
Let y be (-96863043)/(-245948274) + (-1)/3. Let n = y + 75/65377. Let a = n + -4/247. Which is greater: 0 or a?
a
Suppose 0 = 188*o - 150*o - 1254. Which is smaller: o or -0.03?
-0.03
Suppose -5*m = 2*k + 16, -m + 2 = 5*k + 19. Let f be (m/(-1) - -1)*(-7 + 8). Which is bigger: 9 or f?
9
Let s = -3.9 + -13.1. Let i = -16.69 - s. Let v = 2.09 + i. Which is greater: 1/3 or v?
v
Let f = 167 - 167.08. Is -1 > f?
False
Suppose -2*c + c = 4*n + 80, 0 = c + 4. Let w = -19 - n. Which is smaller: w or -1?
-1
Let g = 7 + -6. Let d = g + -5. Let j be (-3 - 10/d)*-2. Is j smaller than -2?
False
Let p = -0.5 - 3.5. Suppose i - a - 4 = 0, 3*i - 2*a = 5*i + 4. Is i less than p?
False
Let x(z) = z - 10. Let v be x(5). Let d(t) be the third derivative of -t**4/24 - 4*t**3/3 - 2*t**2 - 81. Let c be d(v). Is -2 smaller than c?
False
Let a(q) = 5*q**2 + 5*q + 2. Let k be a(-2). Suppose 15 = k*w - 33. Which is smaller: -4 or w?
-4
Suppose -39 = -2*w + 5. Let h = w - -8. Let d be 7/(-14) + 23/h. Is -0.1 at most d?
True
Let s be (-4)/(8/7)*140/5. Let d be s/25 + 10 + -6. Which is smaller: 1 or d?
d
Suppose 3*t - 177 = m + 2*m, m = 4*t - 236. Let o = 32 - t. Is o at most -27?
True
Let p be (6/4)/(18/8)*-42. Which is smaller: -19 or p?
p
Let o be (36/(-2))/(2/(-3)). Let w = 23 - o. Is w <= -4?
True
Let u(q) = -2*q**2 - 14*q + 2. Let a be u(-10). Let y = -30 - a. Let h be (8/y)/(6/(-14)). Which is smaller: h or 5/2?
h
Let r be 3/6 - 177/(-6). Let k = -45 + r. Let w = k + 15. Which is greater: 2/29 or w?
2/29
Let u be (-51)/(-459) + (-1376)/(-9). Is u smaller than 151?
False
Let l = 40 + -61. Suppose 8*h = -4*f + 3*h + 17, -4*h = -4. Is l >= f?
False
Let k(a) = -a**2 + 23*a - 69. Let q be k(16). Let y be (-43)/(-2)*(5 + -3). Is q smaller than y?
False
Let p(z) = 3*z**2 - 17*z - 2*z + 5 - 10 - z**2. Let o be p(8). Is -30 < o?
True
Let j = 11.4 - 13. Let g = -0.065 + -1.535. Let k = j - g. Which is greater: 24 or k?
24
Let n = -96 + 95.95. Let s = n + 0.55. Is -0.06 < s?
True
Let l = 22.7 + -21.738. Let u = 0.038 + l. Which is smaller: u or -30?
-30
Let k(b) = -15*b - 5 + 2*b**2 + 0*b**2 + 5 + 5. Let s be k(8). Let r be 55/4 + 3/12. Which is greater: s or r?
r
Let p be (-2)/(-605)*150/(-120). Let a = 5589053/73810 + -22972/305. Let i = a + p. Which is smaller: 0 or i?
0
Let u = -1080/1573 - 10/121. Suppose 0 = -3*a - 6 + 3. Is a bigger than u?
False
Let z = -227.6 - -228. Let f be 0/(-2) - (-1 + 3). Which is smaller: f or z?
f
Let p = -50532/1495 + 891/23. Let z = p + 6/13. Is -0.1 <= z?
True
Let y be (-5)/1 + (-1388007)/653112. Let h = y - -2/9071. Do h and -6 have different values?
True
Let m be (10 + (-39)/4)/(2/(-8)). Let c be ((-6)/2)/6 + m/(-2). Let f = 3.3 - 0.5. Is c > f?
False
Let o(u) = 6*u - 41. Let d be 220/30 - (-2)/(-6). Let v be o(d). Let b = 8 + -4. Which is smaller: v or b?
v
Let z = 192 + -957/5. Let q = 2/251 - -243/1004. Is z > q?
True
Suppose -497*b + 494*b = 399. Which is bigger: b or -397/3?
-397/3
Let o = -4.5 - -12.5. Let i = -9 + 9. Which is smaller: o or i?
i
Let m = -18/1151 + 1061384/10359. Let o = -108 + m. Is o equal to -0.1?
False
Let p be (-1*(-2)/(-1))/(51/204). Which is greater: p or 8?
8
Let o = 1 + -1. Let u(t) = -6*t**3 - t**2 + t. Let r be u(-1). Suppose 23 = -r*a + 5*w, w - 6 = -w. Is o at least as big as a?
True
Suppose -q + 50 - 56 = 0. Suppose -2*t + 3*t + o = -2, 3*t = 2*o - 26. Are t and q non-equal?
False
Suppose 516 = 3*m - 5*u, 3*u - 876 = -5*m + 6*u. Do 177 and m have the same value?
True
Let a be 450/84*(-4)/(-6)*3. Let r = a - 11. Is r greater than or equal to -3?
True
Let b(x) = -x**2 - x - 5. Let h be b(0). Let v = -8 - -3. Is v not equal to h?
False
Let t = 6.193 - 6.193. Let y = 0.14 - -1.56. Is t < y?
True
Let s be 4/6*(-5)/((-30)/(-18)). Suppose 0 = 5*m - 15, 0*m - 14 = h - 5*m. Is h less than s?
False
Let m(a) = -a**3 - a + 4. Let b be m(0). Suppose 2*c - 6*c - 56 = -4*n, -b*n - c + 31 = 0. Let u = 9/163 - 389/1141. Which is bigger: u or n?
n
Let s(z) = z**3 + 5*z**2 + 5*z + 3. Let n be s(-4). Let u(