Which is smaller: w or 8?
8
Suppose 10*w = -253 - 247. Is w at least -1.1?
False
Let i = -6 - -17. Let m(f) = -f**3 + 10*f**2 + 10*f - 5. Let l be m(i). Is l greater than 2/7?
False
Suppose -181*q = -182*q. Let z be (-3)/5*3/3. Which is bigger: z or q?
q
Let y = -107 - 103. Is y greater than or equal to -210?
True
Let i(o) = 54*o**3 + o + 2. Let t be i(-1). Let p = t + 53. Let y be (1/1)/(11/(-10)). Which is bigger: y or p?
p
Let w = 12 + -7. Suppose -q + 1 = w. Let v be q/10*50/60. Which is smaller: v or 0?
v
Let i(p) = 12*p - 11. Let d be i(6). Let c = 74 + -15. Is c smaller than d?
True
Let k(b) = b**2 + 8*b - 11. Let t be k(4). Let m = 42 - t. Let n = 5 + 0. Are m and n unequal?
False
Let s = 8585/29 - 296. Suppose 2*p + 3*v = 7*p + 8, -v = -p - 2. Is s less than p?
False
Let p = -8/355 + 36589/1065. Which is bigger: p or -0.2?
p
Suppose 0 = 2*r - 5*j - 25, -5*r + 2*j - 28 = -122. Is r != 7?
True
Suppose 24 = 3*c - 0*c. Which is bigger: c or 6?
c
Let k be (0 - 1)*7/(21/18). Let x be (-1 - 14/(-10))/(1/k). Suppose 3*m - m = 6, 4*m = -v + 9. Is x less than v?
False
Suppose 13 = -4*u - 15. Let v(i) = -i**2 - 7*i + 2. Let t be v(u). Suppose 2*n = -3*p - t, 2*n - p = -4 + 2. Is -1 > n?
False
Suppose h + 0*h - 4*s - 48 = 0, -5*s = -3*h + 130. Suppose -3*d + 0*i + 2*i = 20, h = -4*d - 4*i. Let q be (-1)/(-4) + (-14)/d. Are q and 3 equal?
False
Suppose 4*b = -3*o + 35, 6*b - o - 58 = b. Suppose -q = 4*n + b, -n - 7 = -3*q - 3*n. Suppose -4*z - 4 = -4*h, q*h - 9 = -5*z + 6. Which is greater: z or 2?
2
Suppose 4*j - 1 - 7 = 0. Let y be (0 - -1)*(-6 - -10). Do y and j have the same value?
False
Let g(x) = -9*x**2 - 26*x + 73. Let p be g(3). Which is smaller: -85 or p?
p
Let z be 10/25 + 8/10. Let s(i) = -i**3 + 15*i**2 - 16*i + 31. Let u be s(14). Suppose 24*t = 27*t - u. Is z less than t?
False
Let r = 0.9816 - 0.1646. Which is bigger: r or 0.1?
r
Let y(t) = t**3 + 6*t**2 - 17*t + 8. Let o be y(-8). Is o at least as big as 65/4?
False
Let n = -119.9 + 115. Let o = n - -5.9. Let p = -57/4 - -14. Which is bigger: p or o?
o
Suppose -16*i = -26*i + 5000. Which is smaller: 499 or i?
499
Let r = 279 + -254. Which is smaller: -1 or r?
-1
Let f = 763 + -763.1. Which is greater: -102.2 or f?
f
Suppose -101*a + 98*a = -3. Is 60 at least as big as a?
True
Let v(d) = -d**2 + 2*d + 5. Let k be v(0). Let z be (-36)/45*k/(-2). Let x = -12 + z. Which is bigger: -11 or x?
x
Let a = 6391 - 70100/11. Let y = -18 + a. Which is smaller: -2 or y?
-2
Let g = -4/109 - -10/6213. Let j = 549 - 549. Which is bigger: g or j?
j
Let x be (16/10)/((-72)/(-90)). Which is bigger: x or 54/23?
54/23
Let u = -11 - -5. Let b = 5 - u. Let r = b + -3. Is 7 at least as big as r?
False
Suppose 0 = i - g - 19, 52*i - 34 = 50*i + 3*g. Which is smaller: 34 or i?
i
Let i(o) = 5*o - 1. Let z be i(6). Let j = -38 + z. Let l = 3 - j. Is 12 at least as big as l?
True
Suppose 2*r - 20 = -3*j, 5*j - 34 = -r - 3*r. Let a be (-28)/j - (-1)/(-3). Let l be (10/6)/(((-189)/(-7))/(-81)). Is l >= a?
True
Let j(g) = -8*g + 42. Let f be j(-15). Let c = f - 145. Is 19 > c?
True
Let g(n) = n**2 - 3*n - 4. Let x be g(0). Let w be (-1)/4 - (-4 - 15/x). Is w greater than -2/97?
True
Suppose 73 = 5*v - 77. Suppose 40*d - 39*d - 32 = -t, 3*t + 72 = 3*d. Are v and d equal?
False
Suppose -2*u + 3 = 5. Let j be -2*84/(-16)*(-42)/(-49). Let f be (-2 + u)/(j/(-2)). Is 10 greater than f?
True
Let j be -24*(-5 - -4)/((-2)/2). Suppose 41 = -4*w - 51. Let t be w*-2*(-5)/10. Is j smaller than t?
True
Let j = 102 - 149. Which is smaller: j or -145/3?
-145/3
Suppose -5*g = 2*z - 29, 4 = -4*g + 24. Suppose 2*l = -16 + z. Are l and -7 nonequal?
False
Let d be -48 - 0/(3 + -2). Let i(r) = r**2 + 48*r - 1322. Let g be i(-67). Which is smaller: d or g?
g
Let k(x) = x**2 + 32*x + 91. Let z be k(-29). Let y be 29/9 + 6/(-9). Let p = y - -16/9. Is p < z?
False
Let z = 1424 - 18513/13. Which is bigger: z or 0?
0
Let o = -1 - 1. Let m be 7*(0 - -1) + o. Suppose 2 = u + 4. Which is greater: m or u?
m
Let q(x) = x + 1. Let p be q(5). Suppose -f + 2 = z, 4*z = 2*f + 2*f - 16. Suppose 0*j + p = f*j. Which is bigger: 4/5 or j?
j
Suppose -10*x - 357 = -357. Is x at most as big as 2/659?
True
Let i(f) = f**2 - 3*f - 4. Let l be i(4). Let p be 2/(-5) + (-56)/(-315). Is l <= p?
False
Let g be ((-16675)/(-435))/(10/36). Which is smaller: 140 or g?
g
Let s = 30 + -38. Let j = -7 - s. Is 2/7 >= j?
False
Suppose -2*v + 3 = -61. Suppose -2*c + 8 = -r, 4*c - v = -2*r + 6*r. Let i be 19/(114/12) - (-1 + 12). Is i greater than or equal to r?
False
Let d be 39/65 - 4*(-2)/20. Let f be 165/(-56) + (0 - -3). Is f less than or equal to d?
True
Let h = 38 + -27. Suppose -5*d + 2*d = -m, 0 = d - 4*m - h. Let a be (-66)/143*1/(-2). Which is smaller: a or d?
d
Let y = 94 - 100. Which is greater: y or -8/3?
-8/3
Suppose -2*a = 3*d - 8, 2*a = 2*d - d. Suppose 3*k = 2*b - 4, -5*k = b - 10*k - 9. Is a <= b?
False
Let p = -1081/6 + 180. Suppose -1 = -2*g - 3*a, 3*g + 0*g - a + 4 = 0. Which is smaller: g or p?
g
Let l(b) = 42*b**2 + 169*b + 6. Let c be l(-4). Is c > 84/31?
False
Let v be (-1)/(1/24) + 0. Let k be 5/(-3) + v/18. Is -12/5 >= k?
True
Let o = 0.063 + -424.063. Do 1 and o have different values?
True
Let u = 0.03 - 0.23. Let z = u + 0.1. Let r = 3/244 - 215/122. Which is smaller: z or r?
r
Suppose -5*v = -k - 25, -4*k = -4*v + 2*v + 10. Let u = -24 - -37. Let a = u + -12.9. Which is smaller: a or v?
a
Let b(h) = -7*h**2 - 5*h + h**3 + 5 + 0*h - 4*h. Let k = 19 - 11. Let v be b(k). Which is smaller: 0.2 or v?
v
Suppose 5*z = 4*o + 49, 5*o - 2*o = -3*z - 30. Let q be (-576)/285 - (o + 9). Do 0 and q have the same value?
False
Suppose -5*j + 10*g - 16 = 6*g, -j + 4*g - 16 = 0. Is 5/16 less than or equal to j?
False
Let i = 143483/136 - 1055. Which is bigger: i or -1?
i
Suppose -k + p - 15 = 0, 3*k - p + 0*p = -43. Let o be 10/14 + (-4)/k. Let f = -100/11 + 1722/187. Is o at most as big as f?
False
Suppose 9*t = -2*t + 363. Suppose 46*s - 49*s - t = 0. Is s at most -6?
True
Let z = -2/3 - -1/6. Let d be (0/2 - 2)/(1/(-3)). Let c be d/(-57) - 81/(-228). Is c at most z?
False
Suppose 46*y - 26 = 20. Is y at most 1?
True
Let g = 75 - 26. Which is smaller: g or 54?
g
Let t = 1614 - 30650/19. Suppose 4*p = -0*p. Which is greater: p or t?
t
Let g be (9*2)/((-22)/(-12) - 2). Let y = 107 + g. Which is smaller: y or -9/10?
y
Suppose 2*h = 3*x - 2 - 0, -10 = -5*h. Let s be 3/x + 15/(-2). Let d be (4/3)/((-28)/s). Is 1 not equal to d?
True
Let n be ((-45)/(-18))/((-1)/(-2)). Suppose -8 = n*v + 3*v. Do v and 2/63 have the same value?
False
Let t = -2026 - -2026.1. Is 26 at most t?
False
Let s be ((-82)/6 - 2)/(2/24). Which is greater: s or -190?
s
Let i = -28 + 32. Let x be 4 + (-22)/i + 1. Is 2 bigger than x?
True
Let v = 23 - 15. Let s be (-10)/11 + (-140)/(-275). Which is smaller: s or v?
s
Let b be -2*4*3/3. Let y be (-8)/(-2) + (37 - 6). Let t = -42 + y. Is t smaller than b?
False
Let g be (0 + 1/3)*234/(-72). Is 3 at least as big as g?
True
Let y be (-1)/3 - (-1123178)/(-35). Let n = 32068 + y. Let l = n + 70/3. Which is smaller: 0 or l?
0
Suppose 0 = 70*i + 783 - 4353. Is i > 56?
False
Let d = -353 + 427. Which is greater: 78 or d?
78
Let s = -143 - -4003/28. Let h = s - -9/7. Which is bigger: 0.1 or h?
h
Let j(y) = 3*y**2 - 8*y - 10. Let i be j(-2). Let r be i/15*(-2)/3. Suppose -5*o = 6 + 4. Is r >= o?
True
Let l(a) = -a**3 - a**2 + 5. Let h be l(0). Suppose h*d - 3 = 2*d, 4*d - 4 = -g. Let c(t) = -t**3 + 5*t**2 - 5*t + 3. Let j be c(4). Which is greater: j or g?
g
Suppose 3*m + 5*m = 416. Let t = m + -78. Is t > -26?
False
Let h(k) = 15*k + 408. Let r be h(-27). Let i(v) = 8*v + 1. Let t be i(1). Which is smaller: r or t?
r
Suppose -600*k + 592*k + 144 = 0. Is -9 at most k?
True
Let a(b) = 5*b - 10. Let h be a(-5). Let v = h - -39. Which is smaller: -2 or v?
-2
Let o(k) = 10*k**2 + 14*k + 12. Let p be o(-1). Let f be 2 - (-2 - 6/(-3)). Let w(b) = b**3 + 2*b - 3. Let l be w(f). Are p and l nonequal?
True
Let b = 36.1837 + -0.0837. Let d = b - 36. Is -5 < d?
True
Let g = 618 - 623. Is g at least -43?
True
Let v be 59/354 - 1/2. Which is bigger: 52/3 or v?
52/3
Let x(q) = q**2 + 8*q + 10. Let v be 0/6*(-2)/4. Suppose s - 1 + 8 = v. Let a be x(s). Is a >= 4?
Fa