e -4*p = -5*z + 5, p - z + 0*z + 1 = 0. Let d(r) = 21*r - 185. Let c be d(9). Suppose -g - c*g = p. Is -2 greater than or equal to g?
False
Let k be -1*1/(1*-1). Let u be ((-3)/6)/(10/(-40)). Let j = u + k. Which is smaller: j or 24/7?
j
Let j(c) = -58*c - 14. Let i be j(2). Is i greater than or equal to -128?
False
Let d(p) = p**3 - 2*p**2 - 2*p + 101. Let b be d(0). Is b > 104?
False
Let t(p) = p + 3*p**2 - 2*p**2 + 4 + 4*p. Suppose -64 = -8*y - 88. Let q be t(y). Which is greater: 1/13 or q?
1/13
Let h be 142/2 - (-7)/(28/8). Do 70 and h have different values?
True
Let b = -114/11 - -511/44. Let r = 323 - 321. Is b at least as big as r?
False
Let g = -39.3 - -42. Let s(f) = -f**2 + 70*f + 147. Let c be s(-2). Is g at least as big as c?
False
Let p(m) = 12*m + 169. Let s be p(-14). Is s != -8/57?
True
Let m(g) = -g**2 - 2*g + 79. Let p be m(8). Which is smaller: p or -1/57?
p
Let z(c) = 10 + 45*c**2 + 12*c + 5*c - 40*c**2 - 3*c - c**3. Suppose b + 0*b = 7. Let h be z(b). Do 10 and h have the same value?
True
Let x be 1131/234 + (-3 - (-6)/(-3)). Do x and 0 have the same value?
False
Let u(a) = -26*a + 1. Let j be u(2). Let l be 114/57*(-1 - 24)*1. Is l less than or equal to j?
False
Let q be ((-64)/(-234))/8*9/222. Are 1 and q nonequal?
True
Let y(n) = -3*n**2 - 3*n - 8. Let d be y(-2). Let f be (0 + (-8)/(-15))/(d/(-175)). Are -2/5 and f equal?
False
Let g be 2/19 + (-47232)/526680. Which is bigger: g or 1?
1
Let s = 6 + -17. Let u = s - -13. Suppose -2*v = -q + 5, 4*q + 4*v - 30 - u = 0. Which is bigger: q or 6?
q
Let h be -5 + 2 - (0 - 3). Suppose h = 3*d + 9, 4*d + 12 = 2*l - l. Which is greater: -2/29 or l?
l
Let s be (1 + -1)*(-1 + 0). Let w be -1 - -5 - (-3 - -5). Let o be 0*(0 + (1 - w)). Are s and o non-equal?
False
Suppose -g = -5*g - 52. Let l be (0 - -1 - -9)*g/182. Which is smaller: 0 or l?
l
Let r = -0.45 - 0.05. Let o = 59.5 + -60. Let t = r - o. Do -1/3 and t have different values?
True
Let s be 21/(294/(-880)) + -1. Is s greater than or equal to -63?
False
Let q(j) = -3*j + 7. Let r be q(-15). Let z be (-4)/6 + 412/6. Let f be 1 + -2 + z/r. Which is smaller: f or -1?
-1
Let q = -2147003/44 - -48799. Let p = -52/11 + q. Is p less than or equal to 0?
True
Let j = -27 + 129. Let g be -2 - (1 - 506/j - -2). Is 1 greater than g?
True
Let f = 83 + -85. Let q = -7 + 11. Suppose -y - q = 3*y. Which is bigger: f or y?
y
Let t = -1.17 - -0.76. Let s = t - 55.59. Which is greater: 1 or s?
1
Let r(z) = 6*z**2 + 2*z**3 + z**3 + 4*z - 4*z**3 + 13 - 6*z. Let y = -10 + 16. Let b be r(y). Are b and 3/2 unequal?
True
Let i = 1405.937 - 1421. Let t = i - -0.063. Do 1 and t have the same value?
False
Let f = 28921/38 - 761. Which is bigger: f or -1?
f
Let i = 3500398/115 + -30438. Let g = i - 1/23. Let d be -1 - (-3 + 6/3). Is g > d?
True
Let s = -583 - -694. Is 111 less than s?
False
Let h = -2 + 8. Let n be 64/6*(0 - (-12)/16). Is n at least as big as h?
True
Suppose 2*z + 3 = -3*j, -2*z = -5*j + 1 - 6. Suppose 5*s - 31 = 2*r, 3*s - 16 + 1 = z. Let y(a) = -2*a**2 - 5*a - 4. Let c be y(r). Is -6 < c?
False
Let s be ((-1)/28)/((-98)/(-392)). Which is smaller: 4.4 or s?
s
Let a be -5 - -1 - 1856/(-456). Which is smaller: 1 or a?
a
Let f be ((-1)/2)/((-324)/(-152) - 2). Is -5 not equal to f?
True
Let j be (-3)/(-3)*2/5. Let o = 50 - 47. Suppose 0 = -l + s + 3, -o*l - 9 - 2 = 2*s. Is j at most l?
False
Let h be (-2)/14*-15 + (22 - 26). Let g(j) = 9*j + 25. Let i be g(-3). Which is smaller: i or h?
i
Let h be (-1 + 1)/(2 - 4). Suppose -4*q - 18 = -14. Is q greater than or equal to h?
False
Let o(l) = l - 1. Let d(t) = t - 13. Let x(j) = d(j) - 2*o(j). Let q be x(-10). Let g = -7 + 6. Is g greater than or equal to q?
True
Let x be (1 - 0)*(-53 + -2). Let n be (-2)/11 - (-320)/x. Let q = -6 - -1. Are q and n unequal?
True
Let l = 19 - -62. Let x = -65 + l. Which is bigger: 17 or x?
17
Let d = -131 - -133. Let f(y) = -y**2 - 7*y - 5. Let v be f(-5). Suppose l + 2 = v. Which is bigger: d or l?
l
Let s be 2/(-4)*84/3801. Let x = 734/905 + s. Which is smaller: 3/5 or x?
3/5
Let i(k) = -4*k + 3. Suppose -5*u + 6 = 3*f, 6*f = -4*u + 2*f. Let h be i(u). Let j = h + 8. Is j less than or equal to -2/7?
True
Let d(s) = -s**2 - 8*s. Let n be d(-8). Suppose t - 2*c + 20 = n, -2*t = -3*t + 3*c - 24. Which is smaller: t or -13?
-13
Let f(v) be the third derivative of -3*v**5/20 - v**4/8 + v**3/3 - 5*v**2. Let l be f(1). Is -10 bigger than l?
False
Let l = -313/26 - -150/13. Which is smaller: 6/235 or l?
l
Let i = -19 - -18.9. Let f be 76/(-5) + 10/50. Let v be ((-5)/f)/((-3)/(-10)). Is v != i?
True
Let h = -2/3819 + 157858/11457. Is h >= 13?
True
Suppose 2*p = 0, 0 = c + 5*p - 2. Let w be c/6 - (-6)/9. Let i(t) = -t**3 + 5*t**2 + 7*t - 1. Let h be i(6). Which is smaller: h or w?
w
Let k be 48/60*515/2. Is k less than 206?
False
Let d(g) = -2*g**2 + 6*g - 4. Let w be d(4). Let h(r) = 9*r - 28. Let o be h(2). Which is bigger: o or w?
o
Let y = 5558/2493 + -20/9. Let r = -249/3878 - y. Is -1 bigger than r?
False
Let y = -1.9 - -6. Let x = -1.1 + y. Does x = -2?
False
Let z = -7.42 + 7. Is z != 1/4?
True
Let s be 2/((-6)/(-18) + 53133/(-157455)). Let g = s + 486. Is 0 smaller than g?
True
Let o(d) be the first derivative of d**4/4 + 3*d**3 + 3*d**2/2 + 13*d - 12. Let x be o(-9). Let f be (-384)/x - 48/112. Is 27 < f?
False
Let n be ((-2)/(-6))/((-8)/96*14). Is 10 greater than n?
True
Suppose y + 234 = -22*v + 17*v, 3*v + y + 140 = 0. Is v bigger than -337/7?
True
Let y be (-4)/(-1 + (-2)/(-6)). Let v = 89.8 - 88. Let q = -2 + v. Which is smaller: q or y?
q
Suppose 5*v + 5*i + 10 = 3*i, -2*i - 10 = -4*v. Let b be (6/27)/(147 + -153). Which is smaller: v or b?
b
Let u = -1266 - -1253. Is u >= -17?
True
Let t be (-98)/((-16)/(-8) + -3). Is t <= 496/5?
True
Let n(c) = c**2 - 75 - c - 13*c + 54. Let x be n(14). Which is smaller: -19 or x?
x
Let n(f) = -f**2 - 4*f - 3. Let s be n(-5). Let v be (-6)/(68/(-56) + 1). Let h be (-3 - -1)*v/8. Is h > s?
True
Let f = 396 - 113. Do f and 284 have different values?
True
Let j be (0 - -4 - -4)*17/4. Let c = j + -36. Which is greater: -1 or c?
-1
Let c = -15.1 + -1.8. Let q = -0.4 - -17.4. Let f = q + c. Which is smaller: f or 3?
f
Suppose -m - 19 + 3 = 0. Let c be m/(-7) - (-4 + (-90)/(-21)). Is c bigger than 7/9?
True
Let c = 35 - 14. Which is bigger: 12 or c?
c
Let v = -0.181 - -26.181. Which is bigger: v or 6?
v
Let t(v) = -4*v - 28. Let w be t(-8). Suppose 5 = -4*z + b, -2*b + 0 = -w*z - 2. Which is bigger: z or -4?
z
Suppose g = -3*u - 2, 5*g = u - 6 - 20. Is 7/5 less than u?
False
Let m = -0.1083 - -851.1083. Is -2/5 smaller than m?
True
Suppose 3*p - s - 15 = 0, -2*s - 6 = -0. Let u = 29 - p. Is 25 at most as big as u?
True
Let o(f) = -2*f - 15. Let r be o(-6). Let q be r/((42/(-4))/7). Which is bigger: 6/11 or q?
q
Suppose 0 = n + 4*w + 32, -4*w = -2*n - 0*w - 28. Let u be ((-15)/n)/(2/(-8)). Suppose c = -2*c - 12. Which is smaller: u or c?
c
Let y = 1398 + -4144/3. Suppose 0 = 5*v + 2*v - 119. Is v bigger than y?
True
Let f(t) = t**3 + 21*t**2 + 20*t - 2. Let s = 30 - 50. Let c be f(s). Let d(b) = 6*b + 7. Let x be d(c). Is x less than -7?
False
Let s = 17760 - 17793.798. Let r = 1.738 + s. Let f = 32 + r. Which is greater: 0 or f?
0
Suppose 2 = -2*u + 4*x - 0, x = 3*u + 13. Let l be 848/72 - 4 - (-4)/18. Suppose c = -3*g - l, -4*c + g = -g + 18. Is c less than u?
False
Let i(q) = q**3 - 7*q**2 - 2*q + 7. Let w be i(7). Let j be ((-14)/(-63))/((w/12)/(-7)). Which is greater: j or -3?
j
Let b(k) = 3*k**3 + k**2 + 3*k + 2. Let a(g) = g + 0*g + g - 10 - 3*g. Let l be a(-9). Let w be b(l). Which is bigger: w or -2?
-2
Let w be (-3 - -3)/(2*1/(-2)). Suppose -3*b = -6 - w. Is 3 equal to b?
False
Let j = 206.66 - 211. Which is greater: j or 0.1?
0.1
Let f(a) = 30*a**2 - 2*a + 23. Let t be f(-5). Which is greater: t or -1/3?
t
Let b = 12 + -12. Suppose b*u - 10 = -2*u. Suppose u*z = 4*z. Is -2 greater than z?
False
Let s = 135 + -59. Let b be (-19)/s - 35/4. Which is greater: b or -10?
b
Suppose 2*z = 6*z + 24. Let l be ((-3)/z)/(3/(-6))*-9. Which is smaller: 8 or l?
8
Suppose 2*i - 18 = -2*y, -5*i - 21 = 11*y - 12*y. Which is greater: 10 or y?
y
Let i = -24 + 25. Let l be -1 + 13 + 2*i. Is l < 14?
False
Suppose 4*l - 19*l = 0.