). Let d = o + -4864/7. Are 0 and d equal?
False
Let w = 0.997 + -0.057. Let p = w + -0.84. Does p = -18.2?
False
Let f = 347 - 257. Let k = f - 85. Are 4 and k nonequal?
True
Let i be (-12)/9*(-18)/24. Let o(z) = -z**2 - 2*z + 4. Let s be o(-4). Let l be (15/(-110)*s)/(-2). Do l and i have different values?
True
Suppose 437*x - 889*x + 487*x = -1365. Let c(n) = n**2 + 4*n + 3. Let r be c(-4). Let u(p) = -12*p - 3. Let g be u(r). Is g at least as big as x?
True
Let w = 341 + -39. Suppose 4*c = w - 330. Is -45/8 equal to c?
False
Let x = 23875 + -15708. Is x less than or equal to 8168?
True
Suppose -32613*d - 79 = 4*f - 32610*d, f = -d - 20. Let a = 4 - 8. Is f bigger than a?
False
Let q = 1559 + -955. Suppose 29*d = 295 + q. Is 1/4 > d?
False
Suppose -7*d + 12*d = -5. Suppose 3*h + 4*y - 4346 = 0, 5*h - y - 7252 = y. Let i = h - 56554/39. Is d bigger than i?
False
Let a(l) = -l - 34. Let o be a(-17). Suppose 2*i = 4*i + 68. Let t = i - -16. Is o less than t?
False
Suppose 0 = t - 2*t - 19. Let j be (24/(-6) - -5)*(-1 - -421). Suppose 0*y + 21*y = -j. Which is smaller: y or t?
y
Suppose c = -5*l + 4557, c + 3648 = 4*l + 3*c. Is 912 not equal to l?
True
Let v = -197442/17 - -722593/34. Is 9640 at most v?
False
Let z(k) = k**2 + 72*k - 20. Let g be z(-65). Which is bigger: g or -474?
-474
Suppose -3*n - 32 = 64. Let b = -630 - -632. Let v be n/(-18) - b/(-7)*-7. Which is smaller: -1 or v?
-1
Let w = -22 + 26. Let o be (-48)/(-210)*-2*w/16. Are 2/5 and o equal?
False
Let n = -98 - -56. Let b = 41.105 - 0.105. Let k = b + n. Is k less than or equal to -1/20?
True
Let s(o) = -o**2 + 12*o - 20. Let j be s(10). Let b be (j/(1 - 6))/1. Suppose b = -3*l + 26 + 28. Which is smaller: 3 or l?
3
Let l(x) = 29*x**3 - 2*x**2 - 2*x + 7. Let r be l(-2). Let c = -102 - r. Is c >= 126?
True
Let v be (-8)/10*(-3)/4. Suppose 5*j + 49 = 5*p + 3*j, -2*p + 13 = -3*j. Suppose p = -2*z + 13. Which is greater: v or z?
z
Let x = -201.2 + 201.5. Let t = -5 - 3.5. Is t less than or equal to x?
True
Let q(b) = -5*b**3 - 73*b**2 + 14*b - 45. Let v be q(7). Is v less than or equal to -5238?
True
Let z = 527 - 340. Let v = z + -187. Which is greater: 2 or v?
2
Let t = 16/191 + -6079/70288. Which is smaller: t or 1?
t
Suppose 0 = 10*d - 5 - 65. Suppose 11 = s + 2*a, 0 = s - 3*a - 2 + 6. Suppose 5*r = 2*f, 0 = -s*f + 2*r + 31 - 10. Is f at most as big as d?
True
Suppose -3*t + 85 = -5*t - x, -t - 42 = x. Let v = t + 3. Let d = 21 + v. Is d less than or equal to -20?
False
Let z(k) = 27*k - 50. Let p(r) = 5*r + 9*r - 8*r - 33 + 12*r. Let i(c) = -7*p(c) + 5*z(c). Let n be i(3). Does n = 7?
False
Let f = -102 - 222. Let c = f - -4184/13. Which is smaller: -2 or c?
c
Suppose 3*w + 255 = -3*p, 2*w = 6*w + 2*p + 330. Is -89 < w?
True
Let s be (-3)/(((-8136)/(-64))/(1/(-2))). Let y(h) = h**3 + 25*h**2 + 41*h - 116. Let j be y(-23). Is s at least as big as j?
True
Let a(w) = -422*w - 2. Let n be a(-4). Let t = n + -429928/255. Let q(h) = -2*h**2 - 43*h - 95. Let r be q(-19). Which is bigger: t or r?
t
Let r = 5.8 - 0.8. Let w = r - 19. Let v = w + 13.6. Is -8 less than v?
True
Suppose 2*v + 64 = -0*v. Suppose 2*c + 35 = 4*q + 161, 0 = q - 3*c + 34. Which is greater: v or q?
q
Let l = 411.24 + -898.75. Let p = -487 - l. Which is smaller: 3 or p?
p
Let s = -212 + 222. Let a = s - 10.06. Which is bigger: a or 2?
2
Let k(w) = -w**2 - 17*w - 51. Let j be k(-13). Let u be (-1)/1 - (-375)/365. Is j greater than u?
True
Let b(v) = 4*v**3 - 2*v**2 - 8*v + 9. Let s be b(1). Which is bigger: -296 or s?
s
Suppose -14*t - 58*t - 9*t + 2754 = 0. Is t at least 36?
False
Let w be 2/(-2) + ((-131397)/(-14595) - 8). Which is greater: w or 0?
w
Let v = -113 + 113. Let w = -71 - -44. Let r be w - (-3 + (-8)/(-4)). Which is greater: v or r?
v
Let x = 30 - 28. Suppose -4 = x*y - 4*y. Suppose -5*k - a - 9 = 0, 0 = 3*k - k - a - y. Is 2/27 greater than or equal to k?
True
Suppose 0 = 4*i + 16*w - 15*w + 1455, -5*w + 1800 = -5*i. Which is greater: i or 1/3?
1/3
Let c(v) = 9*v + 2*v + 12 + 31. Let l be c(-4). Let g be 38/(-216) + (-2)/(-8). Which is bigger: g or l?
g
Suppose 4*r - 87 = 3*a, -4*r + 126 = -2*a + 36. Let o be 0 + 1 - (r - -6). Let u be -23 - -5*(-6)/21*399/95. Is o smaller than u?
False
Let l = -9828/5 - -1929. Let x be (5/(15/102) + 3)*-1. Which is smaller: l or x?
x
Let v = -818 - -910. Let j be 50/25*(2 + v). Which is smaller: 187 or j?
187
Let l be (-950300)/21114 - -57 - 12/1. Do 0 and l have the same value?
False
Let p = 12164 + -37933. Is -25768 at most p?
False
Let t(h) = 2*h. Let b be t(-2). Let q be (129/b)/(5/(-60)). Let y = q - 8131/21. Which is greater: y or 0?
0
Let z = 210763/33 + -6387. Which is smaller: -1 or z?
-1
Let t = -3.8963 + 0.8963. Is t less than or equal to 226?
True
Let f be (4/50)/(4/160). Let y be (15/(-10))/((-12)/(-224)). Let p be (-76)/y + 8/28. Is f bigger than p?
True
Let c = -28 + 54. Suppose 3*x + 359 = 4*u - 276, 0 = -2*u - 3*x + 295. Suppose -301 = -19*o + u. Is c bigger than o?
True
Let i be 2/(-4)*40/10020*6/40. Is i not equal to 1?
True
Let v = 28.2 - 26.91. Let q = v - 1.39. Is q < -4/75?
True
Let a = -0.458 - 0.382. Let l = -0.7 - -0.54. Let f = l + a. Do f and 0.21 have the same value?
False
Let d = 2737 + -1913. Let j = d - 779. Which is smaller: 0 or j?
0
Let i be 1 + 5/3 + 110/330. Suppose 38 = -c - i. Which is greater: c or -39?
-39
Suppose 23*d + 85 + 47 = -10*d. Is -1.047 not equal to d?
True
Let p(a) = -14 + 1 - 2 - 4 + 3*a. Let g be p(8). Suppose g*y = y. Is y > 2/53?
False
Let h(y) = 50*y**2 - 2*y - 6. Let m be h(6). Let o be (m/135)/(4/10). Are 34 and o equal?
False
Suppose -216 = 15*w + 75 + 39. Which is bigger: -24 or w?
w
Let m = 47 + -50. Let f be ((-2)/27)/(17/m). Let z = f - 316/765. Is z at least as big as 5/6?
False
Let c be ((-46)/(-6))/(72/168*(-28)/(-36)). Let v = -0.6 + -3.4. Which is smaller: c or v?
v
Let o = 414/97 - 2529249/592670. Do o and -1 have the same value?
False
Let k(p) = 22*p - 14*p - 10*p + 1 + 4*p**2. Let s be k(1). Let c be (-3*s/522)/((-2)/(-12)). Is -1 not equal to c?
True
Let s be 486/(-174) + -1 - -4. Let w(h) = 6*h**2 + 14*h - 9. Let z(v) = -v**2 - 3*v + 2. Let j(c) = 2*w(c) + 11*z(c). Let p be j(4). Which is greater: s or p?
s
Let u(i) = 11*i**2 - 7*i - 15. Let f(g) = 4*g**2 - 2*g - 5. Let b(t) = 8*f(t) - 3*u(t). Let c be b(3). Suppose -o - c + 6 = 0. Which is smaller: -1 or o?
o
Suppose 20*p - 234 = -6*p. Suppose -56 - 232 = p*t. Which is smaller: -25 or t?
t
Let d = -68 - -202/3. Suppose -27 = j + 5*u, 4*u + 15 = u. Let s be (-27)/(14/j - -6). Is s < d?
False
Let l be (-171)/45 + (-12)/(-15). Let a be (l - -6) + 5/(-1) + -186. Is -189 != a?
True
Let g = -982122/23 - -42710. Let t = g + -9. Is 0 >= t?
False
Let l(a) = -a**2 + 38*a + 935. Let z be l(55). Which is bigger: 4/1543 or z?
4/1543
Let r be 1/2*((-4)/(-8) - (-584)/(-16)). Which is greater: -104 or r?
r
Let w be ((-5)/4)/(1/16). Suppose -11*p = 32*p - 2347 + 3035. Which is smaller: w or p?
w
Let i = -6425 - -6404. Do 26 and i have the same value?
False
Let p = 146 - 169. Let u be (p - -22)*2/6. Which is smaller: u or -7?
-7
Let j = 9.12 + -5.12. Which is smaller: 34/9 or j?
34/9
Let j(x) = 566*x + 44147. Let y be j(-78). Let f = -3959 + 146447/37. Do f and y have the same value?
False
Let b = 502 + -228. Let m be 0 + 6/(-42) + b/2114. Which is smaller: 1 or m?
m
Let z(v) = -v**3 - 17*v**2 - 18*v - 37. Let m be z(-16). Let f be ((-6)/m)/((-16)/5 + 3). Is f smaller than -6?
False
Suppose 0 = -j - z + 17, -4*j - 3*z + 56 = -5*z. Let k be 1/((-5)/j) - -2. Let y = 92 - 3037/33. Which is greater: k or y?
y
Let w(s) = s**2 + 2*s - 8. Let h be w(-5). Suppose -4*c - l - 4 = -h, 5 = 3*c - 2*l. Suppose -5*p = 54 + c. Which is greater: p or -13?
p
Let n(a) = a**3 - 3*a**2 - 10*a + 16. Let j be n(5). Let o be j/(-8)*1*31/3. Is -21 less than o?
True
Let l be (-13)/(-702)*18 + (-4)/3. Is 2.14 greater than l?
True
Let d = -2483 + 2449. Which is greater: d or -222?
d
Suppose -6227 + 1669 = 43*n. Suppose h + 110 = 2*o, -3*h = -0*h - 2*o + 322. Let v = h - n. Do v and -3 have different values?
True
Let s be (4*(-1)/(-24))/(2/24). Suppose 0 = 6*q - 12 - 6. Suppose 0*u - q*u - 12 = 0, -m - 3*u = -2. Which is bigger: m or s?
m
Let u(j) = 2*j**3 - 56*j**2 - 91*j - 2. Let