y >= 64?
True
Let w be (2624/252)/4 - 6/27. Let s = w - 12/7. Which is bigger: s or -9?
s
Suppose 0 = 5*o + 6 - 1. Are o and -3/89 unequal?
True
Let n be 0*(-2 + 1 + 0). Let g be 12/(-30) + (-1)/(-5). Is n at least g?
True
Let h = 120 + -141. Do h and 1 have different values?
True
Let k be (((-10)/(-15))/(42/(-9)))/13. Which is smaller: k or -1?
-1
Let q = -14 - -14.32. Let y = q - -33.68. Let j = y - 31. Do 2 and j have the same value?
False
Let f = 20 + -60. Suppose k + 191 = -5*x, -3*x - 97 = -0*x + 5*k. Are f and x nonequal?
True
Let u be ((-24)/(-4))/((-3)/(-1) + -1). Suppose -3*c + 7*c - x - 84 = 0, u*c - 70 = -x. Is c at most 20?
False
Let a = -3448 + 3448. Let n = -659/832 - -21/26. Is a greater than or equal to n?
False
Let i = 23 + -13. Let m be (-2)/(-6) + 400/(-12). Let f = -25 - m. Which is bigger: i or f?
i
Let n(l) = -618*l - 12. Let d be n(9). Let f be 2 - 1*d/(-45). Let y = f - -122. Which is smaller: 0 or y?
0
Suppose -3*w = -2*q + q + 12, -2*w - 34 = -5*q. Suppose 13 = 3*v - 4*l, l + q = -2*v - 0*v. Suppose -2*g - 2 = -4*g. Is g <= v?
False
Suppose -t = 5 - 2. Let z be -7 - -7 - (-2 - t). Is 4/15 bigger than z?
True
Let m = 11129/12 + -1843/2. Let x = m + -21/4. Which is smaller: 0 or x?
0
Suppose 5*f - 8*f - 3 = 0. Let q be 5/(-15)*(-3)/f. Let g be 25/(-250)*(-66)/q. Which is smaller: -6 or g?
g
Suppose 2*a = -29*a - 11036. Is -2/3 bigger than a?
True
Let u = -21283/3 + 7221. Let w = u - 126. Is w bigger than -1.5?
True
Let s = -22 - -6. Let r = s - -15.9. Which is greater: -25 or r?
r
Let g be (-5 + 4 - -23) + 0/1. Let d be (-24)/(-16) - g/12. Is 44 equal to d?
False
Let a = 810 + -1337. Is a > -0.1?
False
Suppose 18*t - 747 - 243 = 0. Let b = t + -37. Is b greater than or equal to 19?
False
Let t be ((-3)/(-5))/(2/10). Suppose t*f + 30 = 2*o, 5*f + 65 = -3*o + 15. Let m(j) = -2*j**3 + j**2 + 2*j - 2. Let i be m(2). Are f and i nonequal?
False
Let b be 252/5 - ((-441)/35 + 13). Which is greater: 45 or b?
b
Let r(b) = 0 + 4*b + 3 + 9. Let u be r(-3). Let o be 2/8 + 9/(-20). Which is smaller: o or u?
o
Let t be 29/(-5)*(107 - 108). Let z be 6 + 1 - (1 - 1). Which is smaller: t or z?
t
Let y = -1152 + 1128. Which is greater: 0.02 or y?
0.02
Let i be (0 + 1)*10/2. Suppose i*u = -4*o + 11, -4*o + 7*o + 18 = 5*u. Let p be (-4)/(-6) + (-17)/u. Is -6 less than or equal to p?
True
Let n = -198446/959 - -1448/7. Which is bigger: 1 or n?
1
Let b(z) = -1 + 7*z - 3 - 2 + 1. Let o be b(3). Do 16 and o have different values?
False
Let n = 69 - 68. Which is smaller: n or 1/210?
1/210
Let s = -3 - -3. Suppose 4*g - 17 - 71 = s. Suppose -20*w + g*w + 2 = 0. Which is greater: 1 or w?
1
Let m be (6 - -7)/(-65) + (-557)/(-2760). Which is greater: m or -2/5?
m
Suppose 1 = -n + 3*v, 2*n + 3*v + 2 = -9. Is n at most as big as -11?
False
Let f = -4.9 + 5. Let n = -0.9 - f. Let q = -0.1 + 0. Are n and q equal?
False
Suppose 0 = -8*j - 461 - 179. Which is greater: -81 or j?
j
Let u = 1822.8 + -1823. Let c = -0.1 + 0.2. Which is bigger: c or u?
c
Let o = 23 - 11. Let q be o/(-21) - ((-108)/(-105) - 2). Is q bigger than -8?
True
Let n = -2 - -2. Suppose 5*t = -2*c - 12, n*t = -4*c - 2*t - 8. Let z be 82/(-26) - (1 + -4). Which is bigger: z or c?
z
Suppose 4*u = -2*u + 12. Let r be 4/10 - u/5. Suppose -2*d + 4 + 16 = r. Is d greater than or equal to 9?
True
Let w = -2.63 + 2.73. Let q = 3 - 6. Let j be 2/q - (-46)/(-3). Which is bigger: j or w?
w
Let p = -52386/11 + 4758. Let r(j) = -j**3 - 11*j**2 - 9*j + 7. Let a be r(-10). Which is greater: a or p?
a
Let l = -1/387 + -95/113004. Which is bigger: l or 1?
1
Suppose 2*g + 8 = -3*q - 25, -5*g - 24 = 3*q. Which is greater: -93/7 or q?
q
Let g(a) = a**3 - a. Let q(m) = -5*m**3 + 5*m - 2. Let s(o) = 2*g(o) + q(o). Let t be s(1). Let r be (-28)/(-14)*7/t. Is r < -7?
False
Let r = 8.44 + -8. Let b = 0.06 + r. Which is smaller: b or 1?
b
Let k = -31.1 + 15. Let u = k - -16. Which is smaller: u or 2/3?
u
Let y be ((-27)/((-1134)/(-60)))/(24/(-14)). Let t = -3 - -2. Which is smaller: y or t?
t
Let p = -551 + 3859/7. Which is greater: -32 or p?
p
Let x(o) = o**3 + 10*o**2 - 3*o + 50. Let d be x(-10). Which is greater: d or 81?
81
Suppose y - 1 = -4*i, 0 = -2*y + 6*y - 2*i - 22. Which is smaller: 7 or y?
y
Let u be -1 + ((-6)/2)/(-3). Let i = 7 + -10. Let v = -3.4 - i. Which is smaller: u or v?
v
Suppose -g + 554 = 4*m, -2*g + 813 = 4*m + 261. Are 138 and m unequal?
True
Let t be (72/(-5))/((-15)/50). Let p be 6*(-2 - t/(-27)). Do p and -1 have different values?
True
Suppose -4*f = 4*w + 4, 0*w = -5*w - 4*f. Suppose -8*j + 2*j = 228. Let s = 42 + j. Is w bigger than s?
False
Let r = 16 + -35. Suppose 3*j = -3*v - 177, 7*v - 6 = 5*v. Let o = j - -43. Is o != r?
False
Let u = -484/9 + 54. Is u <= -377?
False
Let d = 21 + -19. Let a be (-9)/72 - (-6)/8. Which is smaller: d or a?
a
Let a = -7547/16 + 470. Which is bigger: a or -3?
a
Let s(m) = 8*m - 31. Let b be s(4). Which is smaller: 5/31 or b?
5/31
Suppose 2*l + 57 = a - 21, 4*l - 264 = -4*a. Which is bigger: -10 or a?
a
Suppose -n = 2*n - 576. Let d be (n/(-52) + 4)/2. Are -0.3 and d unequal?
True
Let y = 3/11 - 61/22. Which is bigger: y or 1/4?
1/4
Let g = -767/3 + 261. Let a be ((-28)/(-21))/((-4)/(-18)). Is a at least g?
True
Let w be (-43)/5 - 9/(-15). Let u = w - -18. Let a be (5 - 4) + u/(-13). Which is bigger: a or -1?
a
Let b = 552 + -20423/37. Is -4 at most as big as b?
True
Let c = -12.5 - -5.6. Let t = 9 + c. Which is bigger: t or 1/3?
t
Let i = 89.52 - 89. Let h = -0.52 + i. Which is greater: 59 or h?
59
Suppose 0 = -13*u + 2*u - 0*u. Which is bigger: u or 1/77?
1/77
Let k = -1984 + 1982. Which is smaller: -14/11 or k?
k
Let v = 1397 - 4192/3. Which is smaller: 18/17 or v?
v
Let t be 4*(9/18 - (-2 - -2)). Which is bigger: 7/5 or t?
t
Let b = 11 - 11. Suppose -m + 2*m + 11 = b. Let d = 8 + m. Which is bigger: -1 or d?
-1
Let v(n) = 2*n**2 - n**2 - 7 + n**3 - 2*n + 1. Let a be v(3). Let d be 8/(-14) + a/42. Is d at most as big as -1?
False
Let g be ((-4)/(-870)*5)/((-7)/(-3)). Which is greater: 1 or g?
1
Let p be -2 + 9/(-36)*-4. Which is smaller: -8/151 or p?
p
Let y(b) be the first derivative of b**4/4 + 2*b**3 - 3*b**2/2 + 29*b + 23. Let x be y(-7). Which is smaller: x or 10/9?
x
Let a = 146/35 + -32/7. Is a != -2/11?
True
Suppose 6*x + 2*x + 712 = 0. Let s = x - -37. Is s equal to -53?
False
Let a be -1 - 12/((-25 + -3)/4). Suppose -1 = 4*k + 3. Is k >= a?
False
Suppose 4*o - 260 = -4*y + 624, 2*y - 454 = 2*o. Suppose 5*c = 3*c + y. Let l be -3 - (2 + c/(-22)). Is l at least as big as 1?
False
Let g be 2/(-8) + 27/108. Which is smaller: 2/233 or g?
g
Suppose -20*t + 16*t = -3*s + 4, -3*s + 5*t + 5 = 0. Which is bigger: -7 or s?
s
Let v = 15 - -15. Let t = -0.001 - 0.999. Which is smaller: v or t?
t
Let p = 8344.1 - 8344. Let d = -246 + 2734/11. Which is greater: p or d?
d
Let b = -2/4329313 + 835558531/2428744593. Let a = b - 2/187. Are a and 4/19 equal?
False
Let j(i) = 4*i**2 - 31*i + 64. Let w be j(5). Let o = 53 - 21. Suppose 3*b - o = -b. Is w bigger than b?
True
Suppose 0 = 7*m - 188 - 50. Let u = m + -29. Suppose -u*v + 3 = -12. Which is bigger: 5 or v?
5
Suppose 5*c + k = -215, 3*c - 3*k = -2*k - 129. Let r = 128/3 + c. Which is bigger: 0.03 or r?
0.03
Let a be (40/(-24))/((-2)/6). Suppose -1 + 6 = -a*g. Let o be g/(-9)*-2*-12. Do o and 2 have the same value?
False
Let a(x) = -x**3 - 8*x**2 - 7*x + 1. Let w be a(-7). Suppose -w = -4*d + h, 3*d + 5*h + 3 = 2*h. Let g be 2/(-4)*((-91)/(-63) - 1). Is g less than d?
True
Let w = -88/129 + 2/129. Is w < 4.9?
True
Let p(v) = -v**2 + 5*v - 6. Let a be p(3). Suppose -6*f + 11*f - 35 = a. Which is greater: f or 39/5?
39/5
Suppose 3*m = -0*m + 12. Suppose m*u = -5 + 21. Suppose -3*d + 5 = 2*j, -2*d + 5*j = d - 19. Which is smaller: u or d?
d
Let x = -20 + 24. Suppose 2 = 2*s - 4*u + 2*u, 3*s - x*u - 4 = 0. Are s and -0.6 non-equal?
True
Suppose -3*m + 65 + 31 = 0. Which is smaller: m or 63/2?
63/2
Let q = -103/20 + 19/4. Suppose -4*k + 3*x - 16 = 51, 0 = -4*k + 5*x - 61. Let b = k + 13. Is q at most b?
False
Let y = 69 - 54. Let n be ((-6)/(-15))/((-16)/y)*3. Is -2 bigger than n?
False
Let f be 5 - (-1 - 408/(-69)). Let b = 11 + -10. Is b >= f?
True
Let x be (-4)/(-8) + (-1)/(-2). Let t = -14266/