 x?
0.713
Let k(i) = 61*i**2 + 4*i + 3. Let t be k(-1). Suppose t*m - 57*m - 78 = 0. Let h = 21 - m. Is h smaller than 2?
True
Let m = 2458660/29 - 84772. Which is smaller: m or 9?
9
Let c = -8943/10 - -895. Let f(m) = -2*m**2 - 54*m + 38. Let x be f(-24). Let y = x - 181. Is c <= y?
True
Let f = 68613 - 68641. Suppose -2*u + 5*u = -90. Is f > u?
True
Let x = 185 - 185.772. Let q = 788 - 787. Is x bigger than q?
False
Let a = -146.02 + 145. Let g = a - -1.12. Let d = 94 + -131. Which is smaller: d or g?
d
Let k be 13/(65/(-10)) + (-65)/1. Which is smaller: -199/3 or k?
k
Let w = 2707 - 29775/11. Do w and 415 have different values?
True
Suppose -5*v + 1 = -4*v - 4*p, 3*v + 5*p - 3 = 0. Which is bigger: v or -20/213?
v
Suppose -5*y - 175 = -5*k, -5*k + 47*y = 49*y - 154. Which is smaller: 95/3 or k?
95/3
Suppose 93*b - 98*b = -30. Let n = 10 + -9. Which is greater: b or n?
b
Let q = -169/10 - -17. Let w be (41/(-2))/((-4)/(-8)). Let a be 41/w*(0 - -1). Are q and a equal?
False
Let t = -50 - -260. Let l be t/(-75) - 1/5. Is l > -8?
True
Let m = -2945 + 1507. Which is bigger: m or -2?
-2
Suppose 35*d - 1644 = 596. Suppose d = 7*q + 71. Which is greater: -2/265 or q?
-2/265
Suppose -3*c - 121 = -2*y, -4*y + 41 = -2*c - 45. Which is bigger: -27 or c?
-27
Let y(j) = -j**2 - j + 9. Let p(h) be the third derivative of h**4/12 + h**3 + 19*h**2. Let l be p(-5). Let m be y(l). Which is smaller: m or -18?
-18
Suppose 3*t - 2*u = -689 - 3743, -u = -5. Which is smaller: -1473 or t?
t
Let p(w) = -7*w**2. Let v be p(5). Let q = -218 - v. Are -45 and q non-equal?
True
Let z = 2963811.941 + -2962561. Let a = -1194.95 + z. Let y = a - 56. Which is smaller: y or -1?
-1
Suppose -2*l - 136 = 2*k, 5*l + k - 3*k = -305. Let c = l - -65. Suppose g + 10 = -5*y + c*y, -5*y = 5. Does g = -7?
True
Let x(h) = -2*h - 108 - 2*h + 104. Let f be x(-1). Let v be 4/(-8) + 213/414. Is f >= v?
False
Let h(a) = 2*a**3 - 2*a**2 - a - 1. Let d be h(2). Let p be 2 - d - (5 + -10). Suppose -4*i = 4*t - 20, 5*t + 6 - 21 = 0. Is p equal to i?
True
Let m = 126332 - 4673654/37. Is 16 greater than m?
False
Let k = -97.57 + 97. Let u = -43 + 43.43. Let t = k - u. Are t and -1/2 non-equal?
True
Let x = 24102 + -24105. Suppose 5*c + 2*g = 2 + 1, 5*g = -c + 19. Is x bigger than c?
False
Suppose 8*y + 732 = -2*p, -2*p + 388 = -3*y + 108. Which is greater: y or -84?
-84
Let v = -1749 + 323567/185. Let z = 53863 + -53862. Which is bigger: v or z?
z
Let w be 20*(44/8)/11. Suppose -7*d + w = -2*d. Which is smaller: 5/8 or d?
5/8
Let i be (-70)/(-15) - (-1)/3. Suppose 3*a - 3*s + 44 = s, 0 = -5*a + i*s - 65. Let q be ((-69)/36)/((-50)/(-200)). Is q > a?
True
Suppose 12*y + 15069 = -9687. Is 1 less than y?
False
Let t = -245 - -248. Suppose 3*z + 0*j - 3 = -2*j, z - t*j + 10 = 0. Which is smaller: z or -15/49?
z
Let d = 693564/5 - 141848. Is d bigger than -3136?
True
Let a be ((-40)/32*4 + 2)/1 - -2336. Is a smaller than 2333?
False
Let x = -6.8 + 6.49. Let m = x + 0.264. Let n = -1.646 - m. Is n smaller than -2/7?
True
Suppose -1751*a - 14 = -1765*a. Let i be 178/60 - (7 + -4). Is i at most a?
True
Let x(i) = 2*i**2 - 15*i + 10. Let b be x(7). Suppose -960 = b*c - 15*c. Are c and 80 nonequal?
False
Let o be 62/(-22) + (-6)/33 - -4. Suppose -3*p + o = -68. Suppose 2*n - p = -19. Which is bigger: 14/5 or n?
14/5
Suppose y = 9*y - 24. Let s(i) = -6*i**3 - 20 + 9*i + 5*i**y + 4*i**2 + 0*i**3. Let n be s(5). Which is smaller: -2/221 or n?
-2/221
Let f be 2 + 39/(-6) + 14/28. Let b be f/(30/(-9)*(-6)/46). Which is greater: b or -9?
-9
Let w be (3111/18)/((-38)/(-228)). Do w and 1038 have the same value?
False
Let f be (-22)/(-10) - (-2 - 0). Suppose -34*r + 29*r + n = -78, -r - 3*n = -22. Suppose 179*w - r = 163*w. Do f and w have the same value?
False
Let c = 1 - 0. Suppose -3*h = -84 + 12. Suppose -2*p + b + 0 = -11, 5*p - h = -b. Which is bigger: p or c?
p
Let h = 51 + -52. Let u be 2/17 + (-7 - 5214/(-765)). Which is bigger: u or h?
u
Let g be (1/(-2))/((-4)/8). Are g and -3/1081 non-equal?
True
Let z be 8/(-20)*-5 + 3 + (-16237)/3263. Is -0.02 less than z?
True
Let l = -6384 - -8489. Is 2105 greater than or equal to l?
True
Suppose -252*b - 60*b - 64634 = 194326. Which is smaller: b or -831?
-831
Let s = 1046.35 + -231.35. Which is smaller: s or -0.2?
-0.2
Let v be ((-2)/(-15))/(322373/95 + -4). Which is greater: v or -1?
v
Let z be (-10)/4*-4*(-80)/25. Suppose -2*p = 2*k + 3*p + 165, 0 = -4*k + 4*p - 316. Let q = 49 + k. Which is bigger: z or q?
q
Let f(n) = 2*n - 19. Let j be f(12). Suppose -j*r + 64 + 87 = 4*u, -137 = -3*u + r. Let p = u - 42. Which is greater: 9 or p?
9
Let u be -20*(-475)/76 + 5. Does 126 = u?
False
Let j(w) = 17*w - 30. Let s(y) = 48*y - 89. Let c(g) = 17*j(g) - 6*s(g). Let i be c(-17). Let n = 0.4 - 0. Which is smaller: i or n?
n
Let u be (-4)/((7 - -5)/(-3)). Let x be (12/4 - u)/(12/894). Are 148 and x non-equal?
True
Let l = -14 + 14. Let u = 3844 + -422839/110. Do l and u have the same value?
False
Let k = -16050 - -210218/13. Let j = 122 - k. Suppose g = -19*g. Does j = g?
False
Suppose 3 = -6*k + 3*k. Let f = -56600059/28 - -1750793053/868. Let a = -4388 - f. Which is smaller: k or a?
k
Let w(b) = 2*b**3 + 48*b**2 + 3*b - 27. Let j be w(-24). Which is bigger: -101 or j?
j
Let y be (-5)/35 - 129694/14. Let p be 2/19 - y/(-285). Is p at least 0.1?
False
Let l(w) = -629*w - 3721. Let g be l(0). Are -3720 and g equal?
False
Let u = -19399 + 18603643/959. Which is smaller: u or 1?
u
Suppose -4*s = -15*v + 12*v - 9, 3*s = -2*v + 11. Let c be (-6 + 9)*(-2 + -5). Are c and v equal?
False
Suppose q - 2*q + 10 = 0. Suppose -118*n + 59*n + 61*n - 50 = 0. Which is bigger: q or n?
n
Suppose -3*v = 7*j + 1260, -1314 = -174*v + 177*v - 2*j. Let d(z) = -2*z**2 - 8*z + 7. Let q be d(13). Which is smaller: v or q?
q
Let t(g) = 7*g**2 + 3*g. Let r(x) = -13*x**2 - 6*x + 1. Let y(f) = 4*r(f) + 7*t(f). Let i be y(-2). Let p be 65/(-26) - i/(-4). Is p at most -7?
False
Let b = 37/366 - 115841/1830. Which is bigger: b or -64?
b
Let h = 104 - 67. Let w = 425 + 764. Let a = w - 2307/2. Which is smaller: h or a?
a
Let u be (12/(-15))/1 - (-15)/(-75). Let f be (9 + -9)/(4 + u/1). Are f and -4.6 nonequal?
True
Suppose 12*g - 9*g - 121 = -5*p, -2*p = -10. Let y = -1 + g. Is 158/5 greater than y?
True
Let j be 1 + (3/(-6))/((-2)/(-4)). Suppose 2*l - l - 10 = j. Let g be (-1)/(l/(-4))*10/24. Which is smaller: g or 2/21?
2/21
Let s be (-3685)/(-38) + 0/4 + 685/1370. Which is bigger: 96 or s?
s
Let z = 162.7 - 131. Let x = z + -23.7. Let a = -3 + 3.1. Which is bigger: x or a?
x
Let s = -4471 - -236943/53. Suppose 4 = 5*b - 3*u, -b + 2 = -u - 0*u. Which is bigger: s or b?
s
Let a be ((-156)/13260)/((-332)/(-10)). Which is smaller: 0 or a?
a
Let s be ((-1)/(-2))/(-5 - 217/(-42)). Let m = 16893/6505 + 4/1301. Which is smaller: s or m?
m
Let k = 90 + -132. Let r = 21 + k. Let z = r - -21.1. Which is greater: z or 18?
18
Let i(k) = k**3 + 6*k**2 + 8*k + 7. Let s be i(-2). Let n be (-2)/s*56791/183. Which is greater: -89 or n?
n
Suppose 0 = 5*k - 11*k. Suppose 4*x + 2*x - 24 = k. Suppose 0 = -36*y + 32*y - x. Is 10 at most y?
False
Let l be (-310)/93 + 7/((-1344)/(-1390)). Is 5 != l?
True
Let p = 2052.7 + -2053. Are p and -0.0579 unequal?
True
Let x = 40 + -24.2. Let a = x + -14. Let q be (-11)/22 + (-12)/(-6) + -1. Is a less than or equal to q?
False
Let n be (-1 - -2) + (-2)/(-2). Let a(j) = 10*j**2 + 2*j. Let h be a(n). Let o(v) = -72*v - 461. Let c be o(-7). Is c < h?
True
Let f = -1/8551 - -513169/932059. Which is smaller: 0 or f?
0
Suppose 44*h - 28*h - 2800 = 0. Suppose 5*y + 250 = -3*w + 27, h = -4*y + w. Is y equal to -43?
False
Suppose 2*t - 3*x - 3 = 2*x, -3*t - 3*x + 15 = 0. Let l(v) = -v**2 + 4*v + 12. Let o be l(6). Suppose o + t = -4*i. Which is greater: i or -5/7?
-5/7
Let g be 2/4*(-45 + -1). Let b(y) = -y + 1. Let t be b(23). Let u = g - t. Does u = -4/33?
False
Let c be 34225/(-65) - 9*1. Suppose -h + 6*h - 2680 = 5*r, 2*r = -3*h - 1072. Let b = c - r. Which is smaller: b or 0?
0
Let g = 15948902/2475 - 6444. Is 0 at most as big as g?
True
Let z = -3 - -2.8. Let f = -1671 - -1709. Are f and z nonequal?
True
Suppose 5*m = -24*b + 29*b + 11755, -4*b - 9395 = 5*m. Which is greater: b or -2351