*y = 8. Which is bigger: b or c?
c
Let y be 4/8*(-3 - (-255)/35). Let b = -0.46 + 0.66. Which is bigger: b or y?
y
Let g be (-2)/12*-231*(-13)/(-533). Do 1 and g have the same value?
False
Suppose -48*b = -26 + 74. Is 1/1945 at most b?
False
Let v(w) = w**2 + w - 39. Let t be v(6). Let z be 2/t*2 + (-5274)/(-54). Let x = 99 - z. Which is smaller: x or -1/14?
-1/14
Let l(u) = -u - 11. Let c be l(-2). Let p(h) = 19*h + 22. Let w be p(c). Let t = -149 - w. Which is bigger: -7/12 or t?
t
Let w = 0.4 + 0.1. Let x = 109 - 108.41. Let u = 0.29 - x. Which is smaller: u or w?
u
Let w be 16/(336/(-105)) + 1*-2005. Is w at least as big as -2010?
True
Let m = -744 - -749. Let o be (191 + -1)*m/(-45). Which is greater: -21 or o?
-21
Let p = -31682/39 - -2474/3. Is 11 != p?
True
Let l(g) = g**3 + 7*g**2 - 6*g - 11. Let a be l(-8). Let p be ((-9)/174)/(a/(-6) - 5). Which is bigger: p or 0?
p
Let z = -327.3368 - 0.6132. Let i = z + 329. Which is greater: i or 3?
3
Let q = -0.461 - 0.149. Let n = -0.7 - q. Let t = -4.61 - -6.61. Which is smaller: t or n?
n
Let g be (-3)/(-30)*2 - (-12)/(-90)*-6. Is g != -6/221?
True
Let x be -3 + (-2)/(-1230)*16551/9. Which is bigger: x or 8?
8
Let w be (34/6 + 0)/(-1)*-3. Is w smaller than 13?
False
Let m = 1 + -2. Let x = 1800799/9 - 200089. Which is greater: x or m?
x
Suppose 7*t - 30 = 37*t. Which is greater: t or -1/2556?
-1/2556
Let l be (-4)/6 + (924/9)/7. Let g be l/77 - (-18)/22. Suppose -5 + 33 = 4*j. Which is bigger: j or g?
j
Suppose -n + 2*g + 10 - 39 = 0, 0 = 5*g - 20. Is n at most 3?
True
Let x = -2095/19 - -4037084/36613. Is 0 >= x?
False
Suppose 2*b + 0*b = 4. Let c be (-1)/(280/290 - 1). Suppose b*s + 21 = 5*n, 5*s - 11 = n - c. Which is smaller: s or -3/2?
s
Let y = 821381/14 + -58717. Let p = -93/2 - y. Which is smaller: 0 or p?
0
Suppose 10 + 17 = 132*n - 129*n. Is 487/61 != n?
True
Suppose 0 = -4*u - 383 + 367, -5*u = 5*y - 560. Is 33 >= y?
False
Let u = -2210 + 4166. Which is bigger: u or 0?
u
Let v = 31 + -33. Let r be (-11 + 5)*(-1)/(-4)*v. Suppose 3*g + r*y - 30 = 4*y, -y = 2*g - 25. Which is greater: g or 12?
12
Let l(r) = -r**3 + 22*r**2 + 19*r - 220. Let v be l(17). Is 1545 <= v?
True
Let p be (5 - 3) + 12/(-4) + 2 + 0. Which is smaller: -7013 or p?
-7013
Let i(l) = -3*l**2 - 14*l + 71. Let c be i(-12). Suppose m - 3*a + 118 + 75 = 0, 5*a + 579 = -3*m. Are m and c unequal?
False
Suppose 0 = -3*y + 3, 3*x - 5*y + 326 = -2889. Is x at most -1070?
True
Let h be -49 + 48 + (8 - 6). Which is greater: h or -1343?
h
Let p = -74440/3061377 - -1/10593. Is 0 greater than p?
True
Let z = -6986 - -6985. Which is bigger: 3/5786 or z?
3/5786
Let u = 22282403/920 - 24220. Are u and 1 equal?
False
Let y = -283 - -282.9279. Let q = -0.6779 + y. Is -1 greater than q?
False
Let z be (-147)/63*(-39)/65. Let f be 15/(-6) - -3 - (-2)/4. Which is smaller: z or f?
f
Suppose 848 = 9*b - 2050. Let z be b/14*(-2)/2. Let s(i) = 6*i + 45. Let a be s(z). Is -92 at most a?
False
Let i be ((-39)/52)/(6/8). Which is bigger: i or -1/717?
-1/717
Let a = -13663.3 - -13665. Let u be 6*-1*(-8)/(-12). Which is bigger: u or a?
a
Let d = -8070 + 6586. Is -1486 less than d?
True
Let k(o) = 2*o**3 + 5*o**2 + o + 26404. Let b be k(0). Is b less than or equal to 26403?
False
Let y = 1540 + -1544. Is y at least -3026?
True
Let s(g) = g**3 + 13*g**2 + 20*g + 56. Let j be s(-12). Let p be (j + 70)*(20/(-3) + -1). Which is bigger: p or -0.1?
-0.1
Let d(m) = m**3 - 21*m**2 + 21*m - 22. Let z be d(20). Let g be z/6 + 0 + 2. Let v(y) = -2*y**3 - 8*y**2 + 4*y - 28. Let k be v(-5). Which is smaller: g or k?
g
Let a = 16291 - 6923687/425. Is a <= 0.2?
True
Let d(b) = 24 - 68 - b**2 + 58*b - 72*b. Let f be d(-6). Is 4 < f?
False
Let i be (338/(-1183))/((-20)/14) - (-16)/(-30). Is 315/19 bigger than i?
True
Let d be -5 - 8/((-544)/220). Let h = -93/34 + d. Which is smaller: 0 or h?
h
Let d(p) be the second derivative of p**5/10 - p**4/3 - p**3 + 6*p**2 - 36*p. Let i be d(5). Which is smaller: 130 or i?
130
Let l be 4/(-6) - (-12)/9. Let p(q) be the third derivative of -q**4/24 + 11*q**3/6 + 18*q**2. Let w be p(11). Is l less than w?
False
Suppose 0 = -4*x + 2*i, 2*x - i - 6 = -3*x. Let c be -4*(-1)/(-2)*-2. Suppose -x*q = 2*b + 6, 1 = q + c*b + 13. Which is bigger: q or 1/128?
1/128
Let w be -4*(2/40)/((-132)/165). Which is bigger: w or 1518?
1518
Suppose 5*n + 4 = -2*s, -2*s = n + 2 + 2. Suppose 8*r - 45 - 51 = n. Is r smaller than 12?
False
Let l be (12/(-3))/16 - (-18614)/(-104). Let c = -179 - l. Suppose -n = m - 2, -2*m + 7 = -0*m + 5*n. Which is smaller: c or m?
c
Let f = 636 + -620.9. Let z = f + -15.29. Let k be ((-1)/5)/(2 + -1). Is k greater than or equal to z?
False
Let f = -23.72 - -23.8. Do -40 and f have the same value?
False
Let a = 471 - 301. Let s = a + -341/2. Which is bigger: s or -52?
s
Let v = 2917 + -3008. Does v = 1.2?
False
Let a(t) = -t**3 + 5*t**2 + 3*t + 1. Let b be a(-5). Let r = 235406 + -235171. Is r equal to b?
False
Let h = 139 - 127. Suppose -h*b = -22 + 10. Is 6/7 > b?
False
Let z = 138 - 136. Suppose g - 4*a = 0, 4*a - 9*a = -g + z. Let b be (2/4)/(2 - 4). Which is bigger: g or b?
b
Let i(p) = p**2 - 20*p + 21. Let k be i(19). Let o = 0.134 - 91.134. Let z = -82 - o. Which is bigger: z or k?
z
Let r = -0.0528 - -171.0528. Let w = r + -171. Is 185/4 > w?
True
Let b be (1*82)/((-28)/(-14)). Let t = -33 + b. Suppose r + 2*r - 13 = -5*h, 5*h - t = 2*r. Is r at least as big as 1?
True
Let g(v) = 19*v**3 - 3*v**2 - 3*v - 2. Let f be g(2). Let w = -5 + f. Does w = 127?
True
Suppose -4*o = -0*o - c, 5*o - 17 = -3*c. Let u be ((31 + 1)/(3/30))/o. Suppose -3*h + 92 - u = 0. Which is greater: h or -77?
h
Suppose 7*m - 12 = -2*c + 10*m, 5 = c - m. Suppose z - 4075 = c*k + 692, -3*z = 5*k - 14357. Let v be (z/534)/(-9) + 1/1. Is v < 0?
False
Let c(l) = 2*l**3 + l**2 + 72*l + 465. Let u be c(-6). Is u greater than 2/17?
False
Let j(n) = n**3 + n**2 + 123*n - 662. Let x be j(5). Which is bigger: x or 169?
169
Suppose 0 = -5217*j + 5238*j + 168. Is 13 != j?
True
Let m = 233 + -362. Let f = -1423/11 - m. Which is smaller: f or 6?
f
Let d = 3638698501/7814 + -465664. Which is greater: d or 1?
1
Let k be (-4165)/(-34) - (1 + 3/6). Which is smaller: k or 132?
k
Let r(h) = -2*h**2 - 48*h + 435. Let n be r(7). Is -2/6233 less than or equal to n?
True
Let l(p) = -498*p + 130. Let f be l(-1). Which is smaller: 623 or f?
623
Let g = -2349 + 2977. Which is bigger: g or 627?
g
Let j = 125.9614 + -0.0614. Let o = 126 - j. Which is greater: o or -10?
o
Let y be ((1 - 1) + 10/(-60))/(6/(-18)). Is y greater than or equal to 1504?
False
Suppose -10*m - 3*m = -78. Suppose 2*u + m = -108. Which is greater: u or -59?
u
Let f be 12/(-1*3)*(-8)/(-32). Let w(a) = 11*a + 1. Let u be w(f). Let t be ((u + 8)*(-1 - 0))/(-2). Which is smaller: -1/16 or t?
t
Let m = 2.824 - 4.124. Which is smaller: 20 or m?
m
Let t = -1216 + 1750. Let c = 530 - t. Which is bigger: 4 or c?
4
Let k = -88 + 87.8. Let a = -0.249 - k. Which is smaller: 2 or a?
a
Let q(f) = -2*f. Let p be q(-3). Suppose -p*g + 5*g + 81 = 0. Let w be g/(-45) + (-8)/(-10). Which is smaller: w or 2/37?
w
Let u = -278 - -62. Let r be 80/u*3/4. Are r and 0 non-equal?
True
Let z = -182 - -532. Let c = z + -340. Is 3/7 > c?
False
Suppose -4*n = 4*i - 164 - 44, -2*n = i - 49. Suppose c + i + 1 = 0. Let a = -1321 - -1321. Which is smaller: c or a?
c
Let q be 34/51 + 659/(-3) + -5. Is -225 greater than q?
False
Let k = 56 - 55. Let c(t) = 7*t + 1. Let i be c(7). Suppose 7*q - 34 = i. Is q equal to k?
False
Let x = -1602.4 + 1600.4. Which is greater: 3412 or x?
3412
Let r(b) = -b**2 - 21*b + 14. Let d(h) = h**2 + 28*h + 30. Let a be d(-26). Let y be r(a). Let v = -15 - -5. Are y and v equal?
False
Let o = -130 - -634. Let f = o + -498. Let c = 1 + -2. Which is bigger: c or f?
f
Suppose 5296*v = 5278*v. Let o = -344 + -190. Which is smaller: v or o?
o
Let q(i) be the first derivative of -4*i**3/3 + 2*i**2 - 27. Let a be q(2). Which is greater: a or -11?
a
Let a(c) = 4*c**3 + c**2 - 4. Let n be ((-9)/6*1)/((-1)/2). Let g be a(n). Let i = -139 + g. Which is greater: i or -24?
-24
Let g = 1293/7 + -185. Let p = -9518 + 9512.6. Is p >= g?
False
Let d be (-10)/2 + (-3)/(225360/103210). Let r = d + -1/939. Is -5 eq