 Let i = 207 - 208. Let a be ((-64)/(-896))/(i/(-3)). Do w and a have different values?
True
Let g = -457 - -273. Let d = 105 + g. Let v = d - -43. Which is greater: v or 1?
1
Let u be ((-12)/8)/(32 + -34). Which is greater: -0.14 or u?
u
Let v(f) = 1320*f - 10440. Let m be v(8). Which is bigger: m or 152?
152
Suppose 575*x + 2 = 577*x. Is x > 49/46?
False
Let g be 0 - ((-12)/2)/(1939863/326). Is g at least as big as 1?
False
Suppose 17560 = -169*q + 164*q. Let p = q + 762. Let x = p + 24778/9. Which is bigger: x or 4?
4
Suppose 4*k - 1728 = 2*i, 6*k - 3*i = 5*k + 447. Which is smaller: 857/2 or k?
857/2
Let y be (3 + 1 - 630/273) + -2. Let m = y - -42/221. Is m <= -0.7?
False
Let p = 5.235 + -2760.235. Is -0.1 at least p?
True
Let d = -838.852 - -835. Which is smaller: d or -1?
d
Let j = -237082.9 + 237068. Let a = 0.9 - 1. Which is greater: j or a?
a
Let f = -119 - -107. Let s be 23/(-207)*f/2. Let w = 0.029 - 21.029. Which is smaller: w or s?
w
Let u = -53.24 + 57.24. Is 0.255 equal to u?
False
Let v(m) = -m**2 + 13*m + 6. Let u be v(16). Let z = -54 - u. Let p be 1/z*(-11)/11*14. Is p equal to 1?
False
Let h = -5334/5 + 19082/15. Suppose -8*v - 1698 - 22 = 0. Let z = h + v. Which is smaller: z or -9?
z
Suppose -47*q - 60*q = -83*q + 148632. Is q at most as big as -6192?
True
Let a be (-14)/(-231)*(-90636)/(-1138) + -3. Let f = -5/569 + a. Which is smaller: 1 or f?
1
Suppose -32*l - 65 = -37*l. Suppose 0 = -7*o + l*o. Which is greater: -2/365 or o?
o
Let v(m) = -m**3 - 38*m**2 - 71*m - 23. Let j(g) = g - 29. Let o be j(-7). Let z be v(o). Which is smaller: -58 or z?
z
Suppose 9*d = 422 - 2042. Let r be ((-44)/(-5))/((-24)/d). Is 64 at least r?
False
Let f = -1053/8 - -132. Let m = -49/88 + f. Suppose 5*p + 10*h - 15 = 7*h, -2*h + 10 = -2*p. Which is smaller: m or p?
m
Let s = -85087 - -992965289/11670. Is s smaller than 0?
True
Let v(i) = -i**3 - 13*i**2 - 11*i + 8. Let h be v(-12). Let r be 0/((-4*1)/h). Suppose -9 = 2*t + n, 3*t + 54 = -4*n + 28. Is r greater than or equal to t?
True
Let q = -0.6 + 1. Let t = -1.648 - -1.568. Is t greater than q?
False
Let y(d) = 477*d - 1909. Let n be y(4). Is n at most 31/261?
True
Suppose -683*a + 47 = -636*a. Is 1/378 > a?
False
Let q = 0.377 + -0.927. Let w(t) be the first derivative of -t**3/3 - 15*t**2/2 - 15*t - 3. Let m be w(-14). Is m >= q?
False
Let k = 336 - 331. Suppose 0 = k*j - 25 + 25. Which is smaller: 3/172 or j?
j
Let q = 0.331 - 0.022. Let t = q + -0.189. Let u be (2/(-10))/(8/(-10)). Is u not equal to t?
True
Let t(n) = n**2 + 11*n + 4. Let l be t(-11). Suppose -20 = 4*z - v, -2*z + v = 2*v + l. Let k be (4 - 78/24)/(1/(-4)). Is k less than z?
False
Let a be (-103540)/(-2790)*(101 - -1). Which is bigger: a or 3785?
a
Let s be (-4 - (-84)/20)*14*-5. Let c be s/21*-3*1/17. Is -1 equal to c?
False
Let k = 1.1 + -1.21. Let r(t) = -5*t**2 + 34*t + 10. Let v be r(7). Suppose o - z = v, 4*o - z + 0 - 3 = 0. Are o and k unequal?
True
Suppose -m + 6*m + 25 = 0. Let h = m - -31. Let a = h - 44. Is -18 bigger than a?
False
Let y(l) = 2*l**3 + 84*l**2 - 82*l + 271. Let i be y(-43). Which is greater: 54 or i?
i
Suppose 0 = -89*h + 221 - 310. Is 24 smaller than h?
False
Suppose 0 = -10*d + 12*d - 20. Let u(z) = -d + 4*z**3 - 11*z + 5*z**2 - 6*z**3 + 13*z + z**3. Let n be u(5). Is 2/49 >= n?
True
Let m be (-8414)/(-3766)*(-2)/166. Let c = 4/269 + m. Are 0 and c unequal?
True
Let l be (-40)/180*(-558)/(-8). Is l less than or equal to -3/2?
True
Let a be -2 + (-3)/(-2) + 4520/16. Let g = a + -411. Let v = 91 + g. Is -37 at least as big as v?
True
Suppose 424 = 3*g + 1252. Let p be ((-5)/(-5) - 4) + g/(-15). Is p at least 15?
True
Let m(s) = s**2 + 10*s - 5. Let g be m(-8). Let j = g - -125/6. Let k = -23825 - -23805. Does k = j?
False
Let m(o) = o**3 - 41*o**2 + 129*o + 11. Let i be m(4). Which is bigger: i or -860/13?
i
Suppose 0 = -5*n - 2*o + 31 - 36, 3*n - 4*o = 23. Is n at most as big as 4/261?
False
Let j be (33/638)/(3/(-20)). Let d be 1/((72/108 + (-14)/12)*6). Which is bigger: j or d?
d
Let s = -10/21 + 629/42. Let h(q) = -73*q + 24. Let l be h(-8). Let x be l/19*(-2 - 5/(-2)). Is x greater than s?
True
Let o be (2*(-4)/(-28))/(1 + 1). Let q = 0.295 - 35.295. Which is greater: q or o?
o
Let b = 3362 + -3324. Which is bigger: -49 or b?
b
Let u = 2/49 - -64/833. Let r = -43.935 - -48.935. Is r bigger than u?
True
Let o = 1.26 - 15.26. Let z = -3/49 + -37/196. Is z at most o?
False
Suppose -5*a - 1330 = -19*a. Let x = a + -95. Suppose x = 19*o - 20*o + 93. Which is smaller: o or 92?
92
Let y = -270 + 276. Let a(z) = z - 3. Suppose 94*k = 91*k + 21. Let o be a(k). Which is smaller: o or y?
o
Let o = -3623 - -606. Which is greater: -3016 or o?
-3016
Let q be 108225/756 + (-246)/(-574). Which is smaller: q or 144?
q
Let t(m) be the second derivative of m**3/2 + 23*m**2/2 - 3*m. Let c be t(-7). Suppose -c*o = 14 - 20. Which is smaller: 0 or o?
0
Let o = -1 - -40. Let r = o + -37. Suppose r = 5*v - h + 9, 3*v - h = -5. Which is greater: -9/4 or v?
v
Let u = 2099 - 4199/2. Let i be 5/(-15) + (-1)/(-3). Are u and i equal?
False
Suppose -c - 2*q + 286 = 0, -c + 228 + 56 = 4*q. Let u be (-4)/14 + (c/28 - -2). Let d = -9 - u. Which is smaller: -1 or d?
d
Let m = -278 + 284. Let y = 33/5 - m. Let l = 0.99 + -1. Is y less than l?
False
Let i = -4 - -12. Let d = 127 + -35. Let m = -97 + d. Which is smaller: i or m?
m
Let k = -178 + 88. Let z = -103 - k. Which is smaller: z or -6?
z
Let j be 4/(40/105)*(-14)/3. Do -48 and j have the same value?
False
Let u be (-298)/36 - (3 + (-35)/14). Let y = 535/63 + u. Is -4/89 <= y?
False
Let q = 12961 - 12961.1. Let o = 91 - 91.041. Which is smaller: q or o?
q
Let z(c) = -4*c - 29*c - 3*c**2 + 9 - 19. Let k be z(-10). Which is smaller: k or -3?
-3
Let j = -2011.68 + 2012. Which is bigger: j or 3.6?
3.6
Let u(l) = 11*l**2 - 1135*l + 206. Let x be u(103). Is -112/171 at most x?
True
Let c = 5220.0607 + -5220. Is -0.1 greater than or equal to c?
False
Suppose 47728 = 25*d + 16803. Is d at least 1237?
True
Let z be (13/(-2))/((-1)/(-2)). Let u = 67 - -186. Let s = u + -265. Is z less than s?
True
Let l = -26 - -26. Let o = 3 - l. Suppose -g + 2 = -o*x - 2, 3*x + 8 = 2*g. Which is greater: x or 4/21?
4/21
Suppose r + 0*p - 18 = -5*p, -4*p + 10 = 3*r. Let g be 185/(-333)*(15/75 + 42/10). Is r <= g?
False
Suppose 4*k + 5*o + 10 = 0, 10 = -5*k + 4*o - 9*o. Let j be 12/39*9/24. Which is greater: j or k?
j
Suppose -3*c + 13 = -3*m + c, 27 = -5*m + 4*c. Let o be 15 - 12/18*(17 - -13). Which is smaller: m or o?
m
Let n = -255.9941 - 0.0059. Let r = n - -258. Which is smaller: r or 100?
r
Let p(f) = 2*f**3 + 14*f**2 + 10*f + 8. Let n be p(-6). Suppose n*k + 18*k + 418 = 0. Which is smaller: k or -23?
-23
Let s be ((-186)/12)/(1*4/(-8)). Let w be 8/10*(435/10 + -5). Which is smaller: w or s?
w
Let d(r) = -9*r**2 - r - 7. Let f be d(2). Let p be (122/(-4))/(f + 43). Is 16 > p?
True
Suppose 5*b - 25699 = -4*q, -34*q - 5*b - 32090 = -39*q. Are 6424 and q non-equal?
True
Let c = -13319 + 13325.049. Let m = c - 0.049. Let d = m - 2. Which is smaller: d or -0.4?
-0.4
Suppose 0 = -r - 2*s + 2638, 97*r - 3*s + 7899 = 100*r. Which is bigger: 2627 or r?
r
Suppose -f + 15*a = 13*a + 70, f = 5*a - 67. Which is smaller: f or -66?
f
Let m(u) be the third derivative of 14*u**2 - 1/6*u**3 + 0*u + 0 - 1/8*u**4. Let q be m(-3). Is q not equal to 7?
True
Let i = 397 - 391. Let z = -127 - -1269/10. Is z < i?
True
Suppose -25188*k = -25170*k - 5220. Is 276 at most as big as k?
True
Let f(t) = 4*t - 1. Let y(l) = 3*l - 2. Let x(c) = 2*f(c) - 3*y(c). Let n be x(5). Suppose 30*w + 41 - 78 = -67. Is w greater than or equal to n?
True
Suppose 0 = 7*v - 2986 - 1914. Suppose 0 = 15*o - 18*o - 4*k + v, 0 = 3*o + 3*k - 702. Which is bigger: o or 1/4?
o
Let p = 453 - 452. Let w be -117 + (p + 6 - 2). Is -112 greater than w?
False
Suppose -2 = -2*c - 3*z, 4 = 4*c + 8*z - 5*z. Which is bigger: c or 1.09?
1.09
Let t be 18/27 + (1 + -4 - 8/(-6)). Is -5/1526 >= t?
True
Suppose 186*n = 169*n. Which is smaller: n or -2/581?
-2/581
Let r(o) = -9*o**3 + 2*o**2 + o - 2. Let x be r(-2). Let p = -106 + 111. Suppose -2*l + x = -p*m, -5*l = 5*m - 0*m + 90. Is -14 greater than or equal to m?
True
Suppose -15*k + 114 - 69 = 