/657 or i?
i
Let y(b) = b**3 + 55*b**2 + 156*b + 1. Let l be y(-52). Is l equal to 63/5?
False
Let w = -57 - -56. Let h(v) = 20 + 8*v + v**2 - 14 - 2 - 3*v. Let p be h(-3). Is w greater than or equal to p?
True
Suppose -h - 2 - 2 = 2*l, -2*l + 8 = 4*h. Let n be (-34)/8 + 2 + (-4)/l. Do -1 and n have the same value?
False
Suppose -2154*x + 11 = -1064*x - 1079*x. Which is bigger: x or -1/2944?
x
Let r = 9965 - 6746307/677. Which is bigger: r or -1?
r
Let m(q) = 4*q**2 + 11*q**3 + 0*q**3 - 5*q**3 + 2 - 9*q - 7*q**3. Let j be m(3). Which is smaller: 2/3 or j?
j
Let p = -805/6 - -2213/12. Is p at least 51?
False
Let v = -12086/7 + 59803/28. Let t = 409 - v. Is -1.24 smaller than t?
True
Let z be (-45)/12 + 4/(-16). Suppose 6 = -4*p - 2*w, 0 = -3*p + p - 5*w - 7. Let j = z + p. Do -5 and j have different values?
False
Let u = -148 + 151. Let f be (u/(-6))/((-9)/(-36)). Let k = -298 - -2075/7. Is f <= k?
True
Suppose 33*k + 2457 = 46*k. Let u be 2*1*k/(-486). Which is bigger: u or -1?
u
Let g(o) = -47*o - 2. Let d be g(-1). Let s be (16/10)/(9/d). Suppose -s*l + 7 = -l. Is 0.84 less than or equal to l?
True
Let w = -6965 - -7777. Which is smaller: 810 or w?
810
Let s = 412 + -366. Suppose 60 = -7*x + s. Suppose -c - 3 = -2. Is c less than x?
False
Let x = 4 + -4. Let o(z) = z**3 + 5*z**2 + 8*z + 8. Let b be o(-5). Let v be ((-9)/(-12))/(636/b). Is v equal to x?
False
Suppose -8*m + 10*m = 12. Let i be ((-2)/434)/((-9)/m). Let l = i + 16259/5208. Are l and 4 unequal?
True
Let o = 31 + -13. Suppose 0*q + 2*q = -5*f, o = f + 4*q. Suppose -5*t = 15, 297*y - 2*t = 292*y - 84. Is y < f?
True
Let w = 86.94 - 86.77. Is w at most as big as 0.34?
True
Let y = -44.58 + 45. Let t = y - 0.32. Let c = -111 - -94. Which is smaller: c or t?
c
Let t(u) = -6*u + 52. Let n(p) = 19*p**3 - 7*p + 7. Let v be n(1). Let z be t(v). Let d = z - -54. Is d not equal to -7?
True
Let c be (((-1)/(-15))/1)/(27 + (-6520)/240). Are c and -17/280 equal?
False
Let z = -244 - -243.9. Let a = 13 + -15. Let g = a - -9. Which is smaller: g or z?
z
Let a be (407 + -3)*(4/(-8) - -1). Let o = a + -201. Is o < 1/398?
False
Suppose -3*h = -g + 72, -g - 5*h - 17 + 49 = 0. Let f = g + -6. Suppose 10*s - 6*s = 208. Do s and f have different values?
True
Let o be 6 + (-7)/((-35)/4295). Let g = 2566/3 - o. Do -9 and g have the same value?
False
Let c be 136/1088 + 726/464 + 0. Is 2 greater than c?
True
Let g(q) = q**2 + 3*q + 1. Let x be g(-4). Suppose 0 = 2*t + x*i - 6, -5*t - 3*i - i + 32 = 0. Suppose -t*r + 502 = -42. Is 68 at least as big as r?
True
Let d = -801 + 804. Suppose d*f + 1433 = 1007. Which is bigger: f or -143?
f
Suppose 4*w - 263 = -215. Let o(u) = u**3 - 12*u**2 + 11*u - 11. Let r be o(w). Which is smaller: 120 or r?
120
Let m = 122/71 - 15088/3905. Which is greater: m or -1?
-1
Let w = -0.28 + 0.263. Let a = -29.82 + 29. Let p = a + 0.72. Which is smaller: p or w?
p
Suppose z = q - 40, z + 3*z + 202 = 5*q. Suppose 2*h = -4*k + q, -3*h - 2*k + 31 = -4*k. Let l = h - 12. Which is smaller: l or 3/14?
3/14
Let m = 56 - -21. Suppose 3*q = -74 + m. Is 1/2 bigger than q?
False
Let w be ((-17289)/(-1802) + -10)*(3 - 1). Which is bigger: -1 or w?
w
Let y be (7 + (-1 - (-9428)/(-1572)))*(1 + 5). Is -0.083 less than y?
True
Let h = 38203/1284 + -1/321. Suppose 8*i - 9*i - 84 = -3*r, -49 = -2*r + 3*i. Which is bigger: r or h?
h
Let u(z) = z**3 - 10*z**2 - 2*z + 69. Let g be u(10). Is 68 < g?
False
Let f(q) = q**3 + 6*q**2 - 4*q + 14. Suppose 3*n + l = -l + 10, -2*l = 4*n - 16. Suppose -n*a - 36 - 6 = 0. Let b be f(a). Which is bigger: b or -4?
-4
Let b(v) = -24*v + 18. Let w be b(4). Let f be 6*6/(-19)*52/w. Is f at least 1?
True
Let s = -1083 - -5310. Which is greater: s or 4225?
s
Suppose i + 14 = 3*m - 7, i + 23 = 5*m. Let p be (192/i - -10)/((-2)/120). Which is smaller: p or 44?
p
Let s be (-158 + 1)/((-78)/(-13) - 20). Which is bigger: s or 10?
s
Let j = -3876 + 4176. Is 0 at least as big as j?
False
Let t(d) = -d**2 - 17*d + 75. Let x = 204 + -225. Let p be t(x). Are -25/3 and p unequal?
True
Let q = 1520 + -269039/177. Let b = -377 + 377. Which is smaller: q or b?
b
Let x = -25.861 - -0.561. Let l = -24.3 - x. Is 139 at least l?
True
Let n = -2040.1 - -1897. Let d = n - -143. Which is smaller: 378 or d?
d
Let t = -1297 - -2413/2. Is -90 greater than or equal to t?
True
Suppose 5*u + 3*n = 14, -12 = -7*u + 4*u - 3*n. Let c be u/2 + 34/(-68). Which is smaller: c or 2/663?
c
Let s = 0 + 1. Let g be (s/2*-29)/(-2). Suppose 141*j - 1045 = 83. Which is smaller: j or g?
g
Let q = 7278758/17 - 428762. Let v = q + 598. Let t be (-2)/(-4)*(0 + -6). Which is smaller: v or t?
t
Let b(s) = 2*s**2 + 5*s + 6. Let q(v) = 66 - 4*v - 138 + 66 - v**2. Let p(o) = 2*b(o) + 3*q(o). Let l be p(9). Do l and 58 have the same value?
False
Suppose 397*g + 2*a - 6204 = 401*g, -3072 = 2*g + 4*a. Are g and -1546 unequal?
True
Let i be ((-3)/7 - 48/(-112))/(-1). Which is greater: -3/173 or i?
i
Let i be ((-3438)/12)/(18/96). Which is smaller: i or -1527?
i
Let d be (436/(-20) + 15)/(1822/10). Which is smaller: 1 or d?
d
Let k = 318 + -316. Let x be (-10)/175*-7 + k/(-5). Which is bigger: 1/75 or x?
1/75
Let g = 546 - 558. Let c be (1 - 8)*g/84. Which is smaller: 3/236 or c?
3/236
Let j be (0/2)/(36/(-36)). Let z = 51451/118 - 436. Is z greater than j?
True
Let p(g) be the third derivative of 19*g**4/24 - 193*g**3/6 - g**2 + 59. Let d be p(10). Suppose 15 = 5*y, -2*z - 2*y + 10 = -3*z. Which is smaller: z or d?
z
Let j = 36.9 - 36.1. Are j and 13 equal?
False
Let l(v) = -v**2 + 15*v + 4. Let n be l(15). Let r(x) = 12*x - 4*x**3 + 5*x**3 - n - 32*x - 8*x**2 + 0*x**3. Let h be r(10). Is -2 greater than h?
True
Let v = 73 - 8. Let h be v/15 + (8/(-6))/4. Suppose -h*k + 2 = 5*n - 32, -12 = -k - 3*n. Which is bigger: k or 10?
10
Suppose 2*h + q - 413 = 647, -q + 533 = h. Which is smaller: 532 or h?
h
Let m(d) = 11*d. Let k be m(0). Suppose y = 4*c + 20, -4 = 2*c - k. Which is smaller: y or 10?
10
Let u be ((-7)/42 + 12/(-9))*(-8)/(-61626). Are -1 and u unequal?
True
Let v = -24192 - -25321. Which is bigger: v or 1131?
1131
Let i be -737*26/(32 - 6). Which is greater: -749 or i?
i
Let l(o) = 197*o - 2478. Let f be l(33). Is 4026 equal to f?
False
Suppose t - 3*t = -t. Suppose 60*g - 65*g - 5 = t. Let r = 1/28 - 3/35. Which is bigger: r or g?
r
Let c be 18/12 + (-2)/(-4). Let l = -5044 + 65594/13. Is l greater than c?
False
Suppose -82560 = 17*v - 7*v. Let f be v/(-144) + 3/((-9)/(-2)). Which is greater: f or 57?
f
Suppose 5*y = -11*y. Suppose -11*a + 16*a = -4*q - 5, -2*a - 2*q - 2 = y. Is -1/407 less than a?
False
Let u = 63 + -45. Suppose 0 = -u*k - 0*k + 18. Which is bigger: k or 2/101?
k
Suppose a + 9*j + 2964 = 0, 4*a + 5*j + 1247 + 10454 = 0. Does -0.2 = a?
False
Suppose 2*v - 21*v + 2254 - 2197 = 0. Is v < 327/83?
True
Suppose 0 = 2*y + y, 5*o - 3*y = -245. Let c = -21 - o. Is 27 <= c?
True
Let l = 3825065/854 + -4479. Is l less than -1/3?
False
Let y(l) = 55*l - 963. Let t be y(18). Is t smaller than 450/17?
False
Suppose f = -22 + 67. Let t = -173 - -148. Let k = t + 71. Which is smaller: f or k?
f
Let p(q) = -q**3 - 37*q**2 + 8*q + 264. Let a be p(-33). Is a >= -4356?
True
Suppose 9 = 3*u, -2*q - 5*u - 80 = 3*q. Suppose 38*t = -1921 + 3315 - 1850. Which is greater: q or t?
t
Let x = -17/3741 + 5375936/26187. Which is greater: x or 204?
x
Let p(c) = -31*c + 692. Let a be p(-65). Is a less than 2707?
False
Let f = 63478 + -952982/15. Let q = -54 - f. Is q less than -4?
False
Suppose -172995 = 66*z - 61455. Which is smaller: -1689 or z?
z
Suppose -1414 = -171*w + 178*w. Let a = w - -152. Is 1 at least as big as a?
True
Suppose 2*x = 11*x. Suppose -4*z + 87 = q, x = 2*q + z - 38 - 101. Let a be (-6)/18 + q/3. Which is greater: 23 or a?
23
Let b = -3676.9 + 3169. Let n = b - -508. Is n smaller than 4/5?
True
Let u be ((-24)/28)/((-18)/308)*(-675)/50. Which is bigger: u or -2586/13?
u
Let c be 848/106 + (-18)/2. Which is greater: -7/297 or c?
-7/297
Let a = 260 + -785/3. Let j be 8/(-30) - 15/((-150)/(-4)). Which is bigger: a or j?
j
Let r = 88439/10675 + -207/25. Let n = r + 1763/1281. Which is bigger: n or 2?
2
Suppose -185*h + 1832 = -82*h + 126*h. Let l(x) = 6*x**2 - x. Let k be l(1). Which is bigger: h or k?