Is m at most as big as y?
True
Suppose -35*n + 3405 = -3*f - 31*n, -30 = 5*n. Is f equal to -2?
False
Suppose 0 = 3*y - 4*l - 17, 9 = -y + 2*y + 2*l. Let p be (-2)/(-6)*(10 - y) - 22. Let n = 18 + p. Are -13/8 and n equal?
False
Let z be (-6)/24 + 134/24 + -29 + 24. Are z and -0.429 unequal?
True
Let z(l) = -l**3 - 52*l**2 - 49*l - 259. Let t be z(-50). Which is smaller: -2810 or t?
-2810
Let w = 0.2773 + 2.7227. Is 1143 >= w?
True
Let a be ((-13)/4)/(10/880). Let y = a - -306. Is y <= 23?
True
Let m = -2868743/176088 + -1/7337. Let i = m + 47/3. Which is smaller: -2 or i?
-2
Suppose 183 = 2*o - 5*m, 3*o - 5*o = m - 165. Let r be (2/(-8) - (-21)/o)/(-2). Is -3/92 at most as big as r?
True
Let s be (156/(-38))/2 + 2. Suppose 7*x - 12 = -2*n + 2*x, -3*n - 2*x = -7. Suppose n - 5 = -4*j. Is s != j?
True
Suppose -j - 546 = -3*l, 0 = -2*j - 4*l - 1671 + 549. Which is bigger: 1 or j?
1
Let z(n) = 7*n**2 - 16*n + 2. Suppose -6*c + 114 = 102. Let i be z(c). Suppose 4*x = 65 + 19. Is x less than or equal to i?
False
Suppose -442 = 5*j - 2*z, -266 = -5*j + 8*j - z. Let q be (3/66)/(1/j). Are q and -5 equal?
False
Suppose -84 = v - 3*t - 101, 6*v + 3*t - 81 = 0. Which is greater: 383/25 or v?
383/25
Suppose -5*z + 31 - 6 = 0. Let u(x) = 11*x + 5*x**2 - 12*x**2 + 2*x**2 - 4 + 3*x**2. Let j be u(z). Is -2/33 at least as big as j?
False
Let c = -38.37 - -36.37. Let h be (-2)/(-18) - (-145)/(-1143). Which is smaller: h or c?
c
Suppose 14*d + 2*d - 12 = -28. Is 8/139 > d?
True
Let n = 86 + 506. Let f be (-44)/(-30)*370/n. Is 1 equal to f?
False
Suppose -545*r - 75798 - 1449657 = 0. Are -30774/11 and r non-equal?
True
Let y = -3741.491 + 3743. Let g = y - 1.43. Let h = -12.921 - g. Which is smaller: h or 0.2?
h
Let d(r) be the third derivative of r**5/60 + 3*r**4/8 + 5*r**3/3 - 22*r**2. Let i be d(-8). Let k be (-2 - (-2)/i)/(125/10). Is 1 < k?
False
Suppose -4*o = -128 + 40. Suppose -3*n + 21 = -2*n. Which is smaller: o or n?
n
Let c = -131 + 91. Let g be c/102*70/(-25). Let k = 4/17 + g. Which is smaller: k or -0.5?
-0.5
Let b be -11 + 0 - (-20 - -23). Let g be (-2)/(-3)*(-21)/b. Which is smaller: g or -4/31?
-4/31
Let u be (11 + -10)/((-10)/4*(-7)/(-70)). Which is smaller: u or 542?
u
Let g = 2/116051 - 1278267/98991503. Do 0 and g have different values?
True
Let b be 46*-59 - (-4 + -3). Is -2707 bigger than b?
False
Suppose -74 = 4*x + 2*c, 0 = -2*x - 59*c + 61*c - 52. Which is smaller: x or -148/7?
-148/7
Let f = 8432 + -8437. Suppose -9 = 5*p + 1, -3*t + 19 = 4*p. Suppose 0 = 2*c - 3*c - t. Which is smaller: f or c?
c
Let t = -65 + 69. Suppose 6*b - 11*b + 15 = 0. Suppose -a + 2 - b = 0. Which is smaller: a or t?
a
Let u = 2.359 - -13.711. Let n = 1.93 + u. Which is bigger: n or 1?
n
Let n(s) = -s**3 + 8*s**2 - 15*s + 6. Let u be n(4). Suppose 2*q - 304 = u*q. Is q != 1?
True
Suppose -38*d - 8641 - 2417 = 0. Let n = d - -292. Which is smaller: 1/847 or n?
1/847
Let y = -247 + 247. Let s = 197602/33 - 5989. Let m = s + -3/11. Is m greater than or equal to y?
False
Let j = -9207 - -9250. Which is bigger: j or 0.063?
j
Let s = 13 - 29. Let t = 29 + s. Let m(l) = l + 43. Let r be m(-29). Is t != r?
True
Let t = 268 - 257. Suppose 13*x + t*x = 144. Are x and 8 unequal?
True
Suppose -4*r - 3 = -3*l, l - 4*r + 9*r = 1. Is l != 438?
True
Suppose 28 = -5*s - 3*z, -2*s + 0*s - 2*z - 12 = 0. Let r be (20/s + (-27)/(-6))*2. Suppose 0 = q + 2*u - 16, 4*q = 2*u - 4 + 28. Is q at least r?
True
Suppose -18*o = -10*o - 2600. Suppose -17*z + 12*z - o = 0. Let r = 98 + z. Is 33 equal to r?
True
Let j = -2735/44 - -164771/220. Which is greater: j or 688?
688
Let c = 0.1 - -0.9. Let y(b) = -8*b**3 + 7*b**2 - 4*b + 18. Let w be y(6). Let h be 2/4 - w/(-3172). Is c not equal to h?
True
Let f(c) = -c**3 - 14*c**2 + 69*c + 6. Let h be f(-14). Let t be ((-3)/4 + 1)*h/3216. Which is bigger: 1 or t?
1
Let d(y) = y**3 + 8*y**2 - 2*y - 8. Let g be d(-8). Suppose -4*o + s + 14 = -0, 4*s = 5*o - 23. Suppose 0 = -g*r + 5*r - o. Is r at most as big as 3/8?
True
Let w = -191 - 10. Let y = w - -199.5. Let s = -4.8 - -5. Is y <= s?
True
Let i = -1409/4760 + 7/680. Which is smaller: i or 12/97?
i
Let y = -278/161 - 3/23. Let n(q) = q**2 + 17*q + 61. Let b be n(-12). Let i be ((-19)/7 - 22/77)/b. Is y > i?
True
Let p(x) = -2*x**3 + 3*x**2 + 7*x + 3. Let f(w) = -w**2 + w + 9. Let c be f(-3). Let r be p(c). Suppose r = 8*b + b. Which is greater: 6 or b?
b
Suppose w - 291 = 3*l + 115, 0 = -3*w + 3. Let h be -3 + (2/(-3))/((-10)/l). Let i be ((-33)/9)/(3/9). Which is smaller: h or i?
h
Let l(q) = -7*q**2 + 20*q - 7. Let b(m) = 3*m + 145. Let w be b(-47). Let i be l(w). Is -4 smaller than i?
False
Let y = -30 - -46. Let m = 31 - 36. Let t be (24/m)/((-9)/30). Is y > t?
False
Let v(r) = -21*r + 44. Let q be v(2). Suppose -d = 2*k - q, d = 6*d - k - 32. Is d greater than 1/5?
True
Let p(g) be the first derivative of -g**2/2 + 5*g + 6. Let n be p(-4). Suppose -2*x - 153 = 2*i - 183, 0 = 5*x + 2*i - 63. Is n greater than x?
False
Let u(i) = -i**3 - 110*i**2 + 456*i + 1. Let l be u(-114). Which is smaller: l or 37/116?
37/116
Let a be (-1)/151*78*2/36. Is a less than 1?
True
Let t be 11/((-143)/130) - -1587. Is 1577 at least t?
True
Let x = -714 - -709. Let w be -1 - -13*(30/x)/30. Which is greater: -2/3 or w?
-2/3
Let y be 2*(-1 - (4 + -3)) + 7 + 3713. Is 3717 less than y?
False
Let o = 61.7454 + -62.0154. Let j be 2/8 - 7/12. Are o and j nonequal?
True
Let m(p) = -145*p**2 - 2*p + 3. Let i(f) = -146*f**2 - 2*f + 4. Let l(a) = 2*i(a) - 3*m(a). Let n be l(1). Suppose -14*d - n = -11*d. Is d smaller than -48?
False
Suppose w + 28*w + 5968 = 45*w. Is w <= 369?
False
Suppose 10*z - 42 = -37 - 25. Are -141 and z equal?
False
Let w(x) = 8*x**2 + 33*x - 16. Let m be w(-13). Let i = m + -908. Suppose 5*r + 29 = -16. Is r at least as big as i?
False
Suppose -160*o = -163*o - 27. Let t be (-616)/(-539)*((-14)/3)/(-2). Which is smaller: o or t?
o
Let z = -0.35 - 4.73. Let b = -6 - -6.08. Let a = b + z. Which is greater: a or 0.4?
0.4
Let l be (-286684)/(-52) - (-180)/(-1170). Which is smaller: 5514 or l?
l
Let y = -5472 + 60219/11. Which is smaller: y or -0.21?
-0.21
Let f = -325067753/247 + 1316059. Let z be 1624/273*6/8. Let r = f + z. Is r at least -1?
True
Let x = 21 + -12. Suppose 34 = x*o - 11. Suppose -y = -4*g - 26, 4*y + 0*g = -o*g + 41. Which is smaller: 16 or y?
y
Let p(c) = -3 + c**2 - c - 4 + 2. Let n be p(-4). Suppose 4 = -n*z + 19*z. Are 2/213 and z equal?
False
Let p be (0/(-2) - -10)*7/28. Is 4/325 < p?
True
Suppose 3*p + 17 = -i, -21*p + 19*p + 5*i - 34 = 0. Let z(b) = b**2 - 7*b + 10. Let v be z(7). Suppose 0 = 3*d + v + 8. Which is bigger: d or p?
d
Let n = 13552 - 67748/5. Which is greater: n or 480?
480
Let b = -568 - -52. Let s = b - -515. Which is bigger: 91 or s?
91
Let n = -26.66 + 367.26. Let p = -315 + n. Which is smaller: -1 or p?
-1
Let v be 144/(-32)*(-3416)/420. Suppose 0*q + 103 = 3*q + 2*j, q = -2*j + 29. Which is greater: v or q?
q
Let y = 3592 + -3594.971. Let w = -207.1 + 207.071. Let v = w + y. Which is bigger: -18 or v?
v
Let a = -3995.7 - -3996. Is 1/506 >= a?
False
Let p be 2/(-18)*2 + (-60)/(-27). Suppose -n - 3*v + 43 = 3*n, p*n + v = 21. Let h be 15/n*1/42. Is h at most 0?
False
Suppose 22 = -20*h - 98. Let g be 14/924*11 + (-11)/h. Let s = 647/88 - 74/11. Which is smaller: s or g?
s
Suppose 0 = -y - 5*u - 10 + 4, -y + 10 = -3*u. Suppose k - 19 = -i - 15, 2*i - y*k = -4. Is i less than or equal to 8?
True
Suppose 12 = -7*n + 4*n, p + 5 = -3*n. Let s be 2*p/14*(-3 - 0). Let t be -4*(7 + s)/(-4). Do 2 and t have the same value?
False
Let d = 0.06 - 33.06. Let m = -162 + 199. Let h = m + d. Which is smaller: h or 0?
0
Let q = -5105.7 - -4987. Which is smaller: q or 1?
q
Let w = 1.14 + -0.7. Let i = w - -5.96. Let v = -2.4 + i. Is 3/5 < v?
True
Suppose 5*k + 0*k + 132 = 3*z, -2*z - 4*k + 110 = 0. Let o be ((-184)/(-16))/(2/(-4)). Let c = o + z. Is c not equal to 26?
False
Let k = 100506 - 431271248/4291. Is k greater than or equal to -1?
True
Let l be (-5)/(-25)*(-1 + 24). Suppose -4*v = -3*n - 31, 14*n = 5*v + 11*n - 35. Suppose -3*y + 16 - v = 0. Which is bigger: y or l?
l
Let g = 126 - 111. Suppose 14*n - 13*n + 4*s = -g, -4*s - 16 = 0. Is n greater than or equal t