uppose -2*g - 164 = 350. Is g equal to u?
False
Let d = -1087.1 - -1087. Is d < 63?
True
Let u = 9182.045 - 9182. Is u less than 3/2?
True
Let v(i) be the first derivative of i**3/3 + 9*i**2 + 50*i + 94. Let x be v(-15). Is x != 5?
False
Let o = 105 - 103. Suppose 0 = -5*i, -3*w + 265 = 2*w - o*i. Suppose -5*y = h - 4*y - w, 0 = 2*h - 3*y - 101. Is 0.1 >= h?
False
Let a(s) = -2*s - 22. Let w be a(-11). Let q(u) = 6*u + 3*u**3 - 3*u**3 + u**3 + w*u**3 - 7*u**2. Let o be q(6). Is o at least -4/9?
True
Let p = 2151 - 2231. Is p less than -54?
True
Let k be (-86)/(-5)*(-15)/(-6). Suppose 0 = -89*n + 92*n - 450. Suppose -n = -11*i + 312. Which is smaller: k or i?
i
Let u = -0.2332 - 0.3668. Which is greater: 2225 or u?
2225
Let p = 603 + -340. Let l = 299 - p. Is 30 at least l?
False
Let a = 2324010/52259 - 1178995815733/26496985288. Let c = -1/8312 + a. Which is greater: c or 1?
1
Let n = 1.99 - -0.01. Let l = 766.06 + -766. Are n and l non-equal?
True
Let y(b) = -3*b - 3 + 5 + 3*b**2 - 752806*b**3 + 752805*b**3. Suppose 4*s - 3*s = -3*u + 4, 0 = 5*u - 4*s - 18. Let k be y(u). Which is smaller: k or 1/46?
k
Suppose -2*k - 33 + 13 = 0. Let v(l) = -l**3 - 9*l**2 + 16*l + 15. Let n be v(k). Is 0.2 >= n?
True
Let p be (-2 + 0 + -1 + 3)/(-2). Suppose p = -3*l + 383 - 68. Suppose -3*d + 4*i - 28 = 0, i = -5*d - 4*i - l. Do d and -15 have different values?
True
Let p be (-6)/(-66)*1450/(-15). Which is bigger: -8 or p?
-8
Suppose 0 = -3*x + 8*x - 4*u - 25, -5*x + 5*u = -30. Let r be (-24175)/97500 + x/4. Which is greater: r or 1?
1
Let r = -35/11 + 1121/297. Is r bigger than 2?
False
Let p be (-178)/((187/44)/((-1)/2)). Which is smaller: 21 or p?
p
Let h = -311 - -724. Let r = h + -383. Which is bigger: 7/3 or r?
r
Let t be ((-72)/1)/6 - (3 + 3). Let p = 9 + -28. Is t not equal to p?
True
Let p = -0.0019 + -48.9981. Let b = p + 48.9. Which is smaller: b or 0.67?
b
Suppose 5 = -2*n - 4*d - 7, 5*d = -3*n - 13. Suppose n*t + 6*t - 4*t = 0. Suppose 0 = -3*g + 3*x - 48, t = -g + 6*g - 3*x + 78. Which is smaller: 0 or g?
g
Let f = 24 - 24.1. Let o(u) = u**3 + u**2 - 2*u**3 + 2*u**3 - 1 - 2*u. Let y be o(-2). Is y at most f?
True
Suppose 2 = 2*w - 2. Let z be (w - 1)/2*60. Let k(l) = 8*l**2 + l. Let r be k(-2). Is r <= z?
True
Let a be ((-16)/(-20)*2)/(1 - 36/40). Let r(p) = 3*p**2 + 4*p - 3. Let h be r(2). Is a bigger than h?
False
Suppose -4*h = -2 - 2. Let p be (0 + 1 + h)*(-6)/(-1). Let d be (-23)/(-18) + (-18)/p. Is 0 not equal to d?
True
Let n = 1844 - 1838. Is n smaller than 0.5?
False
Let o = -4185 + 4185.3. Which is bigger: o or -0.556?
o
Let x be 5 - (-3165)/4 - -3. Which is greater: x or 799?
x
Suppose -6*d - 743 = 43. Let o = d - -79. Which is greater: -53 or o?
o
Let m = 15840 + -15840.02. Which is smaller: -4/433 or m?
m
Suppose -20*x + 8*x = 3216. Let q = x - -268. Which is smaller: q or -131?
-131
Suppose 3*w + w = 496. Suppose 2*t + 652 = 5*m, 3*t - 546 + 138 = -3*m. Let h = m - w. Is h equal to 9?
False
Let o = 3580/378991 + 793169329406/49647821. Let k = o + -15976. Which is smaller: 0 or k?
k
Let q = 7719.6 - 7719. Is q not equal to 0.36?
True
Let z be (-29)/(-2) + 10/(-20). Suppose 3*a + 225 = 5*p, -z + 4 = 2*a. Let w be (4/p)/((-9)/(-27)). Which is smaller: w or -2?
-2
Let j be ((-4)/7 + (-2412)/(-252))/1268. Is 1 at least as big as j?
True
Let q be 20978/23715*-9 + 8*1. Which is smaller: -1 or q?
-1
Let o(x) = 75*x + 59. Let p be o(-2). Suppose 28 = 2*s + 16. Suppose -2*u - 145 = 4*n + 27, 3*n - s = 0. Which is bigger: p or u?
u
Let g = -51 - -77. Let b = g + -24. Suppose -3*o = -o - b. Which is greater: -2/35 or o?
o
Let f be -3 + (-1 - (-20)/28)/(65/(-637)). Which is smaller: f or 2/323?
f
Suppose -13*l + 5*a - 3152 = -17*l, 1566 = 2*l + 5*a. Is l >= 2383/3?
False
Let l be 9820/(-2400)*6 - 2*-1. Which is greater: -22 or l?
-22
Let a = -28 - 2. Let b = a - -9. Let s = 20.85 + b. Which is bigger: s or -1?
s
Let b be (((-1)/(-2))/(70/168))/(24/3900). Is b at least as big as 239?
False
Let y(l) = -7*l + 16. Let g = -78 - -62. Let v be g/(-10) + 4*4/40. Let u be y(v). Is 1 equal to u?
False
Suppose 3*u + 13 = 2*y + 80, -2*u + 88 = -3*y. Let f(q) = 11*q + 27. Let r be f(-6). Let s be (r/y)/(2 + 21/(-10)). Is -0.2 smaller than s?
False
Let y be (12/(-8))/(9/(-4)). Let o = 116 - 121. Let n be 9 + o - (0/1 + 4). Which is greater: n or y?
y
Suppose -2*s + 116 = 2*s. Suppose 3*u - 26 = 4*u - 4*j, -3*j = -3. Let a = u + s. Does 6 = a?
False
Let b be (-14)/(-217)*(0 - (-13 + 10)). Let s be -6*-6*(-2)/4. Let j be 4/6 - 6/s. Are j and b nonequal?
True
Let t be (2/8076)/((91/28)/(-13)). Let w = 320/129889 - t. Is 1 < w?
False
Let q = 3.7927 - 0.7927. Which is bigger: -1870 or q?
q
Let y(d) = 3*d - 4. Let s = 120 - 120. Let p be y(s). Which is bigger: p or -11?
p
Let d = -377 + 380. Suppose g = -d - 15. Which is smaller: -10 or g?
g
Let a = 37.44 + -36.44. Let n = -105/43 + -7726/129. Which is smaller: n or a?
n
Let c = -2 + 3. Let b = 1 - c. Let w be 4 + 7*2*((-28168)/560 - -50). Do b and w have different values?
True
Let u = 574 - 703. Are -128 and u equal?
False
Let o = -1.8 + 1.71. Suppose 5*m = -r - 0*m, 0 = r - 5*m + 10. Let z be 2/(-6) + r/15 + 1. Which is smaller: z or o?
o
Let d(c) = c**3 + 16*c**2 - 17*c + 4. Let x be (1 + 80/5)*-1. Let i be d(x). Suppose -u + i*m + 13 = -7, -5*u + m + 100 = 0. Is u > 22?
False
Suppose 3*h = -r + 53, r = -2*h + 29 + 7. Suppose -4*i - 17 = -5*i. Is h at most as big as i?
True
Let g(s) = -s**3 + 4*s**2 + 25*s - 75. Let p be g(6). Let c = 12318/5 - 13206/5. Let f = 181 + c. Is f < p?
False
Suppose -3*v + 2*x - 172 = 151, 0 = 2*v - 3*x + 217. Let s = v - -107. Let k be (16/12 - (-28)/(-12)) + s. Is k at most as big as 4/23?
True
Let k = 49 + -81. Let v = 75 + -106. Let s = 31.1 + v. Which is smaller: k or s?
k
Let c be (2834/39)/(8/12). Which is smaller: c or 141?
c
Let h be (-3352)/3 - 62/(-186). Are h and -1122 unequal?
True
Suppose g - 883 = u, -5*u - 4*g + 7*g = 4421. Let t = -996 - u. Is -110 less than t?
False
Let n = -9033 - -9023. Which is bigger: n or -13?
n
Let b(k) = -3*k**3 - 7*k**2 - 4*k + 1. Let s be b(-2). Let h be (s/170)/(6/(-8)). Suppose -39 + 43 = -4*j. Which is smaller: j or h?
j
Let l be -1 - -1 - (-17 + 92720/5450). Which is smaller: 1 or l?
l
Let j be 3/1*(12 - 99/11). Let v = 44 - 36. Is v greater than j?
False
Let w(v) = -v - 8. Let l = 73 + -79. Let r be w(l). Let b be (12/(-8))/((-3)/r). Which is smaller: b or 2/149?
b
Let v = -691034 + 3442176/5. Let p = 2619 + v. Is 21 greater than p?
True
Let o = 377/267 + -96/89. Is o at least as big as -105/131?
True
Let t = 95 + -89. Let a(d) = -3*d**2 + 3*d - 25. Let j be a(t). Let z be -1 - -2 - j/(-35). Is -3 less than or equal to z?
True
Let d(m) = 31*m + 599. Let h be d(-56). Which is smaller: h or -1139?
-1139
Let r be (-4)/(-10) - 134/20. Suppose -148 + 107 = 27*h + 121. Is h at least as big as r?
True
Suppose -x + 35*z = 36*z + 49, 5*x + 2*z = -233. Suppose -16*b + 3*b = 663. Is b greater than or equal to x?
False
Suppose 4225 = 2*b + 11*b. Let n = -334 + b. Is 1 at least n?
True
Let a be 15105/(-50) + 5 - (-6)/10. Let u be ((-217885)/146)/5 - -2. Let k = a - u. Is k < 1?
True
Let f = -137591/25311 - -212/39. Is -1 > f?
False
Let q(i) = -2*i**3 - 19*i**2 - 18*i + 1. Let n = -323 + 314. Let z be q(n). Are z and 79 non-equal?
True
Let v = -5094.9431 - -5096. Let p = v - 0.0369. Are 1 and p nonequal?
True
Let h(w) = 33*w + 292. Let f be h(-9). Let m be 186/f*(-50)/(-20). Is -94 at most as big as m?
True
Let y(k) = -k**2 - 11*k + 1. Let p be y(-10). Let d be (-831)/(-63) + (-2)/(-14) - 2. Which is smaller: d or p?
p
Let x(m) = 4*m**2 - 19*m - 13. Suppose -7 = 6*q - 37. Let z be x(q). Which is bigger: 2 or z?
2
Let i = -601 - -601.0628. Let z = 0.0828 - i. Which is smaller: 0.06 or z?
z
Let t(k) = 32 + 24 - 14 - 15*k. Let j be t(8). Do -79 and j have the same value?
False
Let u(h) = -7*h**3 - 2*h**2 - 2*h + 1. Let y be u(-3). Suppose -3*t - 4*r = -3*r - y, -3*r = -12. Let n = 25097 - 25039. Is t less than n?
False
Let o = 31648 - 31701. Which is greater: -1248/23 or o?
o
Suppose 0 = 5*p - v - 223, -84 = -5*p - 5*v + 181. Is p at most as big as 183/4?
False
Suppose 2*v - 2*d + 221 + 149 = 0, 0 = d + 5. Let u = v + 403. Let z be (3/(-6))/(1 - 