ost as big as i?
True
Let n(l) = -l**2 - 5*l. Let m be n(-9). Let y be (1/(-3))/((-4)/m). Let c be (-2)/6 + (-4)/y. Are c and 1/37 equal?
False
Let b = -1147 - -1258. Which is smaller: b or 219/2?
219/2
Let b be (-26)/(-39)*4/(24/(-9)). Is b less than -18/11?
False
Let b = -543/4 + 135. Let n = -140 - -267. Let o = 127.1 - n. Which is smaller: o or b?
b
Suppose 39*w + 9 = 42*w. Suppose -3*c = 2*y + 10, -w*y + 4*c - c = -15. Which is smaller: y or -1/6?
-1/6
Let u be ((-2)/(-3))/(4/(-18)). Let d be (-20)/(-1 + 3 + u). Let v = 117 - 96. Are v and d equal?
False
Let i(t) = t - 7. Let u be i(-5). Let f be 10/u - (-7)/21. Let m be 4/1 - (-5 + 9). Which is bigger: f or m?
m
Let r = -0.08 - -0.1. Let p = -119 - -242. Let j = p - 123. Is j smaller than r?
True
Suppose 4*u = -2*l + 154, 0 = -16*u + 21*u + 4*l - 191. Are -1/7 and u unequal?
True
Let i = -0.33 - -33.33. Let t = 33 - i. Let q = 0.08 + -0.01. Which is greater: t or q?
q
Let o = -7 + 7. Let k be (-2 + o)*2/4. Let g = k + -1. Is 0 != g?
True
Suppose -r + 1 = -2*r. Let n = 2076 - 2077. Is n at least as big as r?
True
Let k = -459075/542 - -847. Is 1 bigger than k?
True
Suppose -4*l - 12 = -6*l. Suppose -3*s + z + 9 = 0, 3*s + 24 = 6*s + 4*z. Let v be 2/s - 43/(-10). Which is smaller: v or l?
v
Let h(r) = -3*r - 15. Let u be h(-8). Let s = u - 0. Is 2/7 greater than s?
False
Let m(g) = g**3 - 11*g**2 + 9*g + 12. Suppose -4*v = v - 50. Let s be m(v). Let d be s/5*(4 + -3). Are d and 0 equal?
False
Suppose -30*v + 990 = -35*v. Are -201 and v equal?
False
Let k = 0.151 + -0.051. Let f = -19.4 - -0.4. Which is greater: f or k?
k
Let h be (-5)/(-80) - (-789)/(-336). Which is bigger: -3 or h?
h
Suppose -7*j - 3*j = -50. Suppose -3*m + s + 2 = 0, 4*s + 2 = -m + j*s. Let l be 3/6*(-5)/(-2). Which is smaller: l or m?
l
Let v be -3 + 1*(1 + 6). Suppose -v*y = -2*f + 16, -4*f + 0*y + 4*y + 20 = 0. Let j(q) = 4*q**2 + 2*q - 1. Let d be j(f). Is 19 at most as big as d?
True
Let y(s) = -s**3 - 8*s**2 + 10*s + 10. Let z = 10 - 19. Let v be y(z). Are v and -2/45 equal?
False
Let o = 11530 - 11531. Suppose 0 = 3*n - 3*s - 51, 55 = -3*n + 8*n + 5*s. Let i be 1 - 2/(44/n). Which is greater: i or o?
i
Let z = -4.1 - -4. Which is bigger: -0.059 or z?
-0.059
Suppose -6*x = -x - 4155. Let k = x + -27425/33. Which is smaller: 0 or k?
k
Let l = -7 + 15. Suppose l*u + 12 = 11*u. Suppose -4 = -k - p, 4*k - u - 4 = -2*p. Is k not equal to -2?
True
Let g(a) = 23*a + 185. Let w be g(-8). Which is greater: w or -16/57?
w
Suppose -5*a + 3*l + 32 + 29 = 0, 0 = 5*l - 15. Which is greater: a or 2?
a
Let k(d) = 3*d**3 + 2*d**3 + 5*d - 5 - 1 - 4*d**3 - 5*d**2. Suppose 2*t + t - 12 = 0. Let z be k(t). Are -3 and z equal?
False
Let d = 2 - 3. Let f = 658 - 5930/9. Is d less than f?
True
Suppose -4*b + 22 = 3*g, 7*g - 3*g = 3*b - 4. Let x be 16/40 - (-58)/5. Let t be x/(-28)*40/(-12). Which is greater: t or g?
g
Let c = -1235/114278 + -67168735/843143084. Let f = c - 3/476. Is 0 at most f?
False
Let p(v) = -v**2 + 7*v - 1. Let y be p(3). Suppose z + 21 = 15. Let l(x) = -x + 4. Let n be l(z). Which is bigger: y or n?
y
Suppose -11*v - 630 = -5*v. Which is greater: -107 or v?
v
Let a = -5 - -18. Suppose 2*k + 2*k + i = 53, 5*i - a = k. Suppose 4*p - k = 8*p. Which is smaller: -2 or p?
p
Let h be -2*12*((-2)/(-6) + -3). Let y = 15537 + -77364/5. Let k = y - h. Is k at least as big as -1/3?
True
Let u = -8.5 - 33.5. Is 0.07 >= u?
True
Suppose -3*k + 2104 + 104 = 0. Let o = k - 42691/58. Does o = 1?
False
Let c be 884/(-292) - (-3 - 0). Let x = 1529/146 - c. Which is bigger: -0.1 or x?
x
Let g be -4 + 1 - (-6045)/260. Which is greater: g or 19?
g
Let v be (-15)/21 - 2/7. Let m be v + 0*(3 - 4). Which is bigger: m or -1/26?
-1/26
Let b(z) = -10*z**2 - 4*z + 10. Let o(a) = -7*a**2 - 3*a + 7. Let t(g) = -5*b(g) + 7*o(g). Let d be t(1). Which is bigger: -2/177 or d?
-2/177
Let q = 1 - 1. Let j be ((-5)/(-20))/((-203)/7 + 6). Is j less than or equal to q?
True
Let w(z) = 132*z + 607. Let o be w(-5). Are -25 and o nonequal?
True
Suppose -5*b = -4*r + 28, -2*r - 44 = 3*b - 14. Let z(m) be the third derivative of -m**4/12 - 17*m**3/6 - 106*m**2. Let w be z(b). Which is greater: w or 2/7?
2/7
Let d(r) = r**3 - 4*r**2 + 2*r. Let x be d(4). Suppose 4*g = -8 - x. Let p be g/10 - 46/10. Which is smaller: 1 or p?
p
Suppose 3*x = -137 + 8. Let d = x + 42. Which is smaller: d or -5/3?
-5/3
Suppose 3*b + y - 116 = 5*y, -2*y = -2. Is 40 at least as big as b?
True
Let k be (4 - (-32)/(-6))*(-6)/(-10). Let m = k + 3/5. Which is bigger: m or 0.09?
0.09
Let r be (-2)/((3 + -4)*-2). Let u be (r/1)/(60/12). Which is smaller: 3 or u?
u
Let o(l) = 3*l**2 + 5*l - 1. Let d(h) = -h**2 + h - 1. Let v(n) = d(n) + o(n). Let t be v(-6). Does t = 35?
False
Let y be -9*(-8)/(-1968)*(-2 + 20). Which is bigger: 0 or y?
0
Suppose 4*l - 2*x + x = 79, -3*l - x + 54 = 0. Suppose -11 = -d - 2*d + h, 2*d = 3*h + l. Suppose -s + 2*g - d - 6 = 0, 4*s - 2*g + 8 = 0. Is 2/7 >= s?
True
Let q = -0.86 - -0.16. Let v = -0.35 + 0.05. Let l = q + v. Which is bigger: -0.6 or l?
-0.6
Suppose 0*y = 2*y + 5*w + 9, 3*y = 5*w + 24. Suppose r - 2*r - 24 = 5*d, y*r + 3*d + 12 = 0. Is r bigger than 2/229?
True
Let o = 31 + -9. Suppose 0*t = 2*t - o. Let d = t + -11. Which is greater: 3/5 or d?
3/5
Let q be ((-5)/(-4))/(1/(-4)). Let f = 856 + -860. Which is greater: f or q?
f
Let r be ((-296)/(-18))/2 - 78/351. Are r and -1 nonequal?
True
Let p be ((-6)/(-19))/(-2) + 0. Suppose -52*s + 24*s - 75 = 47*s. Which is greater: p or s?
p
Suppose -2*n = s + 1, -5*s + n + 17 = -0*s. Suppose s*u - u = 4. Let l = -2.28 + 0.28. Which is smaller: l or u?
l
Let c(r) = r**2 + 12*r - 121. Let p be c(-19). Is 64/5 > p?
True
Suppose -6*h - 6 = -8*h. Suppose -4*b - 32 - 82 = h*w, w + 5*b + 49 = 0. Is -33 at least as big as w?
True
Let x be 4/(-2) + 3/3. Let j be 2/(2 + (2 - x)). Let u be 14*(-6)/(-66) - (-18)/(-66). Is u > j?
True
Suppose -p + 3*c = 2*p - 171, -117 = -2*p + 5*c. Let n be (-58)/p - (92/(-16) - -5). Is n < -48?
False
Let z = -4 + 77. Suppose -5*r - 37 = 3*s, 4*r - z = 5*s + r. Which is bigger: -10 or s?
-10
Let y(h) = h - 3. Let p be y(3). Let r(i) = -i**2 + 8. Let w be r(p). Let n be 11 - (-6 - 33/(-3)) - -1. Which is smaller: n or w?
n
Let i(q) = -7*q - 5. Let b be i(-1). Suppose -3*f = -3*l + b*f + 39, f = -4*l + 29. Are -2/7 and l unequal?
True
Suppose -r = 5*r + 36. Let c be 1/(-2) + -3 + (-49)/r. Which is smaller: c or 1/2?
1/2
Suppose 5*a + z - 11 = 0, 17 + 10 = 5*a - 3*z. Is -9 bigger than a?
False
Let f = -893882/155 + 5767. Is 1 < f?
False
Let j = -89 + 105. Which is greater: j or 12?
j
Let q(t) = -t + 4. Let h be q(-4). Let w(i) = -3*i**2 - 22*i + 53. Let p be w(-9). Is p equal to h?
True
Let d be 96/(-42) - 4/14. Let l = -57/14 - d. Let n = -20 - -19. Which is smaller: l or n?
l
Let c be (-1)/(-2) + 45/(-30). Which is bigger: -1/471 or c?
-1/471
Let v be 5/25 - (-1 + (-89)/(-70)). Let l(b) = b + 4. Let j be l(-2). Suppose j*c + 0 = -2. Is c < v?
True
Suppose k - 3*o - 10 = 0, -8*o + 4 = 3*k - 4*o. Suppose -s - 4*s + 91 = 2*p, k*p = 12. Is 16 less than or equal to s?
True
Let w be 1 - (1 + 3 - 3). Let f be (-4 + (-12)/(-4))*w. Is -1/4 not equal to f?
True
Suppose 3*s - 1 = 8. Suppose n - 7 + s = 0. Suppose n*c + 2 = 6*c. Which is smaller: c or -2/23?
-2/23
Let y(n) = -n**2 + 2*n + 13. Let s be y(5). Let u be 42/10 - 5 - s/5. Is u equal to 5/2?
False
Suppose 70356 = -108*a - 39048. Which is bigger: a or -1014?
a
Let j = -7715640/15623 + -1206/919. Let a = 597 + -1092. Let v = a - j. Are v and 1 equal?
False
Let p = -1.379 - 0.61. Let s = -0.039 - p. Let o = s + 0.05. Is o > -2/3?
True
Let z = 3593/10797 + 2/3599. Let c(o) = -3*o. Let l be c(-4). Suppose 36 + l = -4*v. Is z at least v?
True
Suppose -5*k - 4*r + 27 = 0, k + 2*r - 12 = -k. Suppose -h + z = -2, -z - 3 = h - k*h. Is h equal to 4/27?
False
Let u(q) = 4*q**2 + 31*q + 5. Let g be u(-8). Which is greater: g or 9?
g
Suppose x - 5 = -2. Suppose x*s = 3*n + 54, n + 0*n + 2*s = -30. Is -23 smaller than n?
True
Let g = -6 + 10. Suppose -a = -0*k + g*k - 19, 4*a + 4*k - 16 = 0. Let p be a + (-14)/20*-2. Are p and -0.8 equal?
False
Let s = 162/185 + -14/185. Is -0.14 < s?
True
Suppose 15*n = 17*n - 18. Let f = -2 + 4. Suppose 0 = 5*a - z