b = 3666 + -3666. Which is smaller: 10/397 or b?
b
Let o(z) = z**3 - 7*z**2 + 2*z + 7. Let i be o(7). Suppose -2619*d + 0 = -2652*d + 66. Do i and d have different values?
True
Let z(s) = -s**2 - 17*s - 60. Let w be z(-13). Let k be (-7 + 5)*(60/w + 4). Which is bigger: k or 9?
9
Let z = -72 + 68.3. Let n = z - -4. Let w = n + -0.3. Is w < -3?
False
Suppose 1 = -4*f - q - 2, -2 = -2*q. Let a be ((-133)/19)/(1 - 1/2). Let i be (6/a)/((-418)/(-77)). Is f bigger than i?
False
Let m = 1 + -1. Let w = m - -0.1. Let s = -3846 - -3875. Which is smaller: s or w?
w
Let l = -43441619 + 130933037205/3014. Let v = l - -6/137. Let k = v - -14/11. Is k != -16/3?
True
Suppose -w + 1372*c - 10 = 1375*c, 3*w + 4*c = -15. Is w at most 3/12484?
True
Suppose 3*w - 2422 = 2684. Let h be 855/w - 19/38. Is -1 less than h?
True
Let i = -2533 + 2989. Are 463 and i equal?
False
Let c be 20/6*(-5)/((-100)/48) - 5. Let o = 18 - 13. Is o equal to c?
False
Suppose -5*w - 52 - 354 = u, 402 = -5*w - 2*u. Is -23 >= w?
True
Let d be -2 + 36 + -3 + -5 + 4. Suppose 0 = -29*s + d*s - 5. Which is bigger: 17/3 or s?
17/3
Suppose 0 = -4*b + 3*p - 375, -5*p + 60 - 75 = 0. Is -48 less than b?
False
Let v = -39.46 + 2.66. Let z = -41 - v. Let i = z - -3.8. Which is smaller: -3 or i?
-3
Suppose x - 3*k + 41 = 0, 2*x = -k - 4*k - 71. Let j = -84 - x. Let d = j + 51. Which is smaller: d or 56/9?
d
Let b = -1409 - -1409.027. Which is smaller: b or 10?
b
Let z be (-34*3/12)/((-3)/(-12)). Let v = z + 118. Suppose -4*q + v = -4*a, -2*q + 2*a + 14 = 7*a. Is q < 18?
True
Let u = 6/1379 - 29349/7696199. Is u <= 1?
True
Let w = 2596758 + -1545069304/595. Let a = -8/119 + w. Which is smaller: a or 2?
2
Let h = -41 - -43. Suppose -s - 3 = -3*c - h, 2*s + 26 = -2*c. Let q be 7 + -3 + 36/s. Which is smaller: q or -5?
-5
Let n be -1 + 12 - (-345)/(-5). Which is bigger: n or 0.4?
0.4
Let i be 192 + -194 - ((-1)/2 + 341/2). Are -148 and i equal?
False
Let r = -24911/12 - -2078. Let c be (162/(-36))/(3 + (35/(-10) - 1)). Which is smaller: c or r?
r
Let x be (-2)/3 - (-206)/3. Let v(s) = s**3 + 57*s**2 + 61*s + 216. Let d be v(-56). Let z = d + x. Is z > 4?
False
Suppose 3*j = 2*p + 187, -5*j + 4*p + 309 = 2*p. Suppose -55*k = -j*k. Let z be (-2 - -1) + (-3)/42. Is z equal to k?
False
Let g(y) = y**3 - 6*y**2 + 6*y - 4. Suppose -11*b + 5*b = 0. Let j be (-1 + 2)*5/(1 - b). Let r be g(j). Which is smaller: 28 or r?
r
Let c be (24/32)/((-3)/108). Let d = -27 - c. Let o be 7/(-14)*(d + -4). Which is greater: o or -2/7?
o
Let b = -23766.8 - -23767. Do -905.4 and b have the same value?
False
Let s = 0.64 - 66.64. Let i = 0.533 + -66.433. Let a = i - s. Which is greater: a or 31?
31
Let f be 14 - -1 - 1304/88. Let p = 0.05 - 0.07. Let m = p + 0.32. Does m = f?
False
Suppose 21*q - 5086 - 2264 = 0. Suppose 8*a - 10*a + q = 0. Which is smaller: a or 174?
174
Let y be (-2962)/8 - (-24)/(-32). Suppose 105*s = 87*s - 6660. Is y equal to s?
False
Let c be (-23292)/(-18)*(-5)/(-120). Is c < 54?
True
Suppose 0*m + 20 = 5*m. Let x be (-7 + (-1 - -8))*(-2)/(-4). Suppose m*t - g = -x*g - 208, -16 = 4*g. Is t at least -52?
False
Let c = 1 + -0.9. Let m = -228 - -195.5. Let j = -12.5 - m. Are j and c nonequal?
True
Let j = 6.25 - 303.25. Let p = j + 295.7. Are 16/7 and p nonequal?
True
Let q = -53 + -269. Let p = 321.9 + q. Which is bigger: p or 25?
25
Let v = -33704 - -33699.719. Which is greater: v or -3?
-3
Let s = -50210 - -50200. Suppose 3*b + 3*h - 15 = -0*h, 4*h + 25 = 5*b. Which is greater: b or s?
b
Let j(s) = 180*s + 13. Let z be j(-2). Let r = -346 - z. Is r <= 3/154?
False
Suppose -26*v + 60 = -38*v. Let k(n) = n**3 + 8*n**2 + 12*n + 4. Let z be k(v). Is z equal to 142/7?
False
Let y = 3238.1 + -3238. Do y and 1027 have different values?
True
Let v = 1.7523 - 0.3123. Is v at least 55?
False
Let s(b) = -b**2 + b + 3. Suppose -3*m - 5*c - 8 = 0, 2*m - 4*m - 3*c - 4 = 0. Let n be s(m). Is n greater than or equal to -9?
True
Let k = 137.658 + 0.342. Let z = -138.161 + k. Let h = z + -0.039. Is h greater than or equal to -6/17?
True
Suppose -23 = -2*b - 35. Let k be (-8)/b*57/(-38). Which is greater: -21/29 or k?
-21/29
Let u = 53.14 + -2.14. Let m = -6376.93 - -6428. Let h = u - m. Are h and -4 non-equal?
True
Let r = 14 - 11. Let m(i) = i**2 - 2*i - 3. Let g be m(r). Suppose -o + g*o - 37 = 0. Is -37 > o?
False
Suppose 0*p - 13*p - 78 = 0. Let i be (-2)/(4 - (p - -12)). Which is greater: -1/18 or i?
i
Let z be ((-5242)/65)/(4/(-80)*4). Let k = z - 403. Suppose 5*i - 4*i = 0. Which is bigger: k or i?
k
Let y = -681 - -279. Let x = 16.62 - 16.52. Are y and x equal?
False
Let i be 11/(-33) + 386/126. Let z = i - -16213/315. Is 53 smaller than z?
True
Let b = -58569 - -231107/4. Which is greater: -793 or b?
b
Let p be 2 + (-98211)/21 + -22 + (-3040)/(-140). Is -4677 smaller than p?
True
Suppose 0 = -2*t + 4*q - 70, 69 = -4*t - 4*q - 59. Suppose 0 = 3*h - 5*i - 107, h + i + 2*i = 31. Let j = h + t. Which is bigger: -1/23 or j?
j
Let x = 1 - 0. Let j be (139 + -159 + (-1 - -32))*(-40)/2. Do x and j have different values?
True
Let o = -2909411/888 + 9829/3. Which is greater: o or 1?
1
Let p(y) be the second derivative of -y**5/20 - 7*y**4/12 + y**3/6 - 7*y**2/2 + 19*y. Let z be p(-7). Let j be 138/4 + (-7)/z. Is j less than 35?
False
Let d = 2672.3 - 2676. Which is smaller: d or -0.7?
d
Let b be 8/92 + (-130)/7360*12. Which is greater: 16 or b?
16
Let y(m) = 381*m + 8480. Let g be y(-22). Which is smaller: -41 or g?
-41
Suppose -5*v + 452 = 3*n, -2*v + 5*n - 450 = -7*v. Let d(j) = -j**2 + 75*j + 1146. Let q be d(-13). Which is smaller: v or q?
q
Let u = -2.676 - 129.324. Suppose z + 14 = -3*l - 4*z, -5*l = -z - 14. Do u and l have the same value?
False
Let o = 2990 + -2999. Is 1 at least o?
True
Suppose 57 - 13 = 4*x. Let b = 11 - x. Let g be 120/(-170) + -1 + 3 + -1. Which is greater: g or b?
g
Let q be (-6 - 115115/(-19187))*14965892/(-80). Let d = q - 2/13705. Which is greater: d or 69?
69
Let y(n) = 2 + n**2 - 22 + 28 + 16*n + 35 + 20. Let s be y(-9). Suppose -4*u = -0*u. Is s at least as big as u?
True
Let s = -13.5253 - 0.4747. Suppose 10 - 37 = 3*d. Which is smaller: s or d?
s
Suppose -a - i + 7 = 0, 18*a - 19*a - 2*i + 13 = 0. Which is smaller: a or -1/3436?
-1/3436
Suppose 44 = -4*z - 36. Let o be (-16 - -9) + (-50 - -33). Which is smaller: o or z?
o
Let f(z) = -z**2 + 2*z + 34. Let j(h) = 2*h**2 - 5*h - 67. Let v(t) = -5*f(t) - 2*j(t). Let g be v(12). Is g <= 110?
True
Suppose -3*p = -11*p + 72. Suppose -f - 6 = 2*i + 3, 3*f - 3*i + p = 0. Let w be (-16)/(-20) + 309/f. Which is smaller: w or 0.1?
w
Let s be 72/(-54) - (-310783)/232959. Which is smaller: -1 or s?
-1
Let u = -23.2 + 35.2. Let r = -57.4 - -57. Let y = 3.6 - r. Is u equal to y?
False
Let c be -3 + (0 - -1) + 2. Suppose f + 3*q + 13 = c, 5*f + q = f - 41. Which is smaller: -2 or f?
f
Let j = 1895 + -2844. Is -950 at least j?
False
Let m = 6042 - 7814. Does -1771 = m?
False
Let t be 2/(-8) + (-10)/(-8). Let w = 10330 + -10380. Which is smaller: t or w?
w
Let p = 204 + 5016. Let h be (-36)/p + (-1)/5. Which is smaller: h or 0?
h
Let d(w) = -178*w + 643. Let l be d(-21). Do 4380 and l have the same value?
False
Let m be (-126)/54 + (-1)/(-3). Let x be 4/(-26) + (-3 - m). Let i = -95/26 - x. Which is smaller: -3 or i?
-3
Let j = -131.9 + 143. Let p = -11 + j. Let l = -1.63 + 7.63. Which is smaller: p or l?
p
Suppose 4*c - 12 = 0, 82 = 3*z - 4*c + 217. Let k = 69 + z. Is k smaller than 19?
False
Suppose -4*g = -4 + 56. Let l be 18/(-30)*-1 + g/5. Let y be (7/14*3)/(l/4). Which is smaller: y or -2?
y
Let a(y) = -9*y**2 - 6*y - 3. Let q be a(3). Suppose -4*n + 108 = -12. Let j(g) = -g**2 + 26*g + 17. Let v be j(n). Which is greater: q or v?
q
Suppose 0 = 4*n - 7 - 1. Suppose -n*k + 42 = k. Let c be 6/(-8)*(-4 - 484/33). Is c != k?
False
Suppose 24*m = 123 + 669. Suppose m*z = 19*z + 532. Which is bigger: 44 or z?
44
Let u be (-26)/(-3) + 171/27 + -7. Suppose 4*d - 4 = -3*a, -3*a - 5*d - 65 = -u*a. Let v = 1580/3 + -520. Is v smaller than a?
True
Let y(f) = 78 - 165 + 35 - 126 - 3*f - 121. Let a be y(-7). Which is smaller: -280 or a?
-280
Let l = -434506/8569 + -16/779. Which is greater: -52 or l?
l
Let j(t) = -3*t + 14. Let k be j(4). Suppose k*x + 2*x