a(n). Suppose 2*y + i = -k + 1, -5*k - 20 = 0. Is y bigger than -0.3?
False
Let o = -139 - -143. Let p be (-14)/o - (-20)/8. Which is greater: p or 4/13?
4/13
Suppose 0 = -49*h + 61*h + 7068. Which is smaller: -590 or h?
-590
Let x(t) = t - 4. Suppose 3*n - 44 = -n. Let k be x(n). Is k != 8?
True
Let s be (14/4)/(-1*(-5)/(-54)). Which is greater: -38 or s?
s
Let s(n) = -2*n**2 - 7*n + 7. Let m be s(-4). Suppose -4*c - 19 = -0*c + m*r, 4*c - 6 = 2*r. Is c bigger than -4?
True
Let z be 2/(-6) - 1*6921/(-20817). Are -1 and z equal?
False
Let q(u) = u + 4. Let v be q(-8). Let c be 3/v - (-6)/16. Suppose 4 = -0*w - 4*w. Which is smaller: w or c?
w
Let l be (-6)/2 + 4/(-1). Let q = l + 3. Let h be (-117)/(-12) - q/16. Which is bigger: 0.1 or h?
h
Let x(u) = -u**3 + 9*u**2 - 8*u + 3. Let d be x(8). Let m be 2 + (12 - -4) + -3. Let s be (0 - 1) + m/10. Is s greater than d?
False
Let q be -3 - -1*6 - 871/14. Let x = q - -119/2. Which is greater: 4.1 or x?
4.1
Let r = 7 + -5. Let a(y) = y + 4. Let l be a(r). Let j be (-1)/6 + 1/l. Is 3 at least j?
True
Suppose u - 5 = 3*x, 25 = -3*x + 7*x + 5*u. Suppose 3*o + 9 = 0, -a + x*a + 20 = -5*o. Suppose -f = 4*f - a. Does f = 3/2?
False
Suppose -2*t + 6 = -0*t. Suppose 0 = -t*j + j - j. Is j bigger than 18/13?
False
Let u = 7721/5 - 339569/220. Which is greater: 2 or u?
2
Let v(b) = 3*b + 1. Let f(p) = -3*p. Let a(w) = -4*f(w) - 5*v(w). Suppose 0*d = -3*d - 2*t - 11, -5 = 5*t. Let k be a(d). Does k = 4?
True
Let y = 26 + 13. Let a be (34 - 15)/((2/(-6))/(4/(-6))). Which is bigger: y or a?
y
Let t = -50 + 43. Let x be t/(1190/(-506)) + -3. Is x <= -1?
False
Let t = 0.049 + -0.649. Let o = -10 + 13. Is o at least t?
True
Let j = 2 + -2. Let z be -3 - (4 + (-578)/86). Let q = z - -338/903. Which is smaller: j or q?
j
Let a(v) = 4*v + 13. Let g(s) = 17*s + 50. Let c(k) = -1. Let q(f) = c(f) - g(f). Let i(n) = 9*a(n) + 2*q(n). Let m be i(-12). Is -9 less than m?
False
Let r = 2330/7 - 332. Suppose 0 = -3*p + g + 1, 4*p + g = -0*g + 6. Which is smaller: p or r?
r
Let f = 1.25 + -0.3. Let u = 1 - f. Let s = -1.05 + u. Is s smaller than 0?
True
Suppose 2 + 1 = -h, 4*u - 5*h - 15 = 0. Suppose -5*f = 5*w + 10, -3*w + u*w + f = -2. Let q be 1*((-35)/(-15) + w). Which is smaller: q or 3?
q
Let q = 12 + -17. Let m be (-40)/q - (1 - 0). Let j be 3 + (-1 - -2 - m). Does -1 = j?
False
Suppose 3*m + 0*d - 3*d = -60, -3*d = 9. Is m less than -24?
False
Let x = 18 - 18. Let s = 0 - x. Let j = 4 + -4. Is j greater than or equal to s?
True
Let t = -2 - 20. Let m = 26 + t. Suppose -2*x = m - 2. Are -1/5 and x nonequal?
True
Let y be 8/(-28) + -587*1/(-1232). Let l be (-1)/(-56)*1/(-2). Let d = y + l. Is 3/5 at least d?
True
Let l(b) = 12*b + 14*b + 15 + 7 - 27*b. Let k be l(22). Let p = 457/10 + -46. Which is smaller: p or k?
p
Let w be (-9)/135*11499/(-2). Let c = w + -383. Which is greater: 1 or c?
1
Let m(c) = 2*c**3 - 10*c**2 - 13*c + 5. Let i be m(5). Which is smaller: i or -62?
-62
Let y be 3/45*5*0. Is y bigger than 2/849?
False
Let z = 47 + -50. Let q be ((-4)/12)/(1/z). Is q greater than or equal to 2/47?
True
Let v be -81 + (-5)/5*-2. Let m = -789/10 - v. Is -2 at least m?
False
Let o = -1076 + 1014. Which is smaller: o or -59?
o
Suppose -11*w = -9*w - 682. Suppose -w = -4*a - 7*a. Is 31 greater than a?
False
Suppose 14*c - 48 + 34 = 0. Is -7/100 not equal to c?
True
Let l be 4 + (858/195)/(6/5). Is 9 greater than l?
True
Let k be 1 - (-1*(4 - 8) + 1). Let p be ((-3)/k)/((-49)/84). Is p < -2?
False
Let x = 483 - 183. Suppose -o + 18 = 2*q + 78, -5*o - 3*q = x. Which is bigger: -61 or o?
o
Suppose 2*b + 1 = 3. Let j(p) = -9*p**3 - p**2 - 3*p - 2. Let h be j(-1). Suppose -19*o = -22*o - h. Which is bigger: b or o?
b
Let q be (-1)/5 + (-11)/(-5). Suppose -q*i = 3*i + 5. Which is greater: i or -0.031?
-0.031
Let d be (-6)/(-15) + 1194/(-10). Let c be 1866/(-16) + (1 - (4 - 1)). Let u = d - c. Are u and 0 unequal?
True
Let f be 4/(-30)*(-105)/(-63). Suppose 1 = 2*k + z - 0, 3 = -k + 3*z. Suppose -8*o + 10*o = k. Do o and f have the same value?
False
Let k(x) = -x**3 + 14*x + 5. Let f be k(-5). Let u be 30/(-50) - 616/(-10). Which is smaller: f or u?
f
Let i(w) be the third derivative of 0*w - 11/6*w**3 - 1/60*w**5 - 5/12*w**4 + 0 - 3*w**2. Let q be i(-9). Is -3 less than q?
True
Let l(u) = -u**3 - 11*u**2 + u + 3. Let g be l(-11). Let t = g + 9. Suppose 6 = -j + t. Is j less than or equal to -5?
True
Suppose -f + 5*i - 15 = 0, 3*f = -2*f + 5*i - 95. Let v be (3/(-15) - 0)/((-35)/f). Is -1 greater than v?
False
Let y be 23/(276/(-8)) + 118/186. Which is greater: -0.02 or y?
-0.02
Let v be ((45/4)/(-15))/(2/8). Let f(h) = h**3 - 3*h**2 - 6*h + 6. Let u be f(4). Which is smaller: v or u?
v
Suppose 2*c + 17 = -s + 14, c + s + 2 = 0. Which is greater: c or 4/431?
4/431
Let i = 1 - -0.7. Let q = -1.7 + i. Let x = -3 - -19. Which is bigger: q or x?
x
Let x = 71/12 - 17/3. Let l(f) = 2*f - 16 - f - 2*f. Let m be l(-7). Which is smaller: m or x?
m
Suppose 0 = 2*m + 10, 2*w - 2 = -0*w - 2*m. Suppose -4*s + w*s = 0. Suppose -3*n + 3*j - 12 = s, -5*j + 10 = -n - 2*j. Which is smaller: -2/7 or n?
n
Let b = 54/19 - 235/76. Do b and 61 have the same value?
False
Let b be 28/(-8) + 6 - 153/(-18) - 7. Let x = 7583/354 + 14/177. Let z = x + -21. Is b bigger than z?
True
Let t = -2 + 3. Let b be 0 + 7/5 - 4/10. Let m be (-36)/(-28)*b/(-3). Is m greater than t?
False
Suppose 5*c = 19*c - 490. Which is smaller: 34 or c?
34
Let n = 3 - 2.8. Let w = 872 + -871.5. Is w at most n?
False
Let w = 1.8 + -4.4. Let y = w - -5.6. Is 2 at least as big as y?
False
Let b = 7 - 7.1. Let k = -895 + 895.2. Is k at least b?
True
Let m = -205 + 205.1. Is m < -0.08?
False
Let u be 0/(((-60)/5)/(-6)). Let p be ((-680)/(-12))/5 + (u - 2). Which is bigger: p or 8?
p
Let q = 19 + -14. Suppose -q*i - 9 = 21. Is i less than or equal to -6?
True
Let q = 3 + -3. Let a be (-3 + 33/2)/(5 - -7). Which is bigger: q or a?
a
Let y = -9 - -19. Suppose 70 = 4*h + y. Let s be -24*((-2)/((-12)/(-22)) + 3). Is s equal to h?
False
Suppose -9*q - 38 = -8*q. Let h be 16/(-20) - q/10. Suppose -5*k = p - 24, -2*p + k - 4 = -h*p. Is -1/4 != p?
True
Suppose 5*y - 2 = 3*y. Let c = 188 + -195. Let j be y/c - 1232/294. Is -4 greater than j?
True
Let c = -52.3 + 7.3. Let y = c - -29. Which is greater: y or -1/4?
-1/4
Let d be 3/4 - (-5)/4. Let o(x) = -x**3 + x**2 + 2*x + 1. Let j be o(d). Let y be j + 12/(-8) + 1. Which is smaller: 2/11 or y?
2/11
Let l = -228 + 2511/11. Let s = -255 + 254. Is l greater than or equal to s?
True
Let c(l) = -3*l - 6. Let n be c(-5). Suppose -n = -6*f + 9*f. Which is bigger: f or 11?
11
Suppose -12 = 200*j - 206*j. Is -437 greater than j?
False
Suppose -3*h + 236 = -22. Let c be ((-4)/(-10))/((-156)/33475). Let t = h + c. Does -1 = t?
False
Let u(v) = v**2 - 21*v + 22. Let q be u(18). Let m = q - -31. Is -11/5 at least as big as m?
False
Let j(r) = -r**2 + 6*r + 15. Let k be j(7). Let t = k + -6. Suppose 0 = -2*x, -5*l + 2 = -3*x - 23. Which is greater: t or l?
l
Let m = -1775 + 1775. Which is smaller: m or -2/81?
-2/81
Let n = 9 - 9.11. Let w = 4549/255 + -89/5. Let f = w - -47/102. Which is smaller: n or f?
n
Let w = 242 - 197. Which is smaller: w or 185/4?
w
Let d(h) = -2*h**3 + 3*h**2 + 13*h - 16. Let x be d(5). Which is bigger: x or -125?
-125
Let z = 1/47 - -87/329. Let a = -0.97 + 0.07. Let u = a + 1.6. Which is greater: u or z?
u
Let s be (10/(-24)*2)/(204/18). Which is smaller: 0 or s?
s
Let v be ((-2)/(-5)*-6)/(45/(-150)). Let t be 2/(-7) + (-80)/14. Let i = t + v. Is i equal to 4/7?
False
Let m = -16 - -11. Let t be m*(-4)/50*2. Let q = -8 - -8. Do q and t have different values?
True
Let l(v) = -2*v**3 - 6*v**2 - 8*v + 1. Let g be l(-4). Suppose 0 = -g*i + 69*i - 4. Which is smaller: i or -3/38?
-3/38
Let r be (49/(-42) + 6)*-2. Is -10 bigger than r?
False
Let m(v) = v**2 - 4*v - 3. Let d be m(4). Let k be d/(-2)*48/36. Let s be -2*k*(-13)/(-4). Are -11 and s non-equal?
True
Let g be (20/(-6))/(6/(-27)). Let z be 3/(-21) - 1080/(-63). Is g >= z?
False
Suppose 13 + 12 = -5*v, i - 5*v - 23 = 0. Which is bigger: -28/27 or i?
-28/27
Suppose -3*r - 5 = 2*r - 5*y, 0 = r - 2*y + 1. Let q be 152/627*(-3)/(-28). Which is greater: q or r?
q
Let a = 135.8 - 136