 Does l = 2?
False
Let t(a) = -a**2 - 2*a. Let b be t(-2). Let j = 11459/19 + -603. Which is smaller: j or b?
b
Let q(x) = x + 5. Let s be q(-3). Suppose s*y - 4*y = 0. Suppose -14*o = -39 + 11. Which is smaller: o or y?
y
Let o = 10071/7 - 1439. Is o less than 3.63?
True
Let n(p) = 5*p + 75. Let y be n(-15). Which is smaller: -19 or y?
-19
Let m = 0 + 0.1. Suppose 2*f + 60 = 4*g, -80*f + 2 = -79*f. Which is smaller: g or m?
m
Let n(w) = w**2 - 7*w + 9. Let o be n(6). Suppose 0*u + o*m = -5*u + 11, -3*m = 2*u + 1. Let r(c) = c**3 - 20*c**2 - 10*c - 226. Let d be r(21). Is d at most u?
False
Let p = 1286 - 1266. Is p less than or equal to 16?
False
Suppose 7*y + 10 = 2*y. Suppose 4 = 6*q - 5*q. Suppose 2*o = d + q + 4, 0 = -2*d + 2*o - 12. Is d <= y?
True
Let x = -5.6 + -53.4. Let m = x - -50. Let f(r) = -r**3 + 4*r**2 - r + 3. Let s be f(4). Which is smaller: m or s?
m
Let l = 0.55 - -0.05. Let r = -0.8 + l. Let v = r + 0.3. Which is smaller: 1 or v?
v
Let k = 46 - 61. Let o(r) = -r - 19. Let i be o(k). Does -7 = i?
False
Suppose -2*w - w = -2*v - 13, -3*v - 22 = -2*w. Let o be 2/(-3)*(4 - v). Suppose -54 = 3*h + 3*h. Which is bigger: o or h?
o
Let j(g) = g**2 + 4*g - 6. Let b be j(-6). Let d be 8/b - (3 - 1). Let k = -3 - -1. Which is smaller: d or k?
k
Let z = -0.91 - -0.25. Do z and 2/9 have different values?
True
Let u = -29 + 29.91. Let l = u + 0.09. Which is smaller: 23 or l?
l
Let j = -0.2 + 0.3. Let t = -0.079 - 45.921. Let i = t - -39. Which is greater: j or i?
j
Let m be (0 - 45/342)*1/5. Which is smaller: -0.02 or m?
m
Let r be (-312)/(-310) - ((-18)/(-2) + -8). Which is bigger: r or 1?
1
Let b be -2*33/(-44) + 14/(-8). Let r = -6338 + 31997/5. Let k = 61 - r. Which is bigger: k or b?
b
Let w = -19 - -19.05. Let c = -3.6 + 3.7. Which is bigger: w or c?
c
Let b = 12.87 - -0.13. Let r = 6 - -10. Let x = r - b. Does x = 0.3?
False
Suppose -2*u = -10, 5*p = -2*u + 3163 + 11997. Let r be (45/42 + -1)*p. Let k = -216 + r. Which is bigger: 1 or k?
1
Let n(t) = -2*t**2 + 50*t. Let r be n(25). Is 3/19 greater than r?
True
Let h(x) = -2*x - 6. Let q be h(6). Let t = 444 - 184. Suppose 29 = -17*l - t. Does l = q?
False
Let i = 48 - 48. Suppose i = 40*g - 37*g - 42. Is 14 <= g?
True
Let d be 2*(-9)/(-30)*5. Suppose v + d*v - 36 = 0. Suppose -3*b + 3*g = v, -7*b = -3*b + 3*g - 2. Which is smaller: b or -1/2?
b
Let o(y) be the third derivative of -11*y**4/24 + 13*y**3/3 + 13*y**2. Let q be o(4). Which is greater: -20 or q?
q
Let b(a) = 19*a**3 - 3*a**2 + 3*a - 18*a**3 + 2 + 8*a**2. Let z be b(-3). Let h be z/(-176)*(-1 - -2). Is h not equal to 1?
True
Let l(k) = k + 18. Let m be l(-14). Suppose m*v - 17 = 43. Suppose -o - 2*o = -v. Which is smaller: o or -0.1?
-0.1
Suppose 10*w - 4*p - 9 = 15*w, p = 4*w + 3. Is w equal to -4?
False
Suppose 2*r + 7 - 1 = -4*p, 0 = -r - 3*p - 3. Let k(m) = m**3 + m**2 - 5*m + 4. Let h be k(r). Which is bigger: h or -2/99?
h
Let g be 4/2 + -1 + 66/(-44). Which is smaller: g or -41?
-41
Let d = 1/28165 - -9152122/42331995. Let w = 1/167 + d. Let x = 10.7 + -10.7. Is w less than x?
False
Let x be (13400/(-700))/(13/14 - 1). Is 265 at most as big as x?
True
Let r = -8.734 - -1.744. Let s = r - 0.01. Let o = s - -16. Which is smaller: o or 1?
1
Let w = -32 - -81. Suppose 3*h = -2*i - w, -3*i + 69 = -0*h - 3*h. Which is greater: h or -21?
h
Let r be -5 + 1628/(-540) + 8. Is r greater than -1?
True
Let u(w) = w**3 + 20*w**2 + 56*w - 35. Let m be u(-15). Which is bigger: 249 or m?
m
Let g = -2 + 2. Suppose b + 2*a - 3*a - 8 = 0, -22 = b + 5*a. Let f be 0/(b + 1) - 5/(-6). Which is bigger: g or f?
f
Suppose -3*b + 6 = z, -5*z = -2*b - b - 30. Let n be (-8)/z*(10 + -16). Which is bigger: 35/4 or n?
35/4
Let k = 227 - 228. Which is bigger: k or 1/67?
1/67
Let c(l) = -l + 3. Let i be c(6). Let o be 110/(-33)*i/(-2). Let j be o*2*(-40)/150. Which is bigger: j or 2?
j
Let c be (-1)/(-4) + (-5)/(-44). Let l = 3 + 25. Let q = -27.9 + l. Which is greater: c or q?
c
Let i be 25/5*12/(-4). Let q = i - -15. Which is smaller: q or 3/5?
q
Let s be 224/(-60) + (-14)/(-35). Are 0.1 and s equal?
False
Let b = 10086680/21 - 480487. Let h = 169 + b. Is -1 at most as big as h?
True
Let x = -223/6 - -37. Let r be ((-6)/(-4))/(4/24). Let w = r + -8. Which is smaller: x or w?
x
Let h = 0.8 + -0.5. Let o = -0.668 - 0.132. Is o greater than h?
False
Let o = -229/69 - -15/23. Let s be (0 - (6 - 2)) + 1. Which is greater: o or s?
o
Suppose 2*c - y = -8, 3*y - 33 = -5*c - 53. Is c at most -155?
False
Let o be (30/315)/(3/522). Which is smaller: 18 or o?
o
Suppose -4*z = 0, -4*o - 4*z = -5*z + 12. Let n be o + 33/12 + (-26)/56. Is n greater than 0?
False
Let x = -91 - -94.1. Let s = x + -3.8. Do 0 and s have the same value?
False
Let h be (-12)/(-32) - 365/120. Which is smaller: -2 or h?
h
Let z = -25 - -27. Let m = 1.8 - z. Is 1 less than m?
False
Let r be 6 - 2*3/6. Let c be ((-2)/3 - 1/3) + 4. Suppose r*t - t = -2*d + 26, c*t - 5*d = 0. Which is greater: t or -1?
t
Let q be ((-10670)/(-77) - 10) + (-6)/(-14). Which is greater: 648/5 or q?
648/5
Suppose 3*q - 360 = -6*q. Let r = q + -48. Is -10 >= r?
False
Let v = -69 + 71. Let p be (v/20)/((-4)/(-30)*3). Let d = -3.7 - 1.3. Which is smaller: d or p?
d
Suppose -15*h + 4224 = 17*h. Is 130 at least as big as h?
False
Suppose 3*g - 10 = -5*m, -14 - 13 = 2*m - 5*g. Let a be (-2)/(2/3) - m. Let b = a + 3. Is b greater than -3/8?
True
Let k = 15.99 - 16. Let f = k + 16.01. Which is smaller: 0 or f?
0
Let d = -125 + 139. Which is bigger: 0 or d?
d
Let r(u) = -u**2 - 4*u + 6. Let k be r(-5). Suppose -5*q - 4 = 1. Let w be 238/210 - q/(-3). Is k at least w?
True
Suppose 26*a = 20*a - 3810. Is -636 at most a?
True
Suppose -24*q = -28*q - 56. Let x = q - -5. Is -23/3 less than x?
False
Let v(p) = -p**2 + 19*p - 46. Let k be v(12). Which is smaller: 39 or k?
k
Suppose -5*p = -l + 4*l + 34, 0 = 5*l - 4*p - 5. Which is smaller: -66/29 or l?
l
Let t = 291 - 281. Which is greater: t or 7?
t
Let w = 124.016 + -0.016. Which is smaller: w or -0.1?
-0.1
Suppose 182 = 183*n - 181*n. Is 90 less than n?
True
Let g be 77/(-11) + -4 - 0/2. Suppose 1 + 12 = -m. Which is greater: g or m?
g
Let k be 0/(-2) + (-12)/78. Let f(u) = -28*u**3 + 1. Let t be f(-1). Let h = t + -30. Is h equal to k?
False
Suppose 0 = -3*b - 2*z + 11, 0*z = b - z + 3. Let s be ((-1)/2 + b)/(-1). Suppose -2 = 4*f - 3*f. Which is smaller: f or s?
f
Let c = -0.474 + 0.274. Is 26 <= c?
False
Suppose 3*l - 60 = 3*y, 5*l - 2*l + 2*y - 45 = 0. Let i = l + -5. Is 12 at least i?
True
Let y = 57186729/201220 + -1/40244. Which is greater: y or 283?
y
Let b(m) = m**3 - 2*m + 1. Let a be b(0). Let h be (-3 + 3 + -3)*a. Which is bigger: -5 or h?
h
Let q be (-6 - -3)/(-2 - 1). Let h be (26/(-65))/(q/(-45)). Is 52/3 less than h?
True
Let c = 110577/581 + -1332/7. Are c and 0 unequal?
True
Let b(q) = q + 6. Let t be b(-5). Let i be 6/(-21)*2/((-48)/(-28)). Which is smaller: i or t?
i
Let o be (-2)/((-290)/4*3/(-15)). Which is greater: -1 or o?
o
Let z be -1 - 11 - (8 - 5). Let w = z + 6. Let i = 38 + -48. Which is greater: i or w?
w
Let v = 64 + -64. Let f be (-399)/(-76) - 1/(v - -4). Is f <= 14/3?
False
Let w(d) = -216*d - 6. Let s be w(8). Is -1734 at most as big as s?
True
Let r be (2/3)/(13/14820). Let f be r/18 - 1 - 12/54. Is f less than or equal to 41?
True
Suppose 3*l = 2*f + 31, 2*l - 49 + 21 = 2*f. Let w be (-2)/(-1) + -2 - -11. Let i = 2 - w. Is i bigger than f?
True
Let x = -38414/2381 - -177254769/11133556. Let v = 1/668 - x. Let b be (0 + 0)*(0 - -1). Is b equal to v?
False
Let d(s) = -s**2 + s - 1. Let h(i) = 7*i**2 - 19*i + 37. Let j(z) = -6*d(z) - h(z). Let y be j(10). Let u be (-65)/(-333) + (-2)/9. Which is greater: u or y?
u
Let b = 5.586 + 0.024. Is b >= -1/2?
True
Let t = -11.3 - -17. Let g = -5.7 + t. Which is greater: -0.2 or g?
g
Let i = 70 + -699/10. Let g = 113 - 113. Which is greater: g or i?
i
Let n = -216/13 + 36150/2171. Which is smaller: 1 or n?
n
Let z(c) = -c**2 - 19*c + 25. Let q be z(-20). Suppose 0 = -q*u - v + 5, 2*u - 5*v - 4 = -2*u. Is -1/15 less than u?
True
Let g = -0.1 + 0.1. Let f = -0.4398 + 0.0398. Is g greater than f?
True
Let i(u) = 8*u**2 + 1. Let z be i(-1). Suppose 7*p + 2 = z*p. Let b be (1/(-3))/(p/3). Which is