/66)/((-4)/12). Let s = q - 2718/143. Let i(y) = -y**3 + y**2 + 75*y - 204. Let u be i(3). Is s != u?
True
Let r(p) = 9*p**2 - 89*p + 1432. Let t be r(27). Which is bigger: t or 5589?
t
Let l = 260 - 252. Let t(g) = 11*g + 60. Let k be t(-6). Which is smaller: l or k?
k
Let y = -23.8 + -10. Let t = y - -50.9. Let z = t + -17. Is -0.16 greater than or equal to z?
False
Let h be (-17094)/1815 + (-6)/(-99)*-3. Do -11 and h have the same value?
False
Suppose -21*x + 17*x - 3160 = 0. Let d = x + 157208/199. Which is greater: 0 or d?
0
Let l = -42423 - -467403/11. Which is smaller: l or 69?
l
Let u(a) = -1929*a - 576721. Let j be u(-299). Suppose 16 = g - 4*v, -2*g + 0*v - 2*v + 52 = 0. Let o be (-14)/g - 2/(-8). Which is smaller: o or j?
o
Let y = 6765 + -7291. Suppose n - 733 = 2*d + 324, 2647 = -5*d + 4*n. Which is smaller: y or d?
d
Let a be ((-225)/(-10))/15*2. Suppose 3*j - 3*i - 147 = 0, -i = -a*i. Is 49 <= j?
True
Let w = -172 - -167. Let h = w + 9. Are h and 14/5 equal?
False
Suppose 2*j + 3*j + j = 0. Suppose 0 = -z + 5*i + 4, j = 2*z - 0*z - 2*i + 8. Let s(o) = -o**2 - 2*o + 9. Let p be s(z). Which is bigger: p or -14?
-14
Suppose 14*v = 133 + 2527. Suppose 2*y + v = -232. Which is bigger: y or -210?
-210
Let n(j) = j**3 - 6*j**2 - 7*j - 8. Let c be n(7). Let v(g) = g**3 + 9*g**2 + 6*g + 5. Let s be v(c). Let i be ((-10)/(-1))/(6/s). Is i >= 35?
True
Let r be ((-692)/(-245487))/(44/6). Which is greater: r or 1?
1
Suppose 2203*h + 1683 = 2390*h. Are h and 757 nonequal?
True
Suppose -10*w + 60050 = 45*w - 74755. Which is smaller: w or 2453?
w
Suppose 4*l - 38 = -94. Let p(h) = h**3 + 14*h**2 - 3*h - 32. Let u be p(l). Which is smaller: 0.4 or u?
0.4
Suppose 4*m - 107 - 27 = -2*g, 4*m = 2*g + 114. Let y(j) = 2*j + 214. Let a be y(49). Suppose a = 17*i - 215. Is m at most i?
True
Let j = -430 + 443. Suppose 0 = 6*s + j*s - 6954. Is s >= 367?
False
Let a = 0.3 + -1.3. Suppose q + 37*q = 3572. Let s = q - 10432/111. Which is bigger: a or s?
s
Let a be -3729*(140/21 + 0). Let s be 4/(-5) - a/(-50). Is s smaller than -497?
True
Let c = -111.569 + 111.1. Let p = -0.149 - c. Are 0.1 and p equal?
False
Suppose 0 = -4*q + 3*z + 501, 10*z = q + 5*z - 138. Suppose 0*k - k - 69 = -2*d, -4*d + 5*k = -q. Which is smaller: d or 6?
6
Let h(g) = g**3 - 10*g**2 + 7*g + 8. Let l be h(9). Let p be 2/(-5) + 26/l. Let i be (965/(-875) + 26/182)/(2/5). Which is greater: p or i?
i
Let c = 198 - 196. Suppose -55 = -c*h + f, 2*h + 3*f + 16 - 67 = 0. Is h != 24?
True
Let m = 4113 + -3746. Which is greater: m or 368?
368
Suppose 73*m - 15531 = 33*m + 9*m. Which is greater: m or 500?
m
Let p = -0.011087 - -0.021087. Suppose 5*m + 0*m = -35. Is p <= m?
False
Let l(r) = 2*r - 127. Let w be (380/40)/(3/6). Let i be l(w). Is -271/3 <= i?
True
Let i(w) = -w**2 + 57*w - 296. Let q be i(51). Is 9 <= q?
True
Suppose 3*j - 21 = -4*w - 2*j, -6 = w - j. Does -6/229 = w?
False
Let l(x) = -2*x**3 - 9*x**2 + 8*x + 11. Let i(c) = c**2 - 7*c + 5. Let o be i(5). Let r be l(o). Let a be r + (0 - -3) + 3. Is a greater than or equal to 2?
True
Let j = -5933.3 - -5933. Is j not equal to -928?
True
Suppose 20*t = 8*t + 33*t. Let m be 4/5*(-11)/(-5544). Is m greater than or equal to t?
True
Suppose -6*o - 145 = -m, -2*o + m - 31 - 22 = 0. Is o less than -602/27?
True
Let r = -0.0867 + 319.0867. Let d = 328 - r. Which is smaller: d or -39?
-39
Let k(t) be the second derivative of 0 + 7*t + 1/6*t**3 - 13/2*t**2. Let u be k(14). Which is smaller: -1/17 or u?
-1/17
Let y(p) = -44*p + 17. Let c be y(-3). Let r = c - 167. Is -19 at most as big as r?
True
Let o be (-4)/3 + 70/21. Suppose 100 = o*y - 120. Let a be (-2)/11 - 530/y. Is a at most -6?
False
Let h = 50882/3 - 75152716/4431. Is -0.1 smaller than h?
True
Let m = 4859 + -5045. Is -206 smaller than m?
True
Let o = 12 + -7. Suppose -99 = w - 4*w - o*h, 0 = -4*w + 4*h + 164. Suppose v + 2*v - 115 = z, -v - 4*z = -47. Which is smaller: v or w?
w
Let q = 920 + -588. Let n = 331.8 - q. Which is greater: n or 5.7?
5.7
Let i = 182 + -184. Does i = 0.0512?
False
Suppose 2*g = 4*f - 18, -3*f + 6 = 4*g - 13. Which is smaller: g or -22/95?
-22/95
Let l = -6322 + 6354. Is 33 greater than or equal to l?
True
Suppose 344 = 6*x - 2*x - 4*y, -5*y = -3*x + 268. Let f = -26 + x. Suppose -v + f = 2*j - 6, -5*j + 130 = -2*v. Is 29 equal to j?
False
Let v(n) = -20*n**2 + 488*n + 99. Let j(r) = 5*r**2 - 122*r - 25. Let p(f) = 9*j(f) + 2*v(f). Let g be p(24). Is g less than -75?
False
Let x(m) = 2*m**2 - 5*m - 12. Let n be x(-3). Let u(g) = 6*g - 7. Let r be u(11). Suppose 8*o = -r - n. Which is greater: o or -66/7?
-66/7
Let h = -34 + 33. Let o be (-55)/(-66) + (3/36)/((-4)/12). Which is greater: o or h?
o
Let q = -13689 + 807665/59. Do q and -3.2 have different values?
True
Let m be (2/(-4))/((-123)/(-246)). Let z be (2/6 - 1)*225/6540. Do m and z have the same value?
False
Let w(v) = 2*v + 10. Suppose 0 = -k - 3*g - 29 - 10, 0 = -3*k + 2*g - 117. Let p = k - -45. Let q be w(p). Is 22 at least q?
True
Suppose -2*a - 4*s = 8, -4 = -863*a + 866*a - 2*s. Which is smaller: a or -200/229?
a
Let t = 5.1 - 5.2. Let c = -3235 + 3438. Is t less than or equal to c?
True
Let s = 152261/25 - 6091. Let v(i) = i**2 - 4*i. Let p be v(4). Which is bigger: p or s?
p
Suppose 3730 + 3254 = 97*p. Do 72 and p have the same value?
True
Let q be (-126)/145 - 8/(-10) - (-135)/(-145). Which is smaller: 9/4318 or q?
q
Let q = 0.27 + -9.67. Let d = 402.4 + q. Is d less than or equal to -0.2?
False
Suppose 0 = 8*i + 2*i - 1910. Do 188 and i have different values?
True
Suppose -5 = -3*f + 4*a - 193, 2*f + 132 = 4*a. Let u be (3 + 18/(-8))/(7/f). Is -8 smaller than u?
True
Suppose t - 108 - 1001 = 5*p, -3*p = -15. Is 1134 greater than t?
False
Let s be 124/(-28) + -1 + 4. Let x be (18 - 15) + (2/3 - (-34)/(-6)). Which is greater: x or s?
s
Let l be (84/70)/(4/(-10)). Let q be (2 + -2)/(1 + l). Which is smaller: 14 or q?
q
Suppose 0 = -3*h + 2*o - 5*o + 18, -3*h + 8 = o. Let t be 646/(-170) - h*-3. Let m = 0.7 - 7.7. Is t greater than or equal to m?
True
Let b be ((-261)/(-90) - (-1)/(-2))*5. Let r be (2/b)/((-63)/42). Is -2 greater than or equal to r?
False
Let b = 8870.85 + -8870. Let i = -1.103 + 0.053. Let j = b + i. Which is smaller: j or -2?
-2
Let l = 111 - 104. Which is greater: 63 or l?
63
Let u be (-7)/609*6 + 0. Let l = u - 83/58. Let b = -0.25 + 0.3. Which is smaller: l or b?
l
Let b = -0.1 + 0.1. Let n be ((-45)/(-18))/(-5) - 59365/(-18260). Let t = n + -1/913. Which is bigger: b or t?
t
Let v = 7070/23 - 141699/460. Let a(w) = -2*w + 4. Let m be a(3). Is m < v?
True
Suppose 2*h = 5*n + h - 1265, 0 = 3*h. Let y be (-7)/21*(2 - n/131). Is y at least as big as -1?
True
Let n = -10.66 - -10.715. Is n smaller than -2.2?
False
Let u be ((-64090)/286 + 26 - (-2)/22)*-1. Which is smaller: 206 or u?
u
Suppose -18*y - 27 = -514 + 55. Which is smaller: y or -8/19?
-8/19
Let f = 78.1 + -909.1. Which is greater: f or -5?
-5
Suppose o + 6*g - 4*g = -1, 0 = -o + g - 4. Let v be 244/(-15) - o/(-60)*8. Which is smaller: -18 or v?
-18
Suppose -12*i - 1350 = -57*i. Is 516/17 greater than i?
True
Let s = -1129 - -1127.841. Which is greater: -1 or s?
-1
Let t be ((-88)/(-220))/((-2)/(-65)). Let i(m) = 3*m**2 - 3 - 13*m + 5 - 4*m**2 - 10. Let r be i(-11). Which is smaller: r or t?
t
Let o = 1272421/9367 - -1791/493. Is 139 <= o?
True
Let x = -1.2083 + 0.2083. Is 10181 at least x?
True
Let v(x) = 31*x + 69. Let h be v(8). Suppose -5*i = c + 129, -5*c + 2*c - h = i. Which is bigger: c or -0.1?
-0.1
Let d be (1266160/31652)/10 + -2 + 2 + -4. Is d equal to -1?
False
Suppose -3*r - 9 = -5*d, -2*d + 8*d = 4*r + 12. Let b = -33 + 28. Is d not equal to b?
True
Let l = 407 - 409.16. Let u = l - -2.26. Do -1/85 and u have the same value?
False
Suppose 3*f + 2*m - 3 = 4*m, -2*f - 5*m = 17. Suppose -4*c - 36 = 2*x, -3*x - 8*c - 53 = -3*c. Let p be (3/606)/(8/x). Is f >= p?
False
Let w = -2011 - -3876. Which is greater: w or -1?
w
Let g = -2683 - -2215. Is g > -472?
True
Let w = 7058 - 7178. Is w > -117?
False
Let n = -23816 - -23778.043. Let k = -38 - n. Let w = 1.043 + k. Which is smaller: w or 0.1?
0.1
Let z(v) = 2*v**3 - 16*v**2 - 317*v + 185. Let f be z(17). Suppose -3*p = -3*d - 9, -5*p - 4*d = -0*p + 3