z, 3*z + 17 = l. Suppose -52 = 4*m + 4*w, l + 1 = -w. Which is smaller: m or -11?
-11
Let n be ((-3)/87)/(2/(-16)). Let c be 1/2 - 25/(-50). Is n greater than c?
False
Let a = -16 - -8. Let d be (-1236)/(-6)*(-2)/a. Let k = -53 + d. Which is smaller: -3 or k?
-3
Let o = 36 - 10. Let r = -26 + o. Is r smaller than 1/40?
True
Let m(r) = -6*r**2 + 223*r - 58. Let n be m(37). Which is bigger: -0.8 or n?
-0.8
Let c(y) = -3*y + 48. Let q be c(0). Let f be ((-17)/15 - -1)/(q/18). Let w be 0/2*2/2. Is w less than or equal to f?
False
Let a(f) = -7*f. Let w be a(-3). Let v be 78/w - 4/(-14). Suppose -2*p - 5*t + 19 = 1, -v*p + t = 8. Is p less than or equal to -1/8?
True
Suppose -60 = -4*l - 2*w, -3*l - w + 57 = 13. Suppose 5*h = -x + l, -4*h - 3 = 2*x - 7. Is -11 at most as big as x?
True
Suppose -4*l = 5*y, -2*l = -7*l + 3*y. Let x = 3095/11 - 281. Let c = -1/33 + x. Which is bigger: l or c?
c
Let f(h) be the first derivative of h**4/4 - 14*h**3/3 - 15*h**2/2 - 2*h - 10. Let r be f(15). Let x be (3 + r + -1)/2. Which is greater: -1 or x?
x
Suppose -5*r + 5*q = -15, -r - 3*r + 3*q = -10. Suppose h = -w - 28, 0*w - 2*h - 28 = w. Let c be ((-250)/(-312) - (-21)/w) + 0. Do r and c have the same value?
False
Suppose 5*j = -5*h - 101 - 189, -2*j - 278 = 5*h. Is -50 smaller than h?
False
Let f = 5 - 1. Let t be 14/30 - f/(-20). Do t and 2 have the same value?
False
Suppose -5*w - 33*s = -28*s + 2785, 0 = -w + 3*s - 573. Are w and -559 equal?
False
Suppose -5*m + 0*m = -10. Is 12 less than or equal to m?
False
Let c = -268 + 268.009. Is c > 0.1?
False
Suppose 7 = j - 7*s + 9*s, 3*j + 4*s = 13. Is j less than or equal to -1/404?
True
Let m be (-47)/(-7) + (-10)/(-35). Suppose 3 = 3*a + p, 4*p = -a - 0*a - 10. Suppose -4*k - 3*v + 27 = -2*k, -a*k + 3*v - 3 = 0. Is k bigger than m?
False
Let w = -0.38 + 0.04. Let b = w + 0.24. Is 10 >= b?
True
Suppose 19*x - 184 = -51. Suppose -s + 23 = -2*j + x*j, 17 = -s + 3*j. Let d = 119/3 + -41. Are s and d equal?
False
Let h(t) = t**3 + 5*t**2 - 2*t - 5. Let n be h(-5). Suppose -j - n = b + 4*b, -4 = 4*b - 5*j. Let r be (-2)/22*(0 + 3). Is r greater than b?
True
Let x(q) = -q**2 - 4*q - 1. Let b be x(-5). Let v(f) = f**3 + 12*f**2 + 18*f - 19. Let r be v(-10). Suppose -4*a = 21 - r. Is a greater than b?
True
Let b = 0.35 - 1.1. Let y = b - -6.75. Are y and -1 equal?
False
Let w = -109 + 2181/20. Is w greater than 0?
True
Let x be (-3)/((-2)/(-8)*22). Suppose -4*a - 2*z = -456, a - 69 = -4*z + 52. Let q = 112 - a. Is q < x?
True
Let x = -135 - -69. Let g = x + 724/11. Let b(j) = j**3 + 5*j**2 - 7*j - 6. Let v be b(-6). Which is bigger: g or v?
v
Let k = -41457164019777/30380 - -1364620277. Let v be 6120/(-33418) - 10/110*-2. Let l = k + v. Which is smaller: l or 0?
l
Let g = 478 - 478. Is -4/439 > g?
False
Let h = -3 - -6. Let y = h + -2. Let k = -2746 - -2747. Is k at most as big as y?
True
Let f be -7 - (0 + (-1014)/144). Is -7/3 at least as big as f?
False
Suppose -f - 13*w + 18*w + 19 = 0, f = 4*w + 15. Which is smaller: -18/13 or f?
-18/13
Let p = 15.3 + -2.1. Let y = 13 - p. Which is smaller: 0.01 or y?
y
Let h = 100221 + -802883/8. Suppose 3*c - 66 = -483. Let q = h - c. Which is smaller: q or 1?
q
Let m(h) = 2*h - h**2 - 4 - 2*h**2 + 4*h**2 - 8*h. Let c be m(7). Suppose 0 = -u - c, -5 = -x + 4*u + 8. Which is smaller: x or 1/13?
1/13
Let f = -315 - -43787/139. Let u = f - 1541/834. Which is greater: -1 or u?
-1
Let w = 4.2 + 2.8. Let s = -0.13 - 0.05. Let v = s - -2.18. Which is bigger: w or v?
w
Suppose 64 - 388 = -4*c. Suppose 8*v + 3*y = 13*v - 414, 4*v = -y + 321. Is c > v?
False
Let a be -3 + -2*(3 - (-171)/(-15)). Which is bigger: a or -6/5?
a
Suppose 42 = 3*v + 15. Let j be 329/(-238) + v/6. Let l(x) = -x + 4. Let f be l(3). Which is smaller: j or f?
j
Let j be (4056/(-90) - -8)*-3. Is 112 bigger than j?
True
Suppose 13*a - 5*u - 8 = 10*a, 5*u = 5*a - 10. Which is smaller: -16/49 or a?
-16/49
Suppose 0 = -2*s + 3*d - 6, -3*s - d - 40 = s. Let l = 92 + -90. Suppose 8 = l*v, 3*v = 3*a + v + 14. Which is bigger: s or a?
a
Let k = -0.9 - -4.9. Let y = 4.5 - 4.9. Do k and y have the same value?
False
Let n = -9199/129 + 214/3. Let b(v) = v**3 - 4*v**2 - 6*v + 5. Let u be b(5). Which is smaller: n or u?
u
Let z = 44 + -20. Suppose -4*r - 4*t + 8*t = -z, 5*r = 3*t + 22. Let h be (-2 - -1)/(-6 - -4). Which is smaller: r or h?
h
Let j = -21 + 15. Suppose -2*u - 5*b + 9 = 0, u + 6 = b - 0. Which is greater: j or u?
u
Suppose 0 = 5*s - 2*g + 2, 3*g = -5*s + 3. Suppose 0 = -4*x - x - 4*p - 27, 4*x + 2*p + 24 = s. Which is smaller: x or -3?
x
Suppose o - 1 + 2 = 0. Suppose -3*m = 4*u - 28, -7*m = -2*m - 5*u - 70. Let v be m/10*-1 - -1. Which is greater: v or o?
v
Let v be (-3 + 10 - 3)*2/4. Suppose -v*t - 36 + 72 = 0. Which is greater: 19 or t?
19
Suppose 4*b + 3*c + 2*c = -4, 4 = -3*b - 4*c. Which is greater: 46/9 or b?
46/9
Let o = -8/71 - -817/7881. Is o less than -0.2?
False
Let d = 8.03 - 8. Let c = -0.08 - d. Let p = 806/237 + -216/79. Which is bigger: c or p?
p
Let f be (-114)/(-7) + ((-18)/(-21))/(-3). Let r(h) = h**2 + 6*h + 7. Let u be r(-6). Suppose -u*i + 5*i - f = 0. Is -9 not equal to i?
True
Let u be 16/28*(10 - 3). Suppose -2*a - u*p - 2 = 10, -4*a - 2*p = 6. Let v be (-16)/(-108)*1/(-2). Is v greater than or equal to a?
False
Let z be 5/(-4) - 99/66. Is -3 at most as big as z?
True
Let r(i) = -38*i**3 - 2*i**2 - 3*i - 1. Let g be r(-2). Let k be (-9)/21*(6 - 707). Let t = g - k. Which is bigger: 0 or t?
t
Let x = -105 + 98. Are -3/2 and x nonequal?
True
Let d be 7 + -3 - (-18)/(-4). Let x be 1 + -2 + 216/200. Is x less than d?
False
Let d be (-75)/78*(-7 + -2)/(-9). Is d less than 0?
True
Let s be (-1 - 1537)*2/(-4). Let a = s + -8471/11. Let r = 103 + -103. Is r equal to a?
False
Let o(q) = q - 15. Let f be o(11). Let b be 3*4 - 1/1. Let x(k) = -k**3 + 12*k**2 - 10*k - 16. Let u be x(b). Which is smaller: f or u?
u
Let i(q) = q**2 - 6*q + 7. Let c(d) = d**2 - 5*d + 6. Let l be 16/6 - 1/(-3). Let z(h) = l*c(h) - 2*i(h). Let x be z(3). Is x less than or equal to 1?
False
Let g be -3*1 - (0 - 1025). Let j = -60296/59 + g. Is 0.1 not equal to j?
True
Let u = -131 + 129. Let j be (1*(-3)/2)/(u/(-4)). Is 1 bigger than j?
True
Suppose -84*f + 75*f = -9. Does f = -1/13?
False
Let v = -7 - -7. Let a = -46.89 + -0.11. Let q = -47.5 - a. Which is bigger: v or q?
v
Let n(k) = -8*k + 15. Let p be n(2). Is 2/71 greater than or equal to p?
True
Let u = -18 - -20. Suppose -6*b = -3*b - 3*a - 15, -u*b + 3*a = -13. Suppose 3*o = b*o. Is o less than or equal to 2/11?
True
Suppose -203 + 63 = 14*d. Which is smaller: d or -17?
-17
Let z = 664.3 + -634. Let v = z - 31. Are v and -1 equal?
False
Suppose 0 = -5*p + 255 + 1270. Is 305 at least p?
True
Let w(c) = -c**2 - 2*c + 16. Let o be w(3). Which is smaller: o or 140?
o
Let o = -325 - -309. Is -6 at most o?
False
Let h = -1164 - -1163. Is h greater than or equal to 1/3412?
False
Let u be (2/6)/((-1)/(-3)). Let x be (-630)/2214 - 2/(-6). Which is bigger: u or x?
u
Let n = 418 - 418. Let d = 209 - 2093/10. Is n at least d?
True
Let n = -15 - -10. Let r = -0.191 + -1.449. Let o = r + 1.64. Which is bigger: n or o?
o
Let q(j) = 2*j**2 - 26*j + 49. Let l be q(11). Let w = 16 - 22. Let n be w/(-15) - 98/(-30). Which is smaller: n or l?
n
Let t be (6/(-4))/((-8)/16). Let y be (t/2)/((-6)/8). Let g be 2/(-4) + (-26)/12. Which is bigger: g or y?
y
Let k = 5 + -1. Let h be (3470/40755)/(k/(-5)). Let p = 1/858 + h. Which is smaller: p or 1?
p
Suppose 0 = 5*d + 16 + 9, -4*d = -4*l + 32. Suppose 3*b + 2 = 5*b. Let h be (-2)/(-14)*16/b. Is l <= h?
False
Let r be (-8)/(-20)*125/26. Is 1 at least r?
False
Let g be (-33)/(-22) - (819/2)/(-3). Which is smaller: 137 or g?
137
Suppose 0 = -5*a + 5*i - 2620, -24*i + 19*i = -2*a - 1057. Is -521 >= a?
True
Let x be (10/(-3) - 1)*3. Let b = 2 - x. Suppose 0 = -2*j - b + 7. Is j bigger than -4?
False
Suppose 5*b - 4*b + 2*n = 2, 0 = -4*b + 5*n + 47. Let l be -2 + 164/648*b. Do 0 and l have the same value?
False
Let z(q) = 100*q**3 + 6*q**2 - 6*q + 1. Let c be z(1). Is 101 less than or equal to c?
True
Let y = -770 + 770. Is -60 greater than y?
False
Suppose 3*l + 73 = 7*h - 2*h, 0 = 4*h + 4*l - 84. Let y(k) = -k**3 + 4*k**2 - 3*k. Let r be y(3