14 + -0.356. Let g = h + 34.77. Let w = 34 - g. Are -0.07 and w equal?
False
Suppose 15510 = -1831*c + 1666*c. Let p = 15 - 108. Which is smaller: p or c?
c
Let t = 508 - 504. Let i be ((-14)/t - -3)/(2/2264). Which is smaller: -567 or i?
-567
Let x be (32/(-176))/(-90 - 2)*(-5 - 4). Which is smaller: 1 or x?
x
Let s = 166/37 - 53404/407. Is -128 at least as big as s?
False
Let s be 3/1 - (6 + 3). Let z be ((-63)/14)/(s/18). Is z equal to 14?
False
Let r be -1 - (-6)/(-9)*-6. Suppose -r*j - 5*w = 105, -3*w + 0*w + 35 = -j. Let a(p) = 257*p + 221. Let h be a(-1). Are h and j non-equal?
True
Suppose -3*n + 5*m + 22 = 3, 2*m = -4*n + 8. Let w(x) = -44606*x**2 + 2 + x + x + 44605*x**2. Let u be w(n). Is 2/11 at most as big as u?
False
Let i(c) be the first derivative of -3*c**2/2 - 73*c - 23. Let h be i(-17). Is h > -228/11?
False
Suppose 0 = 93*y - 100*y - 2107. Is y at least as big as -338?
True
Let i = 1 + -0.5. Let x = 58.5 + -46. Let g = x + i. Is g smaller than -1/4?
False
Suppose q + 4*m = 3*q - 50, -m - 107 = -5*q. Suppose -g + 11*g = 170. Suppose -g*j - 8 = -q*j. Which is greater: 1/3 or j?
j
Let p = 38.35 - 37.35. Which is smaller: 38.6 or p?
p
Let b(q) = -39*q**2 + 344*q + 3. Let a be b(9). Suppose 7*p = -570 + 136. Is a at most p?
False
Suppose r = -2*l + 37, r - 31 = 3*l + 21. Suppose -2*m = -7 + r. Which is smaller: m or -16?
m
Let h be (-682)/124*-7*2. Let g = h + -77. Is g < 2/147?
True
Let r be 12690/8820 - ((-9)/(-2) - 3). Which is smaller: r or -62?
-62
Let f = -5239 + 5392. Are f and 122 unequal?
True
Let l(k) = 30*k + 95. Let j be l(-3). Suppose -b = j*y - 10*y - 13, 3*y + 3*b = 3. Which is bigger: y or -42/23?
-42/23
Let z(i) be the third derivative of 0*i - 1/12*i**4 - 1/15*i**5 + i**3 + 16*i**2 + 0 + 1/120*i**6. Let g be z(4). Does -12/17 = g?
False
Suppose 2*r - 2079 = -r. Let p be 2/(-4)*(-36)/r. Suppose -20 = -3*l + 8*l - 4*o, 5*l + 5 = o. Which is greater: l or p?
p
Let x be (-25870)/2990 + (1 - 14). Is -21 at most as big as x?
False
Suppose 163 = 4*j + 4*v + 167, 2*j = -4*v. Which is bigger: -2/985 or j?
-2/985
Let m = 1351 - 2049. Let v = m + 700. Which is greater: v or -2/33?
v
Let o = -1 + 1. Let r = -22676/5794635 + 2/33495. Is o smaller than r?
False
Let f = -13 + 20. Let t = 9 - f. Let q be 390/126 - 2/21. Do t and q have different values?
True
Suppose -193*i - 525 = -1490. Which is smaller: 0.15 or i?
0.15
Let x = -10416 - -10395.05. Which is greater: x or -1?
-1
Let o(z) = z - 10. Let f be o(10). Suppose f = 6*c - 3*c. Let v = -1577/5 + 314. Is v less than or equal to c?
True
Suppose -11 = 3*v - 5*o - 65, 4*v - 4*o - 80 = 0. Suppose -31*t = -v*t. Which is bigger: t or 2/737?
2/737
Let c = 13264 + -11797. Which is smaller: c or 1469?
c
Let f be 166/(-322) - (-93)/217. Let z be 234/378 + 2/(-7). Is z at most f?
False
Let r be -4097 + (-6)/(-2) + (-8 - -12). Let q = r + 196313/48. Is q greater than 0?
False
Suppose -2*i - 749 = -3*m, -85*i = -m - 84*i + 247. Which is greater: m or 279?
279
Let y be 4/(-4206)*(123/328)/(10/(-12)). Do -1 and y have the same value?
False
Let r be 10/45 + -83478*9/(-243). Is 3092 <= r?
True
Let x = 1 + -16. Let v be ((-5)/x)/((-1)/(-24)). Let l be (0 - (-4)/v*4)*-1. Are 0 and l nonequal?
True
Let r = -3.97 + 7. Let a = -2.83 + r. Which is smaller: a or 13/15?
a
Let d be (1788/18)/(24/9). Let s = d - 5207/140. Are s and 0 equal?
False
Let u(j) = -52*j**3 + 3*j**2 + 249*j - 762. Let b be u(3). Are -1393 and b non-equal?
True
Suppose 0 = -36*v + 2532 + 3480. Is -13 at least as big as v?
False
Suppose 2*b = 2*l + 4, 10 = 4*l + b - 2. Suppose -5*t + 83 = 4*g, 2*t + l*g + 0*g = 34. Let i = -1 + 2. Is t >= i?
True
Let w = -120 + -94. Let h = 213.6 + w. Which is greater: h or 42?
42
Let i be -4 + 30/(-2)*(-16)/96*2. Which is smaller: -2/18427 or i?
-2/18427
Let h = -3080 - -3079. Which is smaller: -1/244 or h?
h
Let f be 2/(-7) - (45*6/(-63) - -5). Which is bigger: -2/16657 or f?
-2/16657
Suppose 2*a - 310 = -2*p, 2*a = 5*a - 6. Let x = -152 + p. Do -2/59 and x have different values?
True
Let x be ((-2)/5)/((-158)/300). Let l = 1753/1580 - x. Is l > -1?
True
Let k(s) = 1439*s**2 + 24*s + 26. Let h be k(-1). Is 2/7 greater than h?
False
Suppose -24*v + 17*v + 3822 = 0. Suppose -5*b - v = -4*u, -u + 53 = -3*b - 276. Which is bigger: -113 or b?
b
Let k = -4459 - -4436. Is k at most 0.042?
True
Let h be -1 + -77*(-1 + 2). Suppose -5*n = 18*l - 20*l - 144, -2*n + 73 = -l. Is l > h?
True
Let r = 195 - 71. Suppose -456 = r*w - 132*w. Which is smaller: w or 58?
w
Let k be -853 + (-64)/160*(-4 - -9). Is k at most -854?
True
Let m = 3454.85 - 3455. Let a = 0.06 - -9.94. Is a at least as big as m?
True
Let w = 54177 - 54113.909. Let q = 33.144 - w. Let x = q + 30. Which is greater: x or 0.1?
0.1
Let l be 2/4*(19 + -19). Let d be (-4)/(-3) - 12/9. Suppose 15*g - 14*g = d. Is l > g?
False
Let w = 0.36236 + -0.36236. Is w greater than 821?
False
Let y = 167562.91 + -168492. Let s = y + 929. Let q = -7 - -4. Is s greater than or equal to q?
True
Suppose z - 4*v - 140 = 0, 3*v - 151 = -2*z + 74. Suppose 0 = -3*y - 21*y - z. Let j be (-2 - -1) + 46/(-14). Is y >= j?
False
Let b be (160/360)/(12/18). Which is greater: b or -3119?
b
Let b be 0 + 9 + -3 + -3 + 114. Let f = 14 - b. Let t = -97 - f. Is 7 at most t?
False
Let m be ((-1535)/(-25) - -11) + (-4)/10. Suppose 0 = 5*s - 22 - 268. Let y = m - s. Which is smaller: y or 2?
2
Let c = 17 + -21. Let m = 42 + c. Let r = m + -39.2. Is 2 smaller than r?
False
Let c = 150479/53 + -2839. Let p(y) = y**2 - 13*y - 115. Let s be p(19). Which is greater: s or c?
c
Let n be 2 + 1 + (2 - 3). Suppose 5*t - 3*v + 151 = 0, 0 = -4*v + 6 + n. Let c = -10125 + 10097. Does t = c?
False
Let n = 0.55634 + 0.04366. Which is smaller: -3.94 or n?
-3.94
Let f be (-5)/(-10) + (-8 - (-202)/28). Which is bigger: -180.7 or f?
f
Let p = 1 + -43. Let r = 45 + p. Let z(g) = -g**3 + g**2. Let c be z(r). Is -18 at least as big as c?
True
Let x = 24320 + -2018508/83. Is 1 at most as big as x?
False
Suppose 2*d - 4*k = -314, -53*d + 55*d + 289 = -k. Which is smaller: -148 or d?
-148
Let v = 40 - 68. Let t = 0.047 + 108.953. Let p = t + -108. Do v and p have the same value?
False
Let v = -0.0432 + 216.0432. Let n = v - 214.7. Which is bigger: n or 0.06?
n
Let g be 18 - 19/((-95)/(-260)). Suppose -4*y + q - 411 - 18 = 0, y + 5*q = -123. Let j = y - -75. Which is bigger: j or g?
j
Let j be (-10)/(1760/348) + 2. Let x = 772/5 + -154. Which is greater: x or j?
x
Suppose 57*i + 22*i - 15*i + 576 = 0. Suppose 20 = u + 4*u. Let x be 34/(-4) - (-2)/u. Is x > i?
True
Let s(t) = -t**2 + 9*t - 9. Let m = -106 + 106. Suppose m = 12*c - 212 + 68. Let p be s(c). Do p and -45 have the same value?
True
Let h = -0.369 - -0.196. Suppose -11*b + 12*b = -5*z + 4, -4*b = -3*z + 7. Is h greater than z?
False
Let y be (-4)/(-10) + 7 + 481/(-65). Let m be (-8424)/8496 + (-2)/(-2). Which is greater: m or y?
m
Let p(j) = 51 - 15*j - 49 - 51. Let t be p(-3). Which is smaller: -28 or t?
-28
Suppose 4*t + 13 = -j, 73*t = 70*t + 2*j + 15. Let b be (-255)/(-132) - 0 - 2. Let g = 9/110 - b. Is g < t?
False
Let p(s) = -s**2 + 7*s + 1479. Let l be p(50). Is l <= -671?
True
Let t(w) = -w**2 - 120*w + 4681. Let u be t(-151). Which is smaller: u or -71/353?
-71/353
Let y be (1*-1)/((-6)/222). Suppose -2*o - 3*r = y, -3*r = 3*o + 60 - 6. Let u = o - -55/3. Are 2 and u unequal?
True
Let c be (-295)/590*1/2. Does c = -5019?
False
Let y = -0.335 + 0.335. Let r = 0.395 + -0.44. Which is smaller: y or r?
r
Let o(l) = l**3 + 83*l**2 + 167*l - 105. Let z be o(-81). Does z = -514?
False
Let d(a) = -a**2 - a - 2. Let l be d(-2). Let v(c) = -32*c - 13*c**2 + 13 - 3*c**3 + 10*c**3 - 8*c - 8*c**3. Let k be v(-6). Which is bigger: l or k?
k
Let z = -452 - -455.17. Let a = z - 2.67. Does 0.09 = a?
False
Let z(l) = -3*l - 15. Let i be z(-9). Suppose -n - i = 3*j, n + n + 5*j + 20 = 0. Suppose -4*m - 3*m - 98 = n. Is m != -1?
True
Let b be -4*1*-3*(-352)/(-1056). Let x(f) = f - 8. Let u be x(6). Let p be b + 1 + 1 + u + -3. Which is smaller: 7/4 or p?
p
Suppose -c + 3*r - 1501 + 1490 = 0, c + 15 = 4*r. Let b = 285 - 1416/5. Let y = b + -109/55. Which is smaller: c or y?
y
Let n be ((-24746)/30 - 3) + (-70)/525. Which is smaller: -831 or n?
-83