ast as big as 6?
False
Let u(y) = y**2 + 2*y + 3. Let h be u(-2). Suppose -2*x + 18 = -h*p, -46 + 15 = -5*x + 4*p. Which is bigger: x or 19/6?
19/6
Suppose -34*d + 14*d + 7560 = 0. Which is smaller: 379 or d?
d
Let m = -173579287/181695 + -1/60565. Let h = m + 945. Is -11 less than or equal to h?
True
Suppose 5*c - 1656 = -13*c. Is c less than 91?
False
Let b be (-1)/((-27)/(-2)*(-1)/(-3)). Let o be (-4)/(-3) + (-16)/12. Is b greater than o?
False
Let r be (120/6)/((-1)/(-1)). Let f be ((-1)/4)/(15/r). Is 1 not equal to f?
True
Let f be (-20)/(-15) + (-2)/(-3). Suppose f*a + 2*a + 12 = 0. Let i be (a/(-2))/(12/16). Is 10/7 >= i?
False
Let d = -17/251 - -69109/1024080. Is d at most as big as 1?
True
Let u be 24/6*1/(-2) - 1. Let c be 1/6*u + (-1)/(-4). Which is smaller: c or -22?
-22
Suppose 10*u = t + 5*u - 10, -u - 26 = -5*t. Let k(h) = h**3 - 5*h**2 - 4*h + 21. Let l be k(t). Which is smaller: l or 7/19?
7/19
Let o(t) = -t**2 - 20*t + 174. Let v be o(-25). Are 0 and v equal?
False
Suppose -102 = -4*t - 42. Is t <= 17?
True
Let a be (-10 - 320/(-30))/((-13)/(-3)). Suppose -n - 2*t = t + 1, -2*n - 2*t - 2 = 0. Is n <= a?
True
Let l be (2 - 0)/(-1) + -1. Let f(h) = 10*h + 54. Let n(r) = 3*r + 18. Let x(z) = -2*f(z) + 7*n(z). Let b be x(-17). Is b at least l?
True
Suppose 0 = -0*g + 4*g. Suppose 3*y + 5*f + 14 = g, 3*y + 2*y = -4*f - 6. Let i be y + -2 + 3 + -4. Which is smaller: -2 or i?
-2
Let g(d) = -d**3 + 10*d**2 + d - 7. Let q be g(10). Suppose q*b = 4*b + 6. Suppose 14 = -2*u - 2*z, -3*u - 2*u - 2*z = 32. Is b greater than u?
False
Suppose -6*q - 1792 = -20*q. Is q equal to -3?
False
Suppose -h = 3*n + 7, -3*h + 3*n - 5*n - 7 = 0. Let o = h - 0. Let u be ((-2)/85*-1)/(-21 + (-5908)/(-280)). Which is greater: u or o?
u
Suppose 0 = -6*k - 144 - 11892. Let s = k - -22086/11. Which is smaller: 1 or s?
1
Let d = 2869/47796 - 2/3983. Which is greater: 1 or d?
1
Let o(v) = -v**3 - 5*v**2 + 7*v + 14. Suppose q - w + 3 = 0, 0*q = 3*q + 4*w + 30. Let z be o(q). Let x = 0.1 + 0. Which is bigger: x or z?
z
Suppose 187 = -6*h + 769. Which is bigger: h or 486/5?
486/5
Let w be (-40)/(-2)*56/(-7). Which is bigger: -161 or w?
w
Suppose -b = -3, -9 - 5 = -2*d - 4*b. Are d and -6/415 equal?
False
Let y = 0.007 + -2.907. Let m = y - -3.1. Which is smaller: -13 or m?
-13
Let i be 24/(-10) - 6/10. Let x = i - -1. Let y be 4/x + (-16)/(-6). Which is greater: 2 or y?
2
Suppose 32 = 2*t + 2*t + o, -5*o + 41 = 3*t. Let n = t - 5. Let c be (n/(-3))/((-2)/9). Is -0.1 < c?
True
Let i(g) = g + 3. Suppose 25*y - 40 = 23*y. Let o = 17 - y. Let u be i(o). Which is smaller: u or 6/5?
u
Let d = -14 + 18. Suppose 5 = d*r - 19. Suppose 3*p - 13 = -4*s, -5*p + 26 - r = 5*s. Which is greater: p or 0.1?
p
Let k = -2 + 1. Let p be (k/(-5))/((-3)/2). Let u = 1628 + -1627. Are p and u unequal?
True
Let s be -2*2/((-8)/(-116)). Suppose 28*j + 11*j = -2223. Is s greater than or equal to j?
False
Let t = 319/785 + -1/157. Let i = -64.4 + 63.9. Is i > t?
False
Let u(b) = -6*b + 0 - 1 - 4*b. Let w be u(1). Is -13 less than w?
True
Let k(b) = -b - 8. Let q be k(7). Let n = -10 - q. Suppose 3*y = y + 3*p + 11, 0 = 2*y - n*p - 17. Do 3/5 and y have the same value?
False
Suppose 0 = -5*g - 2*n + 41, 0*g + 2*n = -g + 13. Suppose d + g = 9. Let f be 40/(-64) + 1/d. Is -1 less than f?
True
Let g(c) = c**3 - 7*c**2 + 11*c + 4. Let b be g(4). Suppose 68 = -3*k + k + f, b = 4*k - 5*f + 136. Is k > -34?
False
Let n(h) = -h**3 - 2*h**2 + 5*h + 4. Let f be n(-3). Let x = -1 + f. Let s = x - -7. Which is greater: -0.2 or s?
s
Let v be 3/(-4) - -21*(-6)/(-72). Let q = 6 - 2. Let p be 2/q - (-33)/(-42). Which is greater: p or v?
v
Let k(s) = -s**3 + 4*s**2 + 18*s - 15. Let x be k(6). Suppose -4*v = t - 2, -v + 53 = 2*t + x. Which is greater: t or 20?
20
Suppose -401*j - 36 = -383*j. Let v be ((-48)/27)/((-4)/(-6)). Is j smaller than v?
False
Let f(m) = -m**3 - 7*m**2 - 7*m - 4. Let d be f(-6). Suppose 0 = 5*g - r - 5, 3*g + 25 = -d*r - 3*r. Let w = 10 - 11. Which is smaller: g or w?
w
Suppose 3*f - 17 = -4*o, -4*f + 13 = 5*o - 8. Let w = 0.1 - -0.6. Which is bigger: w or f?
w
Let z = -9 - -13. Let d be 10/z*(-24)/30. Let u = 0 + -2. Do u and d have the same value?
True
Let v be (-27)/(-7)*(-2)/3. Suppose 5*n + 9 = -5*x - 6, 3*x = -n - 11. Which is bigger: x or v?
v
Let c(x) = 2*x**2 + 29*x + 16. Let k be c(-22). Is 345 <= k?
True
Suppose -5*z = -3*n - 109, -2*z + 2*n = -0*z - 42. Suppose 12*c - 218 - 58 = 0. Are c and z non-equal?
False
Suppose -4*t = 3*b - 179, -11*t - 2*b + 174 = -7*t. Is t not equal to 41?
False
Let x be 404/(-44) - 0 - 2/(-11). Let l(p) = -p - 33. Let y be l(x). Do y and -24 have the same value?
True
Let r = -51 + 201. Which is smaller: r or 152?
r
Let h = 949 - 772. Which is smaller: 174 or h?
174
Suppose -5*n + 29 + 180 = p, 86 = 2*n - 2*p. Is n at most as big as 38?
False
Let z(k) = -9 + k - 6*k + 8*k - 2*k. Let o be z(10). Suppose -6*q + 5*q - o = 0. Is q != -1/5?
True
Let g = -221/10 + 217/10. Which is smaller: -14.21 or g?
-14.21
Suppose 0 = -12*x + 4 - 40. Is x > 0?
False
Let i be 3 + (-184)/(-16) - (-4)/8. Is -2 >= i?
False
Suppose 11 + 10 = 3*t. Is t at most as big as 69/11?
False
Let s = 343 + -339. Which is smaller: s or -4?
-4
Let t(j) = j**3 - 2*j**2 - 3*j + 3. Let k be t(3). Suppose n + 2*z = k*n, 5*z - 18 = -n. Suppose n*m = 8*m - 5. Is 8/5 bigger than m?
True
Let t(k) = k**2 + 11*k + 2. Let g(m) = m**2 + 7*m - 11. Let z be g(-10). Suppose 5*j = -59 + z. Let x be t(j). Is -22 smaller than x?
False
Suppose 2*z = 4*f - 88, -4*f - 42 - 74 = 4*z. Let o be 1/2 - 17/z. Is 2/119 greater than or equal to o?
False
Let u = -10 + 15. Suppose 20*o - 22*o + 20 = 0. Let j be o/(-35) + u/(-7). Do j and -1 have the same value?
True
Let d(j) = j**3 + 8*j**2 + 15*j + 54. Let q be d(-7). Suppose -3*m - 6 = -0*m. Do m and q have different values?
False
Suppose 3*k - 20 + 14 = 0. Which is greater: k or 14/5?
14/5
Let r = 2165588/439 + -4933. Let v = r - -865/5707. Is v >= -1?
True
Suppose -11 - 149 = 5*m - 5*s, -5*m - s = 178. Let j be 8/4 - 60/m. Which is smaller: j or 4?
j
Let g = -17.9 + 18.9. Is -2/15 at most as big as g?
True
Let f = -72.88 + 73. Let y = f - 0.12. Do y and 3/13 have the same value?
False
Let p = -10044 + 10043. Let c be ((-2)/21)/(-1 - 1). Which is greater: c or p?
c
Suppose -9 = -2*v - 7. Which is smaller: v or 1/158?
1/158
Let v = 556 - 556.28. Do v and -3/34 have different values?
True
Suppose -2*q - 792 = 4*x, -4*x = 22*q - 19*q + 1190. Which is bigger: q or -399?
q
Let l(s) be the third derivative of -s**4/24 + s**3/3 + 11*s**2. Let q be l(2). Suppose -a + 5*m = 25, q = 4*a - 3*m + 44 + 5. Is -9 at most as big as a?
False
Let o = 18674/153 + -2559374/5661. Let x = -330 - o. Suppose -18 = 2*h - 4*n, 4*h - 3*n + 16 = -0*n. Is x equal to h?
False
Let k be 3896/45 + (-30)/(-135). Let v = k - 86. Let q = 2 + -1. Is v greater than q?
False
Let f = -3 + 5. Suppose 10 = s + 4*m, 5*s + 42 = 2*m + m. Let v be (-4 + 0)/(2/(s/3)). Which is bigger: v or f?
v
Let n = -28.5 + -0.5. Let z = n - -31. Which is smaller: 10 or z?
z
Let l = -161 - -157. Let o be (-185)/259 - (-3)/((-6)/l). Suppose 2*f - 3 = -f. Is f not equal to o?
True
Suppose 10*b + 95 = 345. Let h be (-2)/(-35)*b/(-15). Is -0.2 < h?
True
Suppose 4*y + 5*d = 379, -5*d - 38 = y - 144. Let a = 82 - y. Are -13 and a non-equal?
True
Let w = -0.13 + -6.87. Let v = 67.06 + -67.11. Is v != w?
True
Suppose 2*i = g + 4, -g + 1 = -3. Suppose -8*c + 272 = -i*c. Is c at least 68?
True
Let s be 4/(-12) - (-566)/12*2. Suppose -m - s = 7. Which is greater: -100 or m?
-100
Suppose -19 = -3*a - 5*t, -4*a + t = 115 - 125. Is 82 smaller than a?
False
Let y = 25491/11 + -2323. Is y < -7?
False
Suppose -7*v + 30 = -v. Suppose -2 = -3*u + v*u. Let f = -212 + 3602/17. Is f not equal to u?
True
Let a = 6.48 - 4.48. Which is smaller: a or 13?
a
Suppose -2*y - 10 = -0, -3*c = 4*y + 23. Let b = 714.96 + -699. Let u = b - 0.96. Is u >= c?
True
Let w be (-3 + 42/10)/(22/(-10)). Let t be -3 + 0 + -2 + -118. Let a = t + 863/7. Which is smaller: a or w?
w
Let f(m) = 5*m**2 - 11*m - 6. Let i be f(-5). Suppose 0 = -3*l + 3*d + 108, l + 4*l + d = i. Which is smaller: l or 36?
l
Suppose 0 = -4*n + 3*v + 19, -10 = -2*n + 8*v - 6*v. Let b(m) =