 j and 0.1 have the same value?
False
Let b = -44041/4 - -40517721/3680. Which is smaller: -1 or b?
-1
Let v = 3 + 5. Suppose -5*z + 4*l - 29 - 8 = 0, 0 = -z + l - v. Let j = -513 - -511. Do j and z have different values?
True
Suppose 2*o - 9 = -3*u + 56, -3*u + o + 53 = 0. Suppose 2*y + u = -7. Let n(b) = -2*b - 35. Let s be n(y). Does s = 0.3?
False
Let a be (-15 - (20 + -9379)) + -19. Which is bigger: 9326 or a?
9326
Let c = 166 + 86. Suppose -4*v + 524 = -q - q, -2*v - 4*q = -c. Let z = v - 97. Do z and 32 have different values?
True
Suppose 8*m - 1335 = 11*m - 3*s, 5*s = -9*m - 3907. Is -1315/3 >= m?
False
Suppose 0 = 17*i - 13*i + 1728. Let d = 431 + i. Suppose -o + 3 = 0, x - 4*o + 13 = 2. Which is greater: x or d?
x
Let l be ((2056956/(-110768))/11)/(-3). Let f = 3/1204 + l. Which is greater: f or 1?
1
Let i = 15304 + -24593531/1607. Which is greater: 1 or i?
1
Let o = -10723 + 11267. Which is greater: o or 539?
o
Let r = -21339 - -21536. Which is bigger: 33 or r?
r
Let b = 975 + -1111. Is -131 at least as big as b?
True
Let k be (-13)/234 + (-1 - -1). Suppose -7 = 2*b - 5*n, -2*n + 27 = 25. Is b <= k?
True
Suppose -1794*w + 1819*w = 150. Which is smaller: w or 110/17?
w
Let l = -321 + 320.9944. Let q = 9.9944 - l. Is 7 at most as big as q?
True
Let v(z) = z**3 + 5*z**2 + z. Let j be v(-4). Let w be ((-26)/3)/(j/54). Suppose -8*r = -3*r - 2*q + 199, 2*r = -4*q - 70. Are w and r nonequal?
False
Suppose -3*k = o + 4, -3*o + 4*o + 4 = -k. Let y = -40/437 - -3/46. Is y < k?
True
Let g = -2/3101 - -77771/381423. Which is greater: g or 2/11?
g
Let g(j) be the first derivative of j**3/3 - 7*j**2 + 14*j + 19. Let n be g(13). Let o = 68 + -77. Are n and o unequal?
True
Let x be 64996*3/(-10266) + 19. Is x greater than or equal to 0?
True
Let v = -418 + 583. Let d be (-33)/v*(-566 - -1). Which is bigger: d or 112?
d
Suppose -1 = -5*r + 3*h - 15, h = -4*r - 1. Which is greater: 62/187 or r?
62/187
Suppose -g - 9 = 2*q + 1, 0 = 2*g - 2*q - 10. Let l(r) = -3*r**2 - r + 2. Let c be l(-2). Let b be (-61)/114 + (-4)/c. Which is bigger: g or b?
g
Let l be (-12)/6*(-11)/(-66)*-399. Which is greater: 120 or l?
l
Let s = 9427689497/953950920 - 82225/8301. Let g = s + 1/1690. Which is bigger: g or 1?
1
Suppose 0 = 3*y - 5*u - 25, 3*y = -5*u - 0*u + 5. Let i be 92/2*y - 0. Suppose 13*v + i = 3*v. Which is smaller: v or -24?
-24
Let y(g) = 58*g**2 + 317*g + 30. Let u be y(-7). Is 650 != u?
True
Let z = -17156 - -15818. Which is smaller: z or -1336?
z
Let a(v) = -19*v**2 + 52*v + 167. Let j be a(-3). Does j = -160?
True
Suppose 2*o - 9*f + 8*f = -179, -2*f = 3*o + 251. Let l = 10 + o. Let q = 55 + l. Is -24 less than or equal to q?
True
Let f be (-13)/(-117) - (-104)/36 - (2 + -833). Is f at most 832?
False
Suppose 3*h = 19 - 82. Suppose -3*f = -5*s - 105, -5*s - 5*f + 3*f = 130. Does h = s?
False
Suppose 5*r + 2*f = 35, 5*r + 2*f = 7*r. Suppose -5*c + r*k = 3*k - 8, 0 = c + 3*k + 12. Suppose -2*q + 2*s + 12 = 0, -2*s + c*s = 8. Is -7 != q?
True
Let m be (9*385/(-33))/((-4)/28). Which is greater: m or -1.4?
m
Suppose -5*r - 4922 = -2*c, 4*r = 3*c - 1993 - 5383. Are c and 2456 equal?
True
Suppose -5*b = p - 5, -2*p + b = 5*b + 8. Let o be p*((-27)/6 + 3). Let y = -26 + o. Which is greater: y or -10?
-10
Let f = 69.163 - 0.863. Let p = f - 65. Let k = p - 3.5. Is k at least as big as 6?
False
Suppose 2*w - 22 = 18. Suppose -11*z + 2*z = 0. Suppose -p + 92 - 73 = z. Which is smaller: w or p?
p
Let w = -527099 - -527103. Let s = 3 - -5. Let d = -2 - s. Which is bigger: w or d?
w
Suppose 3*u - 15 - 128 = -2*h, 5*h = 4*u + 346. Let f = -92 + h. Let q be 625/(-30) - 2/12. Which is smaller: f or q?
f
Let a = -0.7997 - -0.763. Let x = -27.0367 - a. Is x greater than or equal to 2?
False
Suppose -5*r = 4*o - 2938, 2*o + 3*r - 1208 = 262. Let c = -708 + o. Which is greater: c or 4?
c
Let n(h) = 2*h**2 + 3*h + 4. Let b be n(-4). Suppose b = z - 9*z. Let j be (-1)/z - -148*(-7)/2604. Does -1 = j?
False
Let u(o) = -o**2 + 2*o - 18. Let t(c) = -2*c**2 + c - 16. Let v(b) = 2*t(b) - 3*u(b). Let m be v(-7). Which is smaller: m or 1/15?
1/15
Let n(h) = h**3 - 22*h**2 - 18*h + 84. Let s be n(23). Let z = s + -211. Which is smaller: z or 5?
z
Let u be (-62)/(-14136)*(-6)/(-4). Which is greater: u or 3/2?
3/2
Suppose 2*u - 218 = 5*y, 134 = -4*y - 3*u - 22. Let b be 1/((-56)/16) - 40/y. Let p be (-1)/(21/12 - 3). Do p and b have the same value?
False
Let z = -24 + -4. Let i be (6/z)/((-6)/(-16)). Let y(n) = n**2 + 11*n + 8. Let s be y(-10). Is s greater than or equal to i?
False
Let f be 12/(-20) - (-1178)/5. Let j be (-2)/8*(f/45 - 5). Suppose 3*d + 27 = 30. Which is smaller: d or j?
j
Let n(c) = c**2 + c + 40. Let l be n(0). Let t(i) = -i + 32. Suppose 15*v + 74 = -46. Let z be t(v). Is z <= l?
True
Let v = 11.776 - 10.776. Which is bigger: -2165 or v?
v
Let s = 5242 - 3981. Is 1261 at least as big as s?
True
Let b(v) = -v**2 + 8*v - 7. Let w be b(6). Suppose p + 5*q = 2, -39 = -w*p + 5*q - q. Suppose -55 = -2*s + 3*u - 22, -3*u = 5*s - 30. Is p < s?
True
Let f be (6/84*0)/(-8). Which is bigger: 53/55 or f?
53/55
Suppose 321 = -7*h + 6*h + m, 1305 = -4*h - 3*m. Let o = -265 - h. Do 60 and o have different values?
True
Let b = -0.546 + 123.546. Let t = -0.7 + 159.7. Let a = t - b. Is a >= -2?
True
Let z(t) = -698*t**2 + 5*t + 5. Let n be z(-1). Let g = n + 678. Which is smaller: g or -18?
g
Suppose 0*h - h = -2*t - 50, 0 = 3*t + 12. Suppose 5*i - z + 57 = 9, z = -4*i - h. Do i and -10 have different values?
False
Suppose p + 6*p = 42. Let q be 8/6 + (2 - (-28)/p). Suppose q*d = 2*d. Which is smaller: -0.8 or d?
-0.8
Let v be (-5 + 6/2)*(0 + -2). Let r = 1 + v. Suppose -3*c + 6 = 0, r*a - 3*a - 6 = -c. Is 7/5 bigger than a?
False
Suppose -a + 425 = x, -4*a - 2*x + 2544 = 854. Let c = -673 + a. Which is greater: -252 or c?
-252
Let o = -14300 - -743627/52. Let l = 10/13 - o. Let m = l + -57/100. Is -1 at least m?
False
Let l = -6/29 - 75/58. Let p = -154 + 309/2. Is p < l?
False
Let h(o) = -8*o**2 + 7*o**2 + 8*o + 0*o - 4. Let z be h(7). Suppose -6*u + z*u - 3 = 0. Is -2/25 bigger than u?
True
Let r = 0.13 + 16.87. Let z = r - 42. Let b = 95 - 94. Is z >= b?
False
Let g be 24 - 29 - (-169)/39. Does g = 6357?
False
Let n = 0 - 38. Let j = n - -40. Let h be (-21)/56 - j/(-8). Which is smaller: h or -1?
-1
Let f(k) = 2*k + 24. Let y be f(-5). Suppose y = -5*b - 2*b. Let m be (7 - (6 - 3))*1/b. Which is greater: 2 or m?
2
Suppose -2 = 2*i - 3*q, 4*i - 5*q + 15 = 3*i. Suppose 0 = 4*d + 5*z - 3*z - 34, 5*z = i*d - 65. Let b = 67 + -59. Which is bigger: b or d?
d
Suppose 2*j = -1973 - 5807. Let p = j - -610732/157. Which is bigger: 1 or p?
1
Let t = -1773 + 1748. Is -19 less than or equal to t?
False
Let t(d) = -d**3 + 6*d**2 - 5*d - 9. Let g be t(5). Let i = g - -13. Suppose -o - 24 = -5*c, -7*o - i*c = -2*o - 25. Which is bigger: -2 or o?
o
Let r be 45/30*(-30832)/84. Which is smaller: r or -551?
-551
Let f be (-4250)/86165 - (-4)/76. Which is bigger: 1 or f?
1
Suppose 10*y - 48 = 13*y. Let h = 6 + y. Let b = 408 - 410. Which is smaller: b or h?
h
Let h be (-165)/57 + 0/1 + 3. Let w = -36 + 16. Let i = 21 + w. Which is smaller: h or i?
h
Let y = 13556 - 13556.1. Which is smaller: y or -33/244?
-33/244
Let f(x) = -9*x + 36. Let g be f(6). Let n be -11 - g - (5 + 3). Let a = 17/3 - 145/24. Is n >= a?
False
Let v(n) = n**2 - n + 2. Let h be v(-5). Suppose -h = -5*d + 8. Let b be d - 4 - (2 - -2). Which is bigger: -4/25 or b?
b
Suppose 0 = 5*r + 3*z + 29, 2*r + 0*r = -5*z - 23. Let t be -98 + (r + 6)*1. Let m be 16/t*(-19)/1. Which is smaller: m or 2?
2
Let a(n) = -110*n - 1462. Let y be a(-35). Is y not equal to -1/2?
True
Let d(h) = h**3 - 6*h**2 + 10*h - 5. Let p be d(5). Let f be 1084/(-10) + 8/p. Let s = 865/8 + f. Is s less than or equal to -1?
False
Let b = 80 - 80. Is b greater than -5/1218?
True
Let t be 8*(13/(-2) - -6). Let z be (20 - 0)*2/t. Which is smaller: z or -32/3?
-32/3
Let r = -10 - -9.82. Let f = 0.165 + r. Let p = f + 0.315. Which is smaller: p or -0.06?
-0.06
Let z(p) = 2*p**3 + 15*p**2 - 163*p - 61. Let b be z(-13). Suppose r + 3*r = 5*h - 1001, 4*h + 3*r = 776. Do h and b have the same value?
False
Let v = 33.9 + -171.9. Let u = -135 - v. Which is smaller: u or 