 + 7)*1/4. Are 2.61 and u non-equal?
True
Let k = 0 - 1. Let y = -28.05 - -28. Let i = y + -0.05. Is i bigger than k?
True
Suppose -3*u = 5*k - 7688, 0 = -5*k + u + 3*u + 7681. Suppose p = 4*j - 3*p - 1512, -k = -4*j - p. Let q = j - 7275/19. Is q less than 0?
False
Let b be 1 - -19*38/(-22). Let y = b + 32. Do y and -0.1 have the same value?
False
Let g be ((-8)/(-6))/((-24)/36). Let s(z) = 6*z + 4. Let p be s(g). Is 3 greater than p?
True
Suppose 28*s + 4 = 27*s. Let m be (-3)/(-252) + 1/s. Is -1 at least m?
False
Suppose -4*k = -2*q + 488, -3*k + 66 = q + 437. Let a be 2/k*(-42)/28. Which is smaller: a or 1?
a
Let m be (0 - -1)/((-10)/(-40)). Let h = m - 5. Let u be ((-5)/(-4))/(h/(-4)). Is 4 less than or equal to u?
True
Let j = 559 - 561.8. Does j = 0.07?
False
Let n(d) = -3*d**2 + 18*d - 9. Let s be n(7). Let u be (s/25)/2 - 2/5. Which is smaller: u or -2?
-2
Suppose 5*y + 509 = j, -6*y + 8*y + 1540 = 3*j. Is j smaller than 515?
True
Let s = 0.3 + -0.1. Let c = -0.11 - -0.01. Let i = -4.1 - c. Which is bigger: i or s?
s
Let g be 44493/(-18)*(-99)/30. Let m = -8160 + g. Let d = m + -1/4. Is d not equal to -3?
True
Let j(p) = -6 - 4*p**2 + 13*p + 15*p**2 - 12*p**2. Let s be j(13). Is s < -6?
False
Let b = -0.312 + 0.282. Is b at most 5?
True
Suppose 5*m + 5 = 0, 5*j + 1258 = 2*m - 10. Which is greater: -253 or j?
-253
Suppose 2*c + 0*c + 84 = 0. Let w be ((-33)/6 - -5)*c. Is w less than 19?
False
Let s(w) = w**3 + 3*w - 7. Let n be s(2). Let v be 0*3/(-12) - (4 - n). Is 35/8 >= v?
True
Let o = 3 + -85. Let v = -83 - o. Is v at most 2.6?
True
Let o(h) = h**3 + 30*h**2 + 35*h - 206. Let d be o(-30). Is d at least -1256?
True
Let c be (-1)/3*3090/(-20). Which is smaller: 51 or c?
51
Let h = -0.581 - 1.319. Let g be 1/12*(-32)/12. Which is smaller: h or g?
h
Let q be (-28)/35*1*15/(-3). Suppose -z = -4*o + 52, 0 = -o - q*z - z + 34. Is o smaller than 4?
False
Let z(i) = -4*i - 36. Let h be z(-18). Are 36 and h unequal?
False
Let n = -2 - 48. Let z be n/(-18) - (-8)/36. Let j be z - 6*(-2)/(-4). Are j and -4/3 equal?
False
Suppose 0 = -4*b + 7*b + 216. Let q = 66 + b. Is q < -6?
False
Let z = -64 - -153. Let c = 95 - z. Is 2/17 less than or equal to c?
True
Let g be (3 + 4*-1)*0. Let u be (-2 + 0 - -2)/(-2). Is u greater than g?
False
Let h = 36 + -32. Let u be (-1*h/(-28))/(-1). Is u at most as big as 0.09?
True
Suppose -4*n - 5*t + 10 = 0, -2*t = 4*n + t - 6. Let q be 1554/(-1558) + (-7)/(-7). Let m = 13253/3895 - q. Is m <= n?
False
Let a = 7/27 + -25/27. Is a smaller than 1/50?
True
Let f be 18/(9 + -3) - 5. Which is bigger: f or -6/5?
-6/5
Suppose -2*d + 0*d + 136 = 0. Suppose 4*h = -5*i + 357, 0 = -i - 3*h + 4*h + 66. Which is smaller: d or i?
d
Let f = -280 + 282. Which is smaller: f or 76?
f
Suppose 2*m + 11 = 3*j, -m + j = -1 + 4. Suppose 0 = -2*h + a - 3, 0 = -h - 2*a - 27 + 28. Which is smaller: m or h?
h
Suppose -b = -0*b. Let f be 432/14 + (-9)/15. Let h = f + -147/5. Is b at most h?
True
Let r(v) be the first derivative of v**3/3 + 3*v**2/2 - 17. Let s be r(-1). Let f be -1 - 2*9/42. Which is smaller: f or s?
s
Let g = 156 + -126. Let z = g - 32. Which is bigger: -0.1 or z?
-0.1
Suppose -5*b = -4*k - 8, 0 = -b - 4*k - k - 10. Which is bigger: 6/119 or b?
6/119
Let j = 489 + -488. Are j and -1/39 non-equal?
True
Let c = -954.248 + 943. Let t = c + 0.148. Let m = 1.1 + t. Is 1 bigger than m?
True
Let u(b) = 6*b - 17. Let w(o) = -9*o + 25. Let f(g) = -7*u(g) - 5*w(g). Let l be f(-4). Is -19 < l?
True
Let a = -574 - -575. Do a and -2/5 have the same value?
False
Let j = -25.44 + 25. Let t = 0.54 + j. Are t and 1.4 non-equal?
True
Suppose -2 + 51 = 4*t + i, -14 = -2*t - 4*i. Suppose 11*c + 2 = t*c. Let u be ((-7)/42)/(6/(-20)). Is u at least as big as c?
False
Let f = -327 + 344. Suppose 0 = 3*k + k - 68. Is f at least as big as k?
True
Suppose 38*l = 32*l + 180. Which is smaller: l or 26?
26
Let k be (6/5)/(1/(-5)). Let t(u) = -2*u**3 + 73*u**2 - 38*u + 72. Let r be t(36). Is r <= k?
False
Let s = 33 - 296. Is s greater than -263?
False
Let v be (-2)/(-4) + 54/12. Suppose -11*o + 2 = -5*y - 10*o, 0 = -4*y + v*o + 11. Which is greater: y or -1/5?
-1/5
Suppose 0 = 306*z - 282*z - 30048. Which is smaller: 1251 or z?
1251
Let b = -0.5 + 0.29. Let i = 1.11 + b. Let u = i - 1. Which is smaller: 0.2 or u?
u
Suppose -146 = 4*r + 4*l + 206, -4*l - 12 = 0. Let w = -87 - r. Which is smaller: -7 or w?
-7
Let x = 5.86 + 0.14. Let i = -46 - -73. Suppose 23*b - i*b = 0. Which is greater: b or x?
x
Let f be (1*(-3)/9)/(12/36). Does f = 1/10?
False
Let c be (-1)/(12051/(-2322)) - (-6)/(-39). Which is greater: 0 or c?
c
Suppose 0*y = 2*y + 42. Let h be (14/(-18))/(14/y). Suppose -2*i + 8 = -p - 6*i, -8 = -p + 4*i. Which is greater: p or h?
h
Let q be ((-4 - -4)*1 - -1) + 670. Which is bigger: q or 673?
673
Suppose -2*r + 4*k - 146 = 34, -k + 339 = -4*r. Which is greater: r or -86?
r
Suppose -11*o + 21 = -1. Suppose -2*p + o = 0, 2*w - 5*p - 107 = 6*w. Which is smaller: -27 or w?
w
Let h = 0 + 0.7. Let o = h + 14.3. Is 2/7 greater than o?
False
Let z be (-338)/494 + (0 - -7). Which is greater: z or 7?
7
Let k = 0 + 0. Let u be (4279 - 4/(-1))/11. Let z = 389 - u. Which is greater: k or z?
k
Suppose 9 = -2*f + 19, 73 = -4*c + f. Is c >= -15?
False
Let h = -281 + 2522/9. Is 2 less than or equal to h?
False
Let r be (-66)/(-44)*2/21*2. Which is bigger: r or 71?
71
Suppose 3*d - a - 48 = 2*d, 2*a = -d + 48. Suppose -d*s + 46*s - 16 = 0. Which is bigger: -11 or s?
s
Suppose -24*s - 2433 = 2223. Which is smaller: -578/3 or s?
s
Let t = 0.001 - -0.125. Let d = t - 0.026. Is -10 at most as big as d?
True
Let o = -385 - -327. Is 1 > o?
True
Let h(j) = -j**3 + 12*j**2 + 62*j + 43. Let f be h(16). Is f at most as big as -13?
False
Let h be (4/6)/(48/18). Let j = 1.8 - 1.9. Let s = j + 0.3. Which is smaller: h or s?
s
Suppose -5*g = -3*s + 210, 0*g + g - 5*s + 64 = 0. Let b be 2/8 + -10 + 121/(-4). Is g at most b?
False
Let v = 0.98 - 70.98. Let n = 86 + v. Let r = 1.1 - 1. Is r less than n?
True
Let f = 996 - 998. Do -3/8 and f have different values?
True
Suppose 9*c - 426 = 3*c. Suppose -5*v - 34 = c. Is -21 equal to v?
True
Let z = -0.16 - -0.11. Let k(u) = -u**3 + 12*u**2 + 12*u + 15. Let x be k(13). Let a be 0/(-1)*(x - 5/2). Which is smaller: a or z?
z
Let o be (135/6)/(-3 + 15/4). Suppose 4*d = 10*d + o. Suppose 5*k = -31 + 11. Which is bigger: d or k?
k
Let q(m) = 3*m**3 + 60*m**2 + 16*m - 34. Let v be q(-20). Which is bigger: -355 or v?
v
Let m = 104 + -102.09. Let f = 0.9 - m. Let w = 0.01 + f. Which is greater: -3 or w?
w
Let k = -42.53 - -42.5. Let t = 0.23 - 0.23. Which is smaller: k or t?
k
Let m = 82 - 83. Let l = -620 - -616.03. Let c = -4 - l. Which is greater: c or m?
c
Let s = -3941/11 - -358. Is s greater than 0?
False
Let s be 58*-3*(-10)/1710. Is s > 1?
True
Let f = 763 + -736. Which is smaller: f or 2?
2
Let j = -15.4 + 14. Let t = 1.1 + j. Let m = t + 0.2. Is 1 >= m?
True
Let n be 44/99 - 332/18. Is n > -17?
False
Let w(b) = 7*b**2. Let h be w(-1). Suppose 16 = -11*k + h*k. Which is smaller: -5 or k?
-5
Let y be 3402/(-432)*7/3. Is -19 at most y?
True
Let x = -7 - -11. Suppose -21 = -x*l - 9. Let j(t) = 2*t - 31. Let p be j(15). Which is greater: p or l?
l
Let u = -0.17 - -8.47. Let m = u + 33.7. Is m greater than -0.1?
True
Suppose 7*g = 17 - 3. Let w(u) = 3*u**2 + 4. Let d be w(g). Is 17 less than or equal to d?
False
Let h(x) = 21*x**2 + 56*x - 56. Let g be h(1). Is g less than 20?
False
Suppose -28*k + 9*k = -13*k. Let f(m) = 4*m**2 - m + 1. Let j be f(1). Let x be (j/10)/((-14)/(-10)). Which is greater: x or k?
x
Let u = 293/150 - 11/6. Which is bigger: 1 or u?
1
Let o = -3 - -5. Let m be (-6)/2 - 58/(-5). Let k = m + -8. Which is smaller: k or o?
k
Let v = -2491 + 2491. Which is greater: v or -24/41?
v
Let w = -16 + 18.2. Let u = 1.2 - w. Which is bigger: -0.1 or u?
-0.1
Suppose -2*w - 2*w - 80 = 0. Let a be (4/(-18))/(w/12). Is a < 2/5?
True
Let c = 244.3 + -234. Let a = -78.3 + c. Are 0 and a unequal?
True
Let b(f) = f - 5. Let p be b(0). Let i = p + 8. Which is smaller: i or 7?
i
Let z = -76 - -74. Let l(y) = y**3 - 2*y**2 - 9*y + 3. Let t(r) = r**3 - 6*r**2 - 5*r - 10. Let q be t(7). Let k be l(q). Are z and k equal?
False
Sup