 2). Are 0.1 and x non-equal?
True
Let p be 1/(7 + 3474/(-540) - (-2)/(-4)). Is p at most -2.18?
False
Let r(x) = -29*x**2 - x - 3. Let t(n) = 29*n**2 + n + 2. Let u(p) = -3*r(p) - 4*t(p). Let c be u(1). Suppose -18*d - 210 = -11*d. Which is smaller: d or c?
d
Let q(t) = -t**3 + 5*t**2 + 3*t - 7. Let a be q(5). Let o = 9.5652 - 8.5652. Which is bigger: a or o?
a
Let u = -169.2 + 174.2. Let l = 0 + -3. Let g = 0 + l. Is g != u?
True
Let k be ((-94)/(-4))/(4 - (-87)/(-22)). Let f = k - 497. Let w(m) = 2*m**2 - 10*m + 9. Let v be w(6). Are v and f unequal?
True
Suppose -73*v - 77*v = 96*v + 32*v. Let h = -225/19 + 5121/418. Which is bigger: v or h?
h
Suppose 7*w - 6*w - z - 8 = 0, 0 = -5*z - 15. Suppose 45 = -8*p + 3*p + w*g, 5*p = 4*g - 43. Is -4 > p?
True
Suppose -516*v - 272 = 133*v + 377. Is -2/5241 > v?
True
Let a(t) = 5*t**2 - 5*t - 13. Let p be a(-3). Which is smaller: p or 51?
p
Let q be 11*7/1540 + 15582/40. Which is greater: 389 or q?
q
Let g = 40 + -40. Suppose -2*d - 141 = -t, 5*d - t - t + 352 = 0. Let j be (0 + (-1)/2)/(25/d). Is j >= g?
True
Let m(x) = x**2 - 7*x - 39. Let r be m(13). Let j = -39 + r. Suppose 4*s + 5*o + 475 = 0, -3*o - 597 = 5*s - j*o. Is s <= -119?
True
Let b be (14 - 243/6)*4. Which is smaller: -1173/11 or b?
-1173/11
Let i be 83912/38896 + 12/104. Suppose 0 = -5*v + 11 + 4. Which is smaller: v or i?
i
Let s be 30/(-12)*(-1314448)/(-1540). Let m = s - -2134. Which is smaller: -1 or m?
-1
Let d(c) = -38*c**2 + 94*c - 1086. Let h be d(11). Which is smaller: h or -4649?
h
Let l(v) = 4*v**2 + 21*v + 60. Let k(f) = f**2 + 5*f + 15. Let x(s) = 9*k(s) - 2*l(s). Let c(p) be the first derivative of x(p). Let d be c(2). Is 9 >= d?
True
Let f be 56/(-87) - (-4)/6. Let c = -16457 + 16457. Is f equal to c?
False
Let x = 668 - 605. Is x != 36?
True
Let v be (-1177)/4 + (-4)/(-16). Let c be (v/8)/(36/(-48)). Is 50 != c?
True
Let v = 965 - 963. Let b be 591196/(-105300) + 2 + 3. Let w = -2/2025 + b. Is w < v?
True
Let f be -10 + -1 + -6*(-931)/56. Which is smaller: 89 or f?
f
Let i = 4.06 - 3.06. Let k = -155 - i. Which is smaller: k or -1/3?
k
Let n(z) = z**3 - 30*z**2 - 10*z + 301. Let f be n(30). Let u = 15/11 + -191/132. Is f greater than or equal to u?
True
Let j be (-2)/(-760)*1530331 - 20/80. Let f = j - 20061/5. Let i = 13682/931 - f. Which is smaller: i or 1?
i
Let g(w) = -7*w + 256. Let c be g(36). Suppose -m = -3*q - 1, 2*m + 1 = 5*q + c. Is -1/182 greater than q?
False
Let t = 31 - -32. Suppose 17*j - 159 - 946 = 0. Which is smaller: j or t?
t
Suppose -3*j = -5*v + 4*v + 3, 3*v = -2*j + 9. Suppose 0*x = v*x - 2*h - 197, -h + 350 = 5*x. Suppose 7*m - 78 = x. Which is bigger: m or 22?
22
Let z = -87.73 + -1.27. Let l = 88.8 + z. Let a = -75/28 + 10/7. Do l and a have different values?
True
Suppose 22*t = 38*t - 13*t - 348. Are t and 47 equal?
False
Suppose n = -2*s + 50, 3*s = -2*n + 71 + 6. Suppose -152*u + 1160 + 1758 = 486. Which is bigger: s or u?
s
Suppose -5*o - 3*m + 1106 = 0, -7*o + 10*o + m = 662. Which is smaller: o or 1990/9?
o
Let i = -7620 + 5885. Is i at most as big as -5207/3?
False
Let j = -0.5 - 0.7. Let c = 0.8 + j. Suppose -2*w + 6*u = 50, -4*u = 2 - 22. Which is smaller: c or w?
w
Let p = 3450576994/11801 - 292397. Which is smaller: -1 or p?
-1
Suppose 0 = -3*n + n + 20. Let x be (-2620)/(-6425) + (-4)/n. Let u = 153237 - 153237. Is u equal to x?
False
Let u be (-118)/(-10) - (-79)/395. Let h be 4/(u/(-21)) - -7. Is h smaller than 1/11?
True
Let h(a) = -6202*a + 24787. Let z be h(4). Let n = -3 + 2. Let f = n - -1.1. Is f != z?
True
Let r(t) = 5*t - 5. Let c(x) = 6*x - 5. Let v(f) = 6*c(f) - 7*r(f). Let w be v(-4). Let o be 8/6*w/(-26). Which is smaller: -1 or o?
-1
Let a = 1.01205 + -0.01205. Which is smaller: -0.0736 or a?
-0.0736
Let x be (-100)/300 - (-3238)/(-168)*2. Let j = 235/14 - x. Which is smaller: j or 55?
55
Suppose 3 = 5*v - 4*v. Suppose v*n - 174 = 5*h + 5*n, 0 = -2*h - 5*n - 57. Let g = -28 - h. Which is smaller: g or 1/2?
1/2
Suppose 12*k = -12*k + 11*k. Let j = -1.06 - -1.1. Let l = -0.02 + j. Is l greater than or equal to k?
True
Let i be 8520/(-504) - (3 + (4 - 12)). Are i and 3/4 equal?
False
Let c = -89 + 91. Suppose 0*z + 3*y = -4*z - 11, 0 = -c*y + 6. Is -19/4 != z?
True
Let f be (-42)/231 - ((-508)/11 + 0). Suppose 0 = 24*r + 166 - f. Is r >= -120/19?
True
Let u be (-1 - 6) + (-44)/33*774/4. Are u and -291 non-equal?
True
Let s = -105903/10 - -10570. Is -19 greater than s?
True
Let t = 6/761 - -10624/3805. Suppose -g + 12 = -3*g. Let n be (-2)/56 - g/21. Which is bigger: n or t?
t
Suppose -w = y - 142, 5*y + 4*w = 3*y + 276. Let f = y - 151. Which is smaller: f or -7?
-7
Let g = -868 + 875. Which is smaller: 88 or g?
g
Let k = 2 - 2. Let c be (9/(-125))/((-57)/190). Let y = c - 16/275. Which is smaller: y or k?
k
Let r be -2 + (-582)/(-285) + 228/760. Which is bigger: r or 0?
r
Let o = 0.17 - -3.33. Let k = 1.31 - 127.31. Let u = 126 + k. Is o bigger than u?
True
Let n(z) = 5*z**3 - 72*z**2 - 4*z + 98. Let q be n(17). Which is greater: 0 or q?
q
Let u = -0.01 + -27.09. Let r = u + 27.1. Are r and -387 unequal?
True
Let d = 0.4106 - -0.0064. Let a = -0.683 - d. Is -0.03 at most a?
False
Let n(g) = g**3 - 4*g**2 - 2*g + 11. Let x be n(4). Let l be 1*0/(-2*(x - 2)). Let s be 882/(-54) + 2 + l + 1. Is -12 smaller than s?
False
Let s be 56/(-5)*50/10. Let n be 2/(-69) - s/42. Is 2 greater than n?
True
Let l(q) = -4*q - 4. Let m be l(6). Let u be 10/(-14) + 8/m. Let h = -2862 - -2865. Does h = u?
False
Let z = 100.949 + -101. Is 3.3 less than z?
False
Let v = 2 - 0. Let a be (-16)/(-72)*18 - 8. Which is smaller: v or a?
a
Suppose 55*v = 62*v + 378. Which is smaller: -215/4 or v?
v
Let j = 100388/33 - 3042. Let z = 0.07 - 0.03. Which is bigger: j or z?
j
Suppose 360 = -h - 4*b + 357, -6 = -h - b. Which is smaller: 512/3 or h?
h
Let u(x) be the second derivative of -x**4/12 - x**3/3 - x**2/2 + 2*x + 2. Let c(y) = -y**2 + 2*y - 3. Let m be c(2). Let p be u(m). Is -3 < p?
False
Suppose 0 = -v - 0*v - 5*a - 52, -2*v - 5*a = 89. Let u = 129 + v. Suppose -u = -3*h - h. Which is greater: 22 or h?
h
Let r = -2307 - -2308.3. Is -0.41 bigger than r?
False
Suppose -36 = -4*x, 5*n - 206 + 264 = -2*x - 614. Let s = 198 - 333. Which is bigger: n or s?
s
Suppose 24 = -80*y + 104*y. Let h be ((-2)/1055 - 0)/((-9)/5). Is y <= h?
False
Let u be (4 + -7 - -5)*(0 - 79). Is -163 greater than or equal to u?
False
Let l = -16545 + 17456. Which is greater: l or 897?
l
Let b be ((-28)/(-2))/((7 + -5)/1). Let s(c) = c**3 - 7*c**2 + c - 4. Let m be s(b). Suppose m*o - 15 - 60 = 0. Is o at most as big as 26?
True
Let g = -4931 + 29515/6. Let p(s) = 48*s - 204. Let o be p(4). Which is smaller: g or o?
o
Let y = -0.0576 + -4.4524. Which is smaller: y or 4/7?
y
Let o be (-424)/(-56) - 9/(-21) - 4. Suppose -u + 32 = -5*p, -3*u + 2*p + 48 = -p. Suppose -o*r = u + 24. Is -9 less than r?
False
Let l(a) = 3*a - 13. Let d be l(10). Suppose -d = 3*k + 28. Suppose 127 - 1118 = 85*s - 141. Does k = s?
False
Let h = 41 - 43. Suppose s = -0*k - 3*k - 16, -s = 5*k + 16. Let i be (-4)/(-5)*12/s. Is i not equal to h?
True
Let v be 0 + (-79)/(-80) - 1. Let k be 6*2*-5*1/60. Is k at least v?
False
Let t(x) = -x**2 + 19*x - 78. Let i be t(32). Let v = i - -420. Is -75 at least as big as v?
False
Let n = -16532 + 16532. Which is greater: -60/43 or n?
n
Suppose 49*z - 180 = 13*z. Suppose z*t = -6 - 4, -5*t = -f + 11. Which is smaller: f or 2/293?
2/293
Let n = -104102/77 - -1352. Suppose -v + o + 8 = 3, 15 = -3*o. Is v equal to n?
False
Let u(i) = -i**3 + 18*i**2 + 60*i + 6. Let c be u(-6). Do c and 508 have the same value?
False
Let l(o) = -5*o**2 + 9*o - 8. Let h be l(1). Let z be ((104/(-12))/1)/(h/(-72)). Which is smaller: z or -157?
-157
Let j(t) = -t**3 - 19*t**2 + 97*t - 57. Let m be j(-23). Does -173 = m?
False
Let n = 7554 - 7451. Which is bigger: 117 or n?
117
Let g be (-973)/(-2) + 119/34. Let y = g + -6857/14. Is y smaller than -1?
False
Let s be 129/(-234) + 4/42 + 17/42. Is 16.1 > s?
True
Let t = 62 + -54. Let g be 3*(t/(-10))/((-30)/25). Let f be (1*14 - 1)/7. Which is bigger: f or g?
g
Let v(z) = z**3 + 7*z**2 - 4*z - 7. Let h be v(-5). Let n be (-14)/h - (-79)/(-9). Let b be (-1)/n - 16/72. Which is smaller: