 b bigger than -25?
True
Let z = 165 + -162.4. Which is smaller: z or -2?
-2
Let i be (-3)/9 + 7/3. Let d(s) = -19*s**2 - 4*s - 3. Let f be d(-1). Let p be (-2)/3 - 12/f. Which is greater: p or i?
i
Let h = -3.2338 - 0.0662. Which is bigger: h or 7?
7
Let h be (142/426)/((-1)/(-21)). Is h < 1?
False
Let w = 49 + -31. Let s = w + -21. Let m be s/(-5) + (-36)/10. Are m and -6 nonequal?
True
Let o(a) = -63*a**2 - 6*a + 9. Let t be o(-6). Let h be (-355)/t - 2/13. Let x = -286/171 + h. Is x greater than 3?
False
Let j be (3/3)/(((-4)/(-14))/2). Let i be (0 - 5/10)*-16. Is i bigger than j?
True
Let a be (-312)/182*14/4. Let o be ((-2)/a)/((-10)/(-30)) - 20. Is o less than -19?
False
Let w = 19.12322 - -0.18278. Let k = w - 0.106. Let x = k + -20. Is x greater than -1?
True
Suppose q = -0*q - 37. Let a = q + 59. Let b be (-106)/(-22) - (-4)/a. Do 4 and b have the same value?
False
Let b(r) be the second derivative of r**5/20 + 5*r**4/12 - 7*r**3/6 + r**2/2 + r. Let i be b(-6). Suppose 0 = -5*f - 13 - i. Is -1 <= f?
False
Let c be 1 - (3/(-2))/1. Let y(g) = g**3 + g**2 - g - 2. Let p be y(-2). Let h be (6/4)/((-2)/p). Which is bigger: h or c?
h
Let m = -1.1 + -2.3. Let p = -3.6 - m. Is -1.2 at least as big as p?
False
Let w = -9/38 + 1413/190. Is w < 7?
False
Suppose -3*s - s + 3*l = 17, 0 = -2*s - 2*l + 2. Let f be (-6 - s) + (-143)/(-33). Is f bigger than 0?
True
Let j(v) = -7*v - 3. Let r be j(-4). Suppose -3*n - 8*d + 287 = -3*d, 307 = 3*n + d. Suppose -17 = -k + 5*t + 28, 4*k - n = t. Are r and k non-equal?
False
Let n be (2/(-1))/(-6 - (-5 - 0)). Let y be -4 + n + 88/36. Which is bigger: y or -1?
y
Let s(q) = -q**2 - 21*q - 90. Let v be s(-6). Which is smaller: v or 16/27?
v
Let f be (-6)/354*171 + (1 - -2). Let i = 148478957/295 - 503319. Let x = i + f. Is x >= -1?
True
Let t = -969/4 - -10303/44. Which is smaller: t or -8?
t
Let v be 2/(26/4 - -1). Let o = 31 - 26. Suppose o*d = 10*d. Which is greater: v or d?
v
Let s = -22 - -22. Suppose s = 8*w + 13 + 19. Is w > -6?
True
Let y = 46 + -35. Let q = 14 - y. Which is bigger: 1/6 or q?
q
Let w = 23 + -25. Let j(d) = 4*d + 4. Let o be j(w). Which is smaller: o or -7?
-7
Let q = -18 - -123/7. Let g = 1.82 - 2.82. Which is bigger: q or g?
q
Let a = -1 + 0.6. Let t = -0.1 + a. Let n = 18/5 - 49/15. Is n at least as big as t?
True
Let n = -0.3 - 7.7. Let y = -149 + 151. Is y > n?
True
Let g = 39 - 24. Let w be (-6)/g - 192/(-405). Suppose 3*j = 4*k - j, 3*j = -k + 4. Which is bigger: k or w?
k
Let z = -7 + 6.8. Let i be 3/(-9)*39*(-2)/(-20). Which is bigger: z or i?
z
Let p(i) = -3*i**2 - 6*i - 2. Let j be p(-3). Which is smaller: -23/2 or j?
-23/2
Let y(x) = -x**3 + 11*x**2 - 11*x + 2. Let g be y(10). Let h = 19 + g. Suppose 6*n = h*n - 30. Which is bigger: 0.2 or n?
n
Let j be -4*(-2 - 45/12). Is 17 bigger than j?
False
Suppose -3*g = -0*h + 5*h - 79743, 3*h - 47839 = 5*g. Let v = 137017/9 - h. Let c = v + 725. Which is greater: -1 or c?
c
Let n be (-4 - -6)*2/3. Let y be 2/8 - (-3)/4. Suppose 0 = p + y, o = -4*p - 1 - 2. Is n greater than or equal to o?
True
Let v be 12/15 + (-66)/(-255). Does v = 1?
False
Let y(l) = l**2 - 8*l - 9. Let t be y(7). Let g = t - -18. Let m be ((-2)/(-4))/(1/g). Is 4 less than m?
False
Let f be (0 - -5)/(0 + 1). Suppose 5*k - 15 = -f. Suppose -v - 16 = -5*h, -5*v - 3*h - k + 6 = 0. Are v and -1/20 unequal?
True
Let x be 64/12 + (-4)/12. Suppose 3*h + 2*s + x = 0, -4*s + 16 = -5*h - 7. Let t(z) = -z**2 - 2*z - 1. Let p be t(h). Does -3 = p?
False
Let f = 3 - 5. Let p = 951 + -7621/8. Is f < p?
True
Suppose 6*k + 156 = -60. Is k >= -147/4?
True
Let d = 451 + -296. Is 2 not equal to d?
True
Suppose 0 = -5*h + 10, -3*x + 3 = 3*h. Let a be ((-24)/18*3/1)/166. Which is smaller: x or a?
x
Let t = 1807885/313 + -5776. Which is smaller: t or 0?
t
Let g(d) = -d**2 - 5*d. Let s be g(-5). Suppose 13 = 5*b - 3*x - 0*x, -3*b = x - 19. Let n = s + b. Does 6 = n?
False
Let g = -248 - -250. Let t be (-6)/27 - (-75)/(-27). Let v be (t - -1)/((-2)/3). Which is greater: g or v?
v
Suppose 5*r = -2*k + 44, -3*k + 24 = -5*r + 2*r. Let p = -47 + 60. Is p not equal to k?
True
Suppose 0 = 2*y - 0*y + w + 15, 3*y + 3*w = -27. Let p(a) = -8*a - 7. Let q(r) = 17*r + 13. Let o(s) = -13*p(s) - 6*q(s). Let j be o(y). Is -1/19 bigger than j?
False
Let p(c) = -c**3 - 7*c**2 - 8*c - 9. Let a be p(-6). Suppose -a*f + 7*f = 48. Let m = 24 - f. Is m bigger than 12?
False
Let x(c) = -8*c**2 - 1 - c**3 + 2*c**3 + 5*c + 6*c - 4*c. Let j be x(7). Which is smaller: -10 or j?
-10
Suppose -20 = -3*h - h, 0 = 4*k + 2*h - 38. Let d = 0 - k. Let a(p) = -p**2 + 16*p - 20. Let w be a(15). Which is smaller: d or w?
d
Suppose 0 = -n - 2*n - 4*i - 22, 0 = 2*i + 8. Which is bigger: n or 64?
64
Suppose -16*s + 1530 = -486. Let x = -126 + s. Let z = -588 + 4108/7. Which is greater: x or z?
x
Let x = -456 - -480. Let t = -9 - -32. Is t not equal to x?
True
Let m be 0*((-5)/2 - -2). Let p = -96 + 91. Is p smaller than m?
True
Let c = 601 - 159869/266. Is -1 smaller than c?
True
Let o be (-540)/26580*(-2)/(-3). Which is greater: o or 1?
1
Let r(f) = f + 9. Let d be r(-10). Let n be 25*d*(0 + -1). Suppose -5*h + 5*o + 130 = h, -h - 2*o + 33 = 0. Is n at least as big as h?
True
Let u = 18 + 2. Suppose -u = d + d. Let a be (4/(-6))/(d/(-15)). Which is smaller: a or 2/5?
a
Suppose 0 = -5*n + 4*k + 6, 0 = -32*n + 28*n + k + 7. Which is smaller: n or 1.15?
1.15
Let b(z) = -z**2 + 8*z + 35. Let g be b(13). Is -28 greater than g?
True
Suppose c - 2 = 1. Let g be (-3 + 5 - c)*3. Let u be g/(-5) + 6/15. Is u > 0?
True
Let v be (-10)/85 + (6 - (-38004)/(-6426)). Are v and -1.8 equal?
False
Let w be (5/(-2))/(170/(-136)). Is w at least as big as 21/11?
True
Suppose h - 2*c = 0, -2*h + 5*c + 2 = 4. Let i be (-6303)/(-30) + h/10. Let o = i + -205. Which is smaller: 5 or o?
5
Suppose -1 - 7 = 4*q. Suppose -2*i - 21 = -3*t, -i + 3*i + 5*t = 19. Which is smaller: q or i?
i
Let p = -561 - -606. Which is smaller: -2/19 or p?
-2/19
Suppose -p + 51 = 3*d, -2*p = -4*d - 3*p + 68. Let y = d + -15. Let h be (15/(-10))/((-3)/2). Which is smaller: h or y?
h
Let p = -1005 - -1080. Let x be ((-76)/(-5))/((-7)/(-35)). Which is bigger: p or x?
x
Let w = -266 + 267. Are 5/9 and w non-equal?
True
Let r = -81.096 - -81. Let b = r - 0.004. Which is bigger: -50/3 or b?
b
Let k = 12298 + -35788/3. Which is smaller: 370 or k?
k
Suppose 2*g - 2*t = -7*t + 431, -248 = -g + 4*t. Suppose 268 - g = -4*o. Let p = -27 + 16. Is p >= o?
False
Suppose 2 - 100 = -x + 2*w, 0 = -x + 4*w + 108. Is x greater than or equal to 521/6?
True
Let u be 5/((-24)/(-30) + -1). Suppose -4*r - 91 - 13 = 0. Which is bigger: r or u?
u
Let k(q) = -40*q - 47. Let m be k(-1). Let b = 4 - 11. Is m >= b?
True
Let x(p) = 12*p - 141. Let r be x(20). Which is greater: 100 or r?
100
Let s = 120 - 257. Let d = -138 - s. Is d != -21?
True
Let n(o) = -o**3 - 14*o**2 - 13*o + 8. Let s be n(-13). Let b be (s/5)/(9/90). Is b greater than or equal to 17?
False
Let g(o) = -2*o**2 + o + 65. Let m be g(15). Do m and -371 have the same value?
False
Let m = -15.09 - -15.08. Which is smaller: m or -168?
-168
Suppose -27 = 5*v + 3. Which is smaller: v or 2.9?
v
Let k(l) = -5*l + 21. Let u be k(0). Suppose u + 3 = 5*v - 2*y, 4*v - 4*y - 12 = 0. Is v smaller than 23/5?
False
Let l be (-6)/27 + (-35)/225*-4. Which is smaller: l or -73?
-73
Let r = 0.67 - 0.68. Let i = r + -0.79. Does -0.3 = i?
False
Let x(g) = 2*g**2 + 6*g - 17. Let i be x(-6). Let v = 14 + i. Which is greater: 32 or v?
v
Let o be 5 - ((-8)/(-2) - 0). Let k be (24/(-19))/(2/o). Is k at least as big as 0?
False
Let r = 11936 + -226834/19. Are -1 and r unequal?
True
Let f be (8/(-24))/(1/6). Which is smaller: -8/11 or f?
f
Let i = -510 - -474. Is i < -36?
False
Suppose -3*y + x = -95, -2*y + 8*x = 9*x - 70. Let k(c) = -7*c - 2. Let o be k(-5). Are o and y unequal?
False
Let f(t) = t**2 + 11*t + 29. Let r be f(-4). Is 16/91 <= r?
True
Suppose 2*z = 2*v + 2, 4*z = 9*v - 4*v + 2. Suppose z*f = 2*x - 7*x + 20, 0 = -4*x - 5*f + 29. Is x greater than -1/19?
True
Let h be (-1)/1 - -12 - 4. Suppose -3*o - 28 = -h*o. Let g = -7 + o. Does g = -1/3?
False
Let m = -10 + 16. Suppose -8 = -i + y - 27, 4*i - y + 64 = 0. Let z = 19 + i. Is m not equal to z?
True