e l(-3). Do 72 and g have the same value?
False
Let l = -12.9 - -14. Let p = 162.9 + -163. Let m = l + p. Is -7 at most as big as m?
True
Let i = -17 + 19. Let w be (-2 - 0)/(i/4). Is w not equal to -4?
False
Let t = 4.7 + -10.7. Let y = t - -7. Is 8/21 not equal to y?
True
Let g be 5*24/44 + -3. Let c = -56/165 - g. Let y = 1 - 1. Which is bigger: y or c?
y
Suppose 5*o + 35 + 0 = 0. Let q = 29 + o. Let c = q - 24. Is c smaller than -4?
False
Let y(a) = -a**2 - 8*a - 10. Let s be y(-5). Suppose -q + s*n - 3 - 4 = 0, -3*q + 59 = 5*n. Let c = q - 12. Is c at most 2?
True
Suppose 11*i = -f + 6*i - 12, 0 = 3*f - 3*i. Let a be (-3430)/19458 - 0/f. Let x = a - -1/423. Which is smaller: 1 or x?
x
Let p = -4.85 + 0.35. Let i = -6.5 - p. Is i at most 1/4?
True
Suppose 40 = 4*i - 2*r - 28, i + r - 17 = 0. Suppose 3*b + 19 = -i. Let n = 10 + b. Is n bigger than -4/7?
False
Let u = 129/14 + -4454/483. Which is smaller: 1/2 or u?
u
Let a = 3.858 + 0.142. Which is bigger: a or 0.12?
a
Let l(z) = -2*z + 2. Let u = 4 - -2. Let g be l(u). Let j be 2/4*g + 1. Which is smaller: -5 or j?
-5
Suppose -z + 4*z - z = 0. Suppose 11*v - 14*v - 39 = z. Which is bigger: -11 or v?
-11
Let c = 11 + -1. Suppose 10 = 5*l - c. Is l less than or equal to 7?
True
Let h = -3328 + 3327.61. Let i = 1 - 0.9. Which is smaller: h or i?
h
Let c = 107.9 + -108. Let i be 35/15 + 1/(-3). Is i < c?
False
Let p = 62 - 62. Suppose -12*b + b + 121 = p. Suppose -16 = -d - 0*d - 3*v, 2*v = -3*d + 34. Which is greater: b or d?
b
Let t = 23 + -2. Let k = t - 22.3. Are k and 2/5 nonequal?
True
Let r = -4 + -23. Let z = r - -17. Let b be ((-2)/z)/(6/(-10)). Are b and 1 equal?
False
Let c(o) = o**3 + 7*o**2 + 5*o - 1. Let p be c(-6). Suppose -3*u + 2 - p = 0. Let y be (-10)/104 - (-6)/24. Is y equal to u?
False
Let a be 3/(-6) + 1 + -1. Let k be (-505)/(-10) + 3/2. Let m = 209/4 - k. Is m greater than or equal to a?
True
Let z be 6/15 - (-3775578)/(-9438120). Let l = -6003273319/5977476 + z. Let d = 1004 + l. Which is smaller: d or 0?
d
Let r = 349 + -189. Is 164 < r?
False
Let n be 2 - (-96 + 0)*(-3)/148. Let p be ((-4)/6)/((-1)/(-9)). Let b = p - -6. Is n bigger than b?
True
Let s = -904 - -908. Is s <= 47/11?
True
Suppose 4 = -2*t + 4*d, -5*d - 5 = -5*t - 10*d. Suppose 10 = 3*f + 2*f. Let v be -2 - (30/(-8) + f). Is t less than v?
False
Suppose -2*s + 16 = 2*s. Suppose -3*l - 5 + 23 = -3*f, -4 = 2*f - s*l. Let m be 6/9*6/f. Which is bigger: m or -1?
m
Let d = 15 - 28. Suppose q - 3*i + 2 = 0, 0 = q + 2*i + 1 + 1. Which is smaller: d or q?
d
Let h = -9980/57 + 175. Are 0 and h non-equal?
True
Let h(l) = l + 7. Let p be h(-5). Suppose 0 = 2*j + 3*t + 1, 1 = -2*j - 5*t - p. Let a be 15/(-25) + ((-95)/(-200))/1. Which is greater: j or a?
j
Let h be 0 + -1 + (-1)/(-1). Suppose 12 = 3*t - 4*p + 1, 4*t + p = 2. Is t < h?
False
Suppose 0 = 26*w + 88 + 68. Let p = -1/207 - 2275/414. Which is smaller: w or p?
w
Let g(f) = -2*f**2 - 4*f + 4. Let k be g(2). Let v be (k*1/(-15))/((-2)/(-35)). Which is bigger: v or 15?
15
Let q = -6.69 + 5.596. Let u = q + 0.054. Let b = u + 1. Is 0 != b?
True
Let q = 702/11 + -30131/473. Is 1 at most q?
False
Let c be 18/12*2/3. Let x = c - 1. Let a = 19/130 - 1/78. Is a less than or equal to x?
False
Let b be (-5 + 4 - 2)*-3. Let r = -13 + b. Let v be r/(-18) - (-24)/(-108). Which is greater: v or 2/19?
2/19
Let t(j) = 6*j**2 + 11*j + 8. Let w be t(-5). Let b = 1131/11 - w. Which is greater: 3 or b?
3
Let z be (-87)/58 - 14090/(-9388). Which is smaller: 1 or z?
z
Suppose -5*j = -26 - 14. Suppose 4*g = 2*g + 5*m - 12, g - j = -m. Is g bigger than 4?
False
Let j be (5 - 6 - 1)*(-1)/(-2). Let d be -2 + 2 + (-796)/(-2880). Let q = d - 4/45. Is q less than or equal to j?
False
Suppose -7*i - 20 = -3*i. Suppose p + 2*f + 3 = 5*f, -5*f = -3*p - 17. Let g = i - p. Which is bigger: g or 2?
g
Let d(w) = -w**3 - 13*w**2. Let a be d(-13). Let i be (a - 0)/(19 - 18). Which is smaller: 1/42 or i?
i
Let c be ((-12)/28)/3 + (-33269)/1729. Which is smaller: -18 or c?
c
Let c(j) = j**2 - 5*j - 3. Let i be c(6). Suppose -8*t + 12*t = -268. Let o = -199/3 - t. Is i less than o?
False
Let v(f) = -30*f - 3. Let g(a) = -a - 1. Let q(n) = 2*g(n) + v(n). Let u be q(4). Let c be (-6)/(-21) - (-45)/u. Which is bigger: 1 or c?
1
Suppose 0 = 4*v - 2*v + 4*v. Suppose 0 = -4*d + n - 3*n + 184, -d + 5*n + 46 = v. Is d less than 45?
False
Let b = -1216 + 1398. Is b > -2?
True
Let r(d) = -3*d**3 + 5*d**2 - 2*d - 5. Let m be r(2). Is m <= -16?
False
Let z(k) = -k**3 + 14*k**2 - k + 8. Let x be z(14). Let g = 0 - 1. Is x equal to g?
False
Let c = 1119 + -1118. Which is smaller: 60/101 or c?
60/101
Let s = 3/4 + -5/4. Suppose 0 = d + 4, b - 5*b + d = 4. Is b greater than s?
False
Let w = -1.46 + 0.46. Do -13.9 and w have the same value?
False
Let l be 429/(-363) + (-1 - (-26)/22). Let r = -2/483 + -449/8211. Which is smaller: r or l?
l
Let t = -28 - -29. Which is bigger: -2/207 or t?
t
Let c(o) = -o**2 - o. Let s(k) = 6*k**2 + 18*k + 41. Let x(p) = 5*c(p) + s(p). Let m be x(-11). Is 20 != m?
True
Let k be 3/30 - (-31376)/(-160). Is k greater than or equal to -196?
True
Suppose 0 = -6*g + 3*g + 3*s - 156, 190 = -4*g - 2*s. Is g at most as big as -49?
True
Let p = -1034.04 + 1034. Is p not equal to 1.3?
True
Suppose 740 = 6*g + 14*g. Which is smaller: 32 or g?
32
Let p = -19 - -19. Suppose -5*i + 5*f - 25 = 0, p = 2*i - 0*f - 3*f + 15. Which is smaller: -6/7 or i?
-6/7
Let p be ((-9)/(-12))/((-4)/96). Let n = p + 20. Let a be (3 - (-99)/(-21)) + n. Which is smaller: 0.2 or a?
0.2
Let f(i) = 9*i - 83. Let g be f(16). Which is smaller: g or 62?
g
Let h = 723 + -713. Is 79 at least h?
True
Let x be (30 + -35)*(609/(-615) + 1). Is x less than 0.15?
True
Let u(v) = -v**2 - 5*v. Let w be u(-5). Let d be 4*(1811/(-362) + 5). Which is greater: w or d?
w
Let j be (-7 - 136/(-16))/(3/(-22)). Which is greater: j or -10?
-10
Suppose 17 = 8*q + 1. Suppose -q*p - j + 7 = 0, -4*p - 21 = j - 6*j. Let r = 329 + -4609/14. Which is bigger: r or p?
p
Suppose -92*r - 535 = 477. Which is smaller: -2/27 or r?
r
Let z = -56/15 - -638/195. Let q = 4 - 3. Do z and q have different values?
True
Let q(r) be the second derivative of r**5/20 - r**3/3 + r**2/2 + 14*r. Let d be q(0). Let g(w) = -w - 7. Let m be g(-8). Is d less than m?
False
Suppose -f = -2*f. Suppose -3*j - 5*x - 21 = -2, f = -j - 2*x - 8. Let a be (-6)/(-4)*j/(-9). Which is bigger: a or 1?
1
Let f be (-9)/1*(726/(-616))/33. Are f and 1 equal?
False
Let a = -286 + 286. Which is bigger: a or -11/91?
a
Let r(a) = 15*a - 13. Let n be r(4). Which is greater: n or -2?
n
Suppose 0 = -o - 397 + 133. Let p = o + 177. Is p <= -87?
True
Suppose 0 = 5*d + 9 - 19. Is d at least as big as 4?
False
Let m be (-1 + -1)/((-20)/(-50)). Let y(w) = -w**3 - 6*w**2 - 4*w + 9. Let a be y(m). Suppose -g - 3*g + a = 0. Which is smaller: g or -2/49?
-2/49
Let j be (-4)/1 + (-32 - -10). Let i be (-58)/(-4) + (-13)/j. Which is greater: -0.1 or i?
i
Let a = 0.654 - -4.236. Let s = a + 0.11. Let v = 1.9317 - -0.0683. Is v bigger than s?
False
Let y = -0.1 + 0.2. Let p be (65 + -65)*2/(-4). Which is greater: p or y?
y
Let m = 0.057 - 0.267. Let i = m - -0.11. Is i smaller than 2/37?
True
Let t be (2 - 5)/((-15)/200). Suppose 0 = 2*k + t + 38. Let s = -463/12 - k. Is 1 smaller than s?
False
Let r = -20/7 - -166/63. Let x = 66.2 - 77. Let a = x - -11. Is r smaller than a?
True
Let r be (3 + -766)/1 + 1. Let h be r/(-40) - (-3)/15. Let i = h + -19. Which is greater: i or -4?
i
Suppose -21*r + 0*r + 21 = 0. Which is greater: r or -3/28?
r
Let r(y) = 16*y + 78. Let o be r(-5). Is 11 at least o?
True
Let k = -20306 - -20304. Let a = 13.3 - 14. Let s = -0.2 - a. Is k greater than s?
False
Let a = 293 + -899/3. Is -3 at least as big as a?
True
Let x(n) = 6 - 2 + n - 1 + 0. Let a be x(-1). Suppose 3*d + a*l + 3*l = 17, -5*d = 4*l - 11. Is 2/53 at least as big as d?
True
Let w be 4/6 + 22/48. Let h be (-116)/(-32) - -1 - 4. Let d = h - w. Are d and -1 non-equal?
True
Let b be -5*(1/(-21))/((-42)/343). Let c = -4/9 - b. Which is smaller: c or -0.31?
-0.31
Let r(h) = -h**2 - 25*h - 85. Let j be r(-21). Is 0 at most j?
False
Suppose 0 = 41*s - 35*s + 12. Which is greater: s or -4?
s
Let y = -14 - -15. Let r = 214/