 f greater than 234?
False
Let h be 10242/90 + (-12)/(-10) + -1. Is h < 117?
True
Suppose 6*w = 10*w - 12. Suppose 0 = -i + 5*r + 10 + 30, r - 40 = -w*i. Let p = -17 + i. Is -1 greater than or equal to p?
True
Let f be (-1 + -5 + 2)/((-16)/12). Let k(v) = -v + 1. Let c(d) = 2*d - 7. Let u(r) = -c(r) - 5*k(r). Let n be u(f). Is 11 >= n?
True
Let j = -190 + 191. Which is bigger: 2/267 or j?
j
Suppose 4*g - 1348 = -9332. Let x = g - -65863/33. Which is greater: x or 0?
0
Suppose 0 = 2*l + l - 6. Suppose l*h + 18 = h. Let z be (6/(-54))/((-69)/h). Is z at least -1?
True
Let w be (185/20 + -3)*-4. Are w and -24 nonequal?
True
Let g = 4.45 + -3.18. Let y = g + -0.27. Which is bigger: -3 or y?
y
Let t = 1748 - 1750. Let m = -5 - -5.2. Let z = m + -2.2. Are z and t equal?
True
Let v be (-33)/(-77) + 57/(-231). Which is greater: v or 173?
173
Suppose 5*l = 39 - 129. Let m be (-11)/(-2) - 9/l. Suppose 0 = 3*j - 6 - m. Are j and 4 non-equal?
False
Let k = 11 - 14. Let r(q) = q**2 - 9*q + 2. Let w be r(9). Let h be 15/(-27)*-3 - w. Is h at most k?
False
Let k = -818 + 593. Is k less than or equal to -226?
False
Let n(w) = 52*w + 381. Let y be n(-8). Which is greater: y or -40?
y
Let x = 33 + -35. Let d(c) = -2*c**2 + 2*c + 1. Let y(m) = -m**2 + m + 1. Let g(n) = -4*d(n) + 7*y(n). Let i be g(x). Is 11 at least as big as i?
True
Let w = -22 - -28. Suppose b - w*b - 95 = 0. Which is greater: -20 or b?
b
Let r = 121 - 107.8. Let i = r + -10.2. Is i less than or equal to 4/3?
False
Let x be -1*4/3*-3. Let i(h) = -h**3 + h**2. Let y(g) = 4*g**3 - 17*g**2 - 12*g - 11. Let j(f) = 5*i(f) + y(f). Let s be j(-11). Which is smaller: x or s?
s
Let v = -61 + 79. Let w = v + -18. Which is smaller: w or -1/4?
-1/4
Let r(g) = -g**3 + 15*g**2 + 72*g + 61. Let j be r(19). Do j and -11 have the same value?
False
Suppose 5*d = p + 47, -2 = 5*p - 17. Suppose 2 - d = 2*f. Let l be (-6)/14*12/f. Is l less than 2?
True
Suppose 3*s - 2*p = 3*p - 406, -10 = -2*p. Let z be (2*s + 0)/(-4). Let b = z + -65. Which is bigger: b or -1?
-1
Let v = 952.1 + -952. Which is smaller: v or -41/3?
-41/3
Let q = 376 - 379. Is 1/4 <= q?
False
Let h(q) = -q + 2. Let k be h(-3). Suppose -6*f - 8 = -4*f - 4*i, -15 = -3*i. Is f equal to k?
False
Let z be 3/(12/8) - 552/(-23). Let s(i) = -i**3 - 8*i**2 + 5*i - 11. Let v be s(-9). Is v >= z?
False
Suppose 16*r + 2*r - 5*r = 0. Let f = 4075/1406 + -105/38. Let t = -31/777 + f. Is r at most t?
True
Suppose -2*r - 3*k - k - 10 = 0, 2*r - 2*k = 20. Suppose 0 = 2*z - 4*n + 12, r*n - 4 = -z + 11. Is z equal to 7/8?
False
Let u be (2/(-4))/(3/(-18)) - 0. Suppose 4*r + b = -0*b + 93, -u*r - 5*b + 74 = 0. Which is bigger: r or 22?
r
Let w = 0.486 - -304.514. Is -0.2 != w?
True
Let b be 46208672548/(-26681623845) - (-14)/35. Let m = 2/5922669 + b. Let o = 22/17 + m. Which is bigger: o or -1?
o
Suppose -4*u - 98 + 4 = 2*c, -c - 5*u - 44 = 0. Does c = -53?
False
Let x = -1.2 + 0.2. Let p = -0.95 - x. Let i = 1/6 + 1/6. Is p greater than i?
False
Let q be ((16/(-6))/4)/(10/15). Which is smaller: q or -12/55?
q
Let g(r) = 7*r + 5. Let u = 51 + -52. Let s be g(u). Is s at most as big as -1.4?
True
Let k be 2/(8*(-8)/(-928)). Is k at most 28?
False
Let j(a) = a**2 - 7*a - 13. Let i be j(8). Let z be 1/(i/(-2 - -72)). Is -15 greater than z?
False
Let p = -6 + 6.3. Let x(g) = g**3 + 7*g**2. Let r be x(-7). Suppose -15*a + 11*a + 4 = r. Is p not equal to a?
True
Let x = -109 + 110. Let w be 6 + -5 + -1 + x. Is -6/29 > w?
False
Let q = 279 - 221. Which is smaller: q or 54?
54
Suppose -5*q + 5 = 30. Let j(h) = -2*h**2 + 2*h - 5. Let p(w) = -3*w**2 + w - 6. Let m(l) = -4*j(l) + 3*p(l). Let f be m(q). Is 1 <= f?
True
Suppose -w + 48 = 3*t, 7*w - 9*w = -2*t - 80. Do w and 292/7 have different values?
True
Let h be 1*307 + (-2 - 7/(-1)). Is h >= 312?
True
Let g = 285 - 285. Is g at most 198?
True
Let j = -21.656 - 0.344. Is -1/5 greater than j?
True
Let a be (9/(-27))/(1/(-15)). Suppose 3*l - 6*z + 50 = -4*z, a*l = -2*z - 94. Let k = l + 20. Which is smaller: 7/5 or k?
7/5
Suppose 2*w = -2*c + w + 81, 171 = 4*c + 5*w. Let v = c + -37. Is 0 greater than v?
False
Let y = -0.03 + 0.14. Let j = -44 + 44.19. Let p = y + j. Which is bigger: p or -3?
p
Let r = 1585 - 31691/20. Are r and 0.3 equal?
False
Let x = 347 + -316. Are 32 and x nonequal?
True
Suppose -6*x + 24 = -2*x. Suppose 4*m + 20 = x*m. Suppose -5*n + m = -5*k, -2*n + 0*k + 10 = -5*k. Which is smaller: -5/8 or n?
-5/8
Let n = 71.7 + -67.7. Which is greater: -45 or n?
n
Let b = 1442/5 - 288. Is b > -0.0359?
True
Let u be (-1725)/140 + 12/16. Let c(p) = -9*p + 14. Let g be c(3). Is g equal to u?
False
Let a = 7 + -5. Let h(r) = 9*r**a + 3*r**2 + 0*r - 2 - 10*r**2 + r**3 - r. Let n be h(-2). Is n >= 0?
True
Let d be 648/14 + (2 - (-16)/(-7)). Is d smaller than 46?
False
Let d(f) = f - 2. Let t be d(6). Suppose -6*x = t*x. Which is greater: x or -3/26?
x
Let c be (-72)/5 - 2/(-5). Let z = 453 + -454. Which is greater: z or c?
z
Suppose -l = -4*o - 3*l + 6, -3*o - 2 = -5*l. Let z be (23 + 3 + -34)/((-26)/5). Which is smaller: z or o?
o
Let z(v) = v**2 + v + 3. Let s be z(-2). Let w(r) = 7*r - 1. Let j be w(s). Which is bigger: 35 or j?
35
Let h be -1*(-2)/(-4)*32. Let y be (h/(-12))/((-6)/(-45)). Suppose -5*k + y*k = 0. Is k bigger than -2?
True
Suppose 0 = 6*l - l - 20. Suppose -457 = l*n - 1981. Let j be (-375)/n - 1*-1. Is 1 at least as big as j?
True
Let g be -3 - (572 - (-54)/(-9)). Which is greater: g or 1?
1
Let w = 14 - 10. Let n = -1 + w. Suppose 4*c + 3*o = -9, -n*c - 3*o - 12 = -6*o. Which is smaller: -2 or c?
c
Let x(y) = y**2 - 11*y + 78. Let m be x(6). Is m <= 95/2?
False
Let q = -12992779/12217 - 1/24434. Let w = q - -74231/70. Let y = w - -13/7. Which is smaller: y or -1?
y
Let a = -0.45 + 18.45. Let j = 18.3 - a. Let c(k) = k - 5. Let b be c(4). Which is greater: j or b?
j
Let v be -5 + ((-36)/(-8))/((-15)/(-18)). Which is bigger: 0.15 or v?
v
Suppose 0*l - l = -3*w, -4*w = -4*l + 8. Suppose -l*m = -t - 10, -20 = -2*m - 2*m. Let j be -1 - 2 - (2 - t). Which is bigger: -3/10 or j?
j
Suppose -17*p = 17304 - 5676. Is -683 less than or equal to p?
False
Let g = 109/140 - -23/28. Which is greater: 2 or g?
2
Let p be 5467/3598 - 39/26. Does 1 = p?
False
Let y(b) = -2*b**2 + 9*b + 10. Let x(h) = h**2 - 5*h - 5. Let k(f) = 5*x(f) + 2*y(f). Let l be k(8). Suppose l*u + 10 = -2*u. Is -4/7 at most u?
False
Let z = -396 + 429. Suppose -w = -48 + 15. Is w at most as big as z?
True
Let l be -9 - 1 - (1 - 5). Let n be (9 - 7) + l + -2. Is -17/3 < n?
False
Suppose -h - 5*p = -29, -42 = -5*h - 2*p - 12. Let u be 15*2/(-3) - -2. Let f = u + 14. Is f greater than h?
True
Let p = -16 + 24. Suppose 2*k = -4*h - p, 0 = -3*h + 5*k - 0*k + 20. Suppose -g + 9 = -h*g. Is g greater than 10?
False
Let u = -101.16 - -96. Let j = -5.2 - u. Is j < -0.1?
False
Let h be (124/(-63))/(42/63). Is h equal to -4?
False
Let t(a) = -2*a - 24. Let s be t(-10). Suppose -2*b + 9*b + 21 = 0. Which is greater: s or b?
b
Let s = -11 + 34. Let w = -15.11 + 14.11. Which is bigger: w or s?
s
Let d = 32 + -41. Let w = d - -9. Is -0.16 >= w?
False
Suppose -398*k + 1680 = -406*k. Are k and -210 nonequal?
False
Suppose v = 12*v + 715. Let g be (-2 - v/30)*(-1)/(-4). Suppose 2*w + 2*w = 4. Which is bigger: g or w?
w
Suppose -m + 4*n + 15 + 3 = 0, -2*n - 6 = m. Suppose 5*z + 1 = h, 3*h - m + 9 = 5*z. Let s = -661 + 15202/23. Is s bigger than z?
True
Suppose 5*a - 3*q = 25, -q + 3 = -a + 8. Suppose -4*t + 279 = a*c, -t = -4*t + 3. Let b = -31 + c. Which is greater: 23 or b?
b
Let a(x) = x**3 - 11*x**2 - 12*x + 25. Let q be a(5). Is q < -185?
False
Suppose 20292 = 25*g - 6*g. Is g greater than or equal to 1069?
False
Let q(v) = 8*v - 7. Let z be q(3). Suppose z*i - 18*i = -12. Is 8 at most i?
True
Let v(t) = -t - 13. Let w be v(-13). Let j be (12 + -9)*(-2)/22. Which is smaller: j or w?
j
Let d = -3071.41 - -3015. Let w = -56 - d. Is -1 greater than w?
False
Let o be (-186)/(-96) - (-2 + 4). Let w = -17 - -17.2. Let y = 0.3 - w. Which is smaller: o or y?
o
Let o = 32 - 30. Suppose 0*t - 3*q + 33 = -o*t, -60 = 3*t - q. Let n(z) = 21*z + 1. Let v be n(-1). Do t and v have the same value?
False
Let i(u) = u**3 + 5*u**2 - 5*u + 8. Let x(w) = w**2 + 6*w - 6. Let h b