- -1.163. Is -1 less than or equal to a?
True
Let j(f) = f**3 - 8*f**2 + 7. Let w be j(8). Let y = 38 - 26. Let v be 13/3 + y/18. Is w smaller than v?
False
Let q(p) = 4*p**2 - 2. Let w be q(4). Suppose -z = w - 64. Which is greater: 8 or z?
8
Let x(h) = -9*h**2 - h + 8. Let g be x(-3). Let k be (-9)/18 + g/(-12). Do k and 4 have different values?
True
Let l(t) = -t**3 + 7*t**2 + 2*t - 10. Let q be l(7). Suppose q*v = v. Which is bigger: 6/17 or v?
6/17
Let d = 976 + -983. Which is smaller: d or -14?
-14
Suppose -18 = -2*x + 6. Let g be 102/(-119)*2/6*44. Let w = x + g. Is w > -2?
True
Let q be 46/10 - 4/(-10). Suppose 64 = 4*x - 2*w, 2*w - 3*w - 86 = -q*x. Suppose -286 + 52 = -13*p. Is x bigger than p?
False
Let i = -9 + 7. Let n be 0 - 2*1/i. Suppose -5*s - 9 = n. Which is smaller: -4 or s?
-4
Suppose 22*p = 20*p - 2. Which is smaller: p or -4/23?
p
Let p = 374 + -395. Is p at least -22?
True
Suppose 5*o - 442 = 3*k, o - 746 = 5*k + 2*o. Are k and -151 equal?
False
Let p(c) = 2*c**3 + 4*c**2 - 4*c - 3. Let w be p(3). Let t be (w/2)/((-3)/(-4)). Is 50 not equal to t?
False
Suppose r - 3*g = -4*g + 2, -2*r - g = -5. Suppose 0 = r*b - 7*b. Let v be b + 3/((-18)/(-16)). Which is bigger: 4 or v?
4
Suppose -5*i + 2*k = -262, 0*i - k + 259 = 5*i. Let d = 53 - i. Which is bigger: 2/13 or d?
d
Let r be (-5)/((-30)/32)*(-9)/(-6). Suppose c = -5*u + 27, 4*u - 8 = 2*c + r. Is 3 greater than u?
False
Suppose 5*r = 3*r + 10, -4*a = 5*r + 471. Which is smaller: a or -125?
-125
Let s = -52.101 - 2.859. Let c = s - -55. Let u = 0.2 - 0.1. Is c at most u?
True
Suppose 18*r = 12 + 60. Which is bigger: r or 32/11?
r
Let q be ((-28)/(-8) - 3)*(-2 + 10). Suppose -q*o = -6*o - z + 5, 3*z + 12 = 3*o. Which is bigger: o or -3?
o
Let m(l) = l**2 + 4*l - 1. Let y be m(-4). Let k be -1 + (-18)/(-12)*10/13. Let b = 3/65 + k. Is y bigger than b?
False
Let o(d) = -d - 9. Let f be o(-11). Let h be 1/20 + f/10. Is -1.3 greater than h?
False
Let p be (-5 - -1)*(-117)/(-52). Let k = p - -17. Suppose -26 = -6*v + k*v. Which is smaller: v or -14?
-14
Let o = -1/2798 + 201461/13990. Which is greater: 13 or o?
o
Let l(v) = -20*v - 2. Suppose 0 = t - 1. Let s be l(t). Which is smaller: -24 or s?
-24
Let y = -2 + 4. Let t = -2763 + 2770. Is t at least y?
True
Let m be 0 - 4*-1 - (4 + 2). Let c(d) = d**2 - 6*d - 2. Let j be c(6). Let v be 0 - (-1 + (j - -4)). Is m bigger than v?
False
Let y be (3 + 2)*(-504)/(-300). Is -1/2 at most as big as y?
True
Let a = -100 - -81. Is a bigger than -2?
False
Let s = 1678.9 - 1679. Are s and 388 equal?
False
Let q = 453 - 452.7. Which is bigger: -85 or q?
q
Let u be (6 - 4)/6*(-1869)/28. Is u greater than -22?
False
Let d = -4335/4 + 1084. Which is bigger: -3 or d?
d
Let v = 1358 + -1230. Is 128 less than or equal to v?
True
Suppose c - 6*c - 2*k + 201 = 0, -3*c = -2*k - 111. Are 41 and c non-equal?
True
Let i = 1661 + -61463/37. Let q(j) = -j**2 + 3*j - 1. Let l be q(3). Which is greater: i or l?
i
Let p = 2 - 5. Let x = -75 - -74.69. Let d = 0.01 + x. Which is greater: p or d?
d
Let f be 0 + -4 - -11 - 1. Suppose -71 = 3*r - 2*m + f*m, 3*r - 4*m + 103 = 0. Is -30 greater than r?
False
Let t be 3 - (2 - 3)*(-12)/(-2). Suppose 15*z = t*z - 204. Which is bigger: -33 or z?
-33
Let a = 14.2 + -14. Let o = a - 0.2. Is o < 14?
True
Let f = -103 - -76. Let h = f - -18. Which is smaller: h or -3/2?
h
Let j(h) = 2*h + 50. Let z = 15 - 39. Let o be j(z). Is 3 not equal to o?
True
Let n = -0.26 - -0.16. Suppose 38 = -5*b + 118. Is b greater than or equal to n?
True
Suppose 0 = 2*l + 15 - 21. Suppose 4*s = x - 0*x + 22, l*s + 4*x = 26. Which is smaller: s or 4?
4
Let u(t) = 1 + 20*t - 6*t + t - t**2. Let i be u(8). Which is greater: i or 56?
i
Let s = 0.55 - -19.45. Let j = -2.7 + -8.3. Let r = s + j. Is 2/3 smaller than r?
True
Suppose 4*o = 56 - 20. Suppose 0 = -4*i - o + 61. Suppose -g + i + 2 = -3*p, -3*g - 2*p = 10. Which is greater: 2/21 or g?
2/21
Let j = 13520 + -38974/3. Which is smaller: j or 530?
j
Let k = 5 + -39. Let r = -42.8 - k. Let q = r + 9. Which is smaller: -2/7 or q?
-2/7
Let y be 20/30*(-1)/(-2). Let c be (-3)/(-15) + (-56)/(-20). Suppose -c*o + 3 = -6*o. Which is smaller: y or o?
o
Let h be ((-2)/7)/(14/(-511) - 0). Do h and 10 have the same value?
False
Let v = 0.04 - -0.2. Let a = -0.04 + v. Let h = 9 - 16. Is a at most as big as h?
False
Let g be 6/8 - 5/(-4). Suppose -23*c + 21*c + g = 0. Let z be (-1 - 0) + (-26)/(-20). Is c at least z?
True
Let l(m) = -8*m**2 - m - 4. Let o(j) = -17*j**2 - 3*j - 8. Let q(w) = 5*l(w) - 2*o(w). Let t be q(-7). Let f be (-3 + t/(-95))/(-1). Which is smaller: f or 0?
f
Suppose -5 = -5*i + 5*h, 3*h - 1 = -7. Which is smaller: 33/80 or i?
i
Suppose 0*j + 5*j + 3*n = -7, -2*n = -5*j + 13. Is 1/851 greater than j?
False
Let l be (-8)/(-104) + 11077/(-858). Is -14 > l?
False
Let g be (-3*(-117)/54)/(3/42). Is g > -1?
True
Let s = 502 - 447. Which is greater: 0 or s?
s
Let w(q) = 10*q + 72. Let m be w(-7). Is 0.12 bigger than m?
False
Let y = -197 + 2755/14. Suppose -2 = -2*d - 0. Is d greater than or equal to y?
True
Let n(q) = -q**3 + 2*q**2 + 7*q - 6. Let l be n(3). Suppose -b + 36 = 2*u - 0*u, l = -3*u. Which is greater: 41 or b?
41
Let k = -16.568 + -0.132. Let t = 17 + k. Which is bigger: -0.4 or t?
t
Let j be ((-32)/456)/(-4 + 0). Is 1 < j?
False
Let i = 53 - 32. Let g be ((-4)/6)/(10/i). Is g > 0?
False
Suppose 5*x = 4*q + 29 - 75, q + x - 7 = 0. Which is greater: q or 5?
q
Let g = 0.58 - 0.87. Let t = 2.29 + g. Is t smaller than 4?
True
Suppose 109 = -14*s + 53. Which is smaller: -5 or s?
-5
Let c be (1119/(-35))/(2 - 1). Let p = -233696/7215 - 14/1443. Let z = p - c. Which is smaller: z or -1?
-1
Suppose 3*y + 3*z - 33 - 39 = 0, -y + 3*z = -4. Suppose -7*q + y = -149. Are q and 24 equal?
True
Suppose -3*j = -6 - 18. Let u(i) = i**3 - 16*i**2 + i - 16. Let l be u(16). Suppose l*r = r - j. Which is smaller: 1/5 or r?
1/5
Let c(w) = 3*w**2 + 9*w - 18. Let d(z) = z - 1. Let u(n) = -c(n) + 4*d(n). Let s be u(-5). Which is bigger: s or -37?
s
Let a be (3/159)/((-80)/(-70) + -1). Is 1 at least as big as a?
True
Suppose -b + 2*f = b + 14, 0 = -4*f + 8. Let k be 196/(-460) + (-3)/b. Is 0 less than k?
True
Let t(f) = -f**2 + 2*f + 16. Let j be t(7). Let d be (-126)/7 - (-2)/(-2). Is j equal to d?
True
Let d(w) = -w**3 + 3*w**2 - w + 5. Let j be d(3). Suppose 2 = -j*q, -6 - 7 = -m + 2*q. Suppose 11 = -g + 2*g. Is g at least m?
True
Let h be ((-1)/(-6 + 9))/((-4)/1896). Are h and 163 nonequal?
True
Let o(u) = 11*u**2 - 3*u + 1. Let d(r) = 17*r**2 - 4*r + 1. Let i(a) = 5*d(a) - 8*o(a). Let t be i(2). Let h be (5 - t)*(-2)/(-4). Which is smaller: 0.1 or h?
0.1
Suppose 0 = 34*b - 8 + 42. Which is smaller: b or -26?
-26
Suppose 0*o + o = 6. Suppose o*w - w = 0. Suppose w = -3*v + 2*l + 4, -5*v + 12 = 5*l - 3. Is v <= 2?
True
Let u(f) = f**2 + 4*f - 2. Let s be (21/(-6))/((-2)/(-4) - 0). Let t be u(s). Do 59/3 and t have the same value?
False
Suppose 50 = -7*d - 18*d. Which is bigger: 149 or d?
149
Let l be (-2*2/(-2428))/(12/(-24)). Which is smaller: l or 0?
l
Let g = 59/390 + -2/39. Suppose 0 = -t - 2*m + 4, t = -5*m + 2 + 5. Suppose -4*u + 11 = j + 4, -j = -t*u + 5. Which is smaller: g or j?
j
Let d = -0.845 - -0.045. Is d less than or equal to -37?
False
Let d = -1014 + 1014. Which is smaller: d or -29.8?
-29.8
Let x = -1/17 + 127/1581. Let l = 402 - 403. Is l >= x?
False
Let q be (-372)/(-76) + (-4)/(-38). Suppose -25 = -2*j + 2*c - 5, -5*c + 50 = q*j. Suppose z = -j + 2. Which is smaller: z or -6?
z
Let i = -17/12 - -3/4. Which is greater: i or 6/7?
6/7
Let n = -32 - -32.64. Let m = -0.04 + n. Let t = -3.6 + m. Is 1 > t?
True
Let f = -1289.08 + 1328. Let g = f + -0.92. Which is smaller: g or 1/4?
1/4
Suppose 25*u + 40 = 21*u. Do 82 and u have the same value?
False
Let r(d) be the first derivative of d**3/3 - 15*d**2/2 + 4*d + 4. Let s be r(10). Let g be 2/10 + s/(-20). Is g not equal to 2?
True
Let p = -18 + 13. Suppose 17*m + 158 + 12 = 0. Which is smaller: m or p?
m
Let o be -2 - ((-551)/(-554))/((-4)/8). Which is smaller: o or 0?
o
Let b = 0.875 - -23.065. Let r = b - 24. Are -1 and r unequal?
True
Let u(g) = -4*g + 1. Let h be u(-2). Suppose -2*i - 9 = -33. Let z = 19 - i. Which is greater: z or h