t f be -1 + 0 + (-7 - -4). Let x = 19 + f. Let v = x - 8. Which is greater: v or 1?
v
Suppose 0 = -40*j + 42*j - 4*a + 578, -1156 = 4*j + 5*a. Is j < -866/3?
True
Let l = 17/62 + -3/124. Which is bigger: -263 or l?
l
Let f = -1 - -2. Suppose 13 = 4*l + 5*c, 3*c - f - 2 = 0. Let o be l + 2/11 + -2. Is o smaller than -1?
False
Let q = 3 + -5. Let r = q + 10. Suppose -4*x - r = -28. Are x and 5 equal?
True
Let v be (-10)/(-4)*(-24)/(-30). Let b = 76 + -71. Suppose 2*m - 2*p = -14, b*m + 5*p + 0 - 15 = 0. Which is greater: v or m?
v
Suppose -r + 4*r = -2*x + 35, -2 = -2*r + 4*x. Let n be ((-7)/(-21))/((-3)/r). Let c = 11/410 + 3/41. Is c equal to n?
False
Let t(a) = a**2 + 4*a - 12. Let l be t(-5). Let c = -2 - l. Let w = 5 - c. Which is smaller: -3/19 or w?
-3/19
Let y(a) be the first derivative of a**4/4 + a**3 + a**2 + 2. Let n(o) = o**3 + 9*o**2 - 11*o - 12. Let u be n(-10). Let p be y(u). Is p at least 4?
False
Let w = -152 - -151. Let o = -56.71 + 57. Let p = o - 18.29. Is w less than or equal to p?
False
Let h = 391/4 + -100. Are h and -1 non-equal?
True
Suppose -q - 5*q = -78. Let k = 11 - q. Let w = -0.2 + -0.8. Is w equal to k?
False
Suppose -y + 4 + 6 = -2*b, -3*b - 15 = -3*y. Is y at most -3/488?
False
Let b be 108/1860*10/12. Are -1 and b nonequal?
True
Let z be (25/5)/5*-1. Which is smaller: -1/302 or z?
z
Let j(c) = -c**3 - 12*c**2 - 13*c - 20. Let p(o) = -2*o**3 - 13*o**2 + 10*o + 10. Let n be p(-7). Let i be j(n). Is 3 equal to i?
False
Let z(h) = 14*h - 9. Suppose 4*l = -2*r + 4*r - 42, 5*l + 3*r = -36. Let c be z(l). Let m be (-10)/(-45) - (-273)/c. Is -3 <= m?
True
Let u be 7/(-6) + 2/4. Suppose -4*w - 23 = -a - 290, 4*w - 4*a = 276. Let n be 10/(-55) - 21/w. Which is greater: n or u?
n
Let h = 9 - 10. Let w = h - -1.7. Let b = w + -0.4. Which is greater: -4 or b?
b
Suppose 2*i = 5*i - 18. Let w(n) = -n**2 + n + 5. Let r be (-6)/33 + (8/22)/2. Let g be w(r). Are g and i equal?
False
Let d(f) = f**3 + 32*f**2 - 32*f + 39. Let i be d(-33). Let l be ((-2)/24)/(115/15). Let c = l + 6/23. Are i and c non-equal?
True
Let q(z) = -z**3 - 11*z**2 + 17*z - 21. Let c be q(-13). Suppose 5*d + g + 123 = 0, 0 = 3*d - g + c - 19. Which is greater: d or -2/5?
-2/5
Let b be (-3)/(6/(-4)*(9 + -8)*-2). Let d = -1 + 0. Is b at most d?
True
Let x be (-12)/16 - (-15)/4. Suppose 0 = -0*f - x*f - 36. Let l be 0 - (-2 - 27/f). Is l less than or equal to 1?
True
Suppose 5*g - 10 = -0*g. Let j(b) = -5*b + 5. Let n be j(g). Which is smaller: n or -9/2?
n
Let d be (-4)/((-12)/27) + -1. Suppose -d = -n + 30. Let b = n + -54. Which is bigger: b or -15?
-15
Let w be ((-630)/75)/(1/(-15)). Let a be 8/(-12) + 120/w. Is a bigger than -50?
True
Let t be 219*(-1)/(-3)*1. Let b(p) = p**2 + 9*p - 213. Let z be b(-22). Are z and t equal?
True
Suppose 3*t = -g + 15, g = -6*t + 2*t + 19. Suppose -36 = t*y - 2*r, y + 3 = 3*r - 1. Which is greater: y or -3?
-3
Let m = 40 + -20. Let h = 26 - m. Let d be (2 - h) + 0 + 17. Is d <= 13?
True
Suppose -3*u = g - 148, -2*g - 13 - 34 = -u. Suppose -3*d = 5*q - 5*d + u, 0 = -q + d - 11. Which is greater: -10 or q?
q
Suppose -y - 3*q = -3, -2*y - 2*q - 24 = -6*q. Let x(i) = i**2 + 18*i - 5. Let t = -29 - -11. Let m be x(t). Are m and y nonequal?
True
Let d = 134 + -133.11. Let z = -0.02 + 0.13. Let n = d + z. Is n smaller than -0.1?
False
Suppose 9*r = 6*r + 7*r. Does r = -14/101?
False
Suppose 0*f = -5*q + 5*f + 310, 0 = -3*q + 2*f + 188. Let m be q/(-612) + (-8)/(-36). Which is smaller: 0 or m?
0
Let f(w) = -w**2 + 10*w + 2. Let h be f(10). Let x = -4 - h. Let n be (-2)/x + (-86)/6. Which is smaller: n or -13?
n
Let a = 2391 - 2324. Which is greater: 1 or a?
a
Suppose 21*z - 242 = -4484. Which is smaller: -200 or z?
z
Let p = 8 + -4. Suppose 2*v - p*a = -a - 11, 2*v + a = 1. Suppose -18*d = -89 + 71. Is d < v?
False
Suppose 364*j = 369*j + 5. Let c be ((-8)/30)/((-42)/(-9)). Which is bigger: j or c?
c
Let c be (-390)/42 - (8/14)/(-2). Let j be (3/c - 0)*(4 + 11). Which is smaller: j or -4?
j
Suppose -3*v + 8*v = 30. Let l(i) = -9*i**2 - 117*i + 6. Let y be l(-13). Is v at least y?
True
Suppose 22*a + 1029 = -1479. Is a less than -115?
False
Let b = 76 - 48. Let w = b - 25. Which is smaller: w or 0.3?
0.3
Suppose -11*d + 4*d = -14. Are 13/18 and d equal?
False
Let m be 2/4 - 6/(-4). Let j = m - 0. Let v be -1*((-3)/12 + 3/(-4)). Is j bigger than v?
True
Let n(i) = -i**3 - 11*i**2 + 44*i - 12. Let r be n(-14). Which is smaller: r or -39?
r
Let y be (0/(-3))/(-1 - -4). Are 4/85 and y equal?
False
Let w = 21 + -12. Suppose 5*i - 25 - 20 = 0. Let l be 150/(-12)*2/((-30)/i). Is w greater than l?
True
Let s(j) = j**3 - 6*j**2 - 8*j + 10. Suppose -7*k = -11*k + 28. Let m be s(k). Let i be -2*(-260)/(-176) + m. Is i not equal to 1?
True
Let x = 8 + -5. Suppose p - x*p + 2 = 0. Let o = p - 8. Which is bigger: -8 or o?
o
Suppose 2*z - 13 = -3*n, 51*n - 54*n - 3 = 0. Is z != 13?
True
Let p = -16 - -15. Let a be (-204)/(-4)*(2 + p). Suppose 2*w = -a + 15. Are w and -17 non-equal?
True
Let h be (11 - 11)/(1*2/(-2)). Let u be (-1)/(-3) - 70/(-6). Suppose -4*k + u = -h*k. Which is smaller: 2/9 or k?
2/9
Let g be ((-24)/16 + 0)/((-3)/2). Let q(a) = 15*a**3 + 2*a**2 - 1. Let f be q(1). Let k be 4/f + 15/4. Is g < k?
True
Let h be 144/(-4)*-2*20/6. Which is greater: h or 242?
242
Let g(p) = -p**3 + 13*p**2 + p - 18. Let j = -108 - -74. Let w = j - -47. Let u be g(w). Do u and -5 have the same value?
True
Suppose 0 = -9*m + 5*m - 12, -x + 2*m = 746. Which is bigger: -751 or x?
-751
Let r be (549 + -1)/2 + -4. Which is greater: 271 or r?
271
Let x = -20.4 + 171.4. Let t = x - 150.9. Let y = 5.2 + -0.2. Are t and y non-equal?
True
Let z = 0.13 - -0.01. Let t = -1.86 - z. Let k = -2 - 0. Is t bigger than k?
False
Suppose -3*k + 11 = 14. Let z be (-7 - -7) + -1 + k. Let y = -211/35 - -45/7. Which is smaller: y or z?
z
Let p be 10/20*(-8)/1262. Are 1 and p unequal?
True
Let d = 58476/58073035 + 2/31105. Is -1 at least as big as d?
False
Let j = 32 - 60. Let f = j - -27. Is f at most as big as 2/101?
True
Let n(s) = s**2 + 6*s - 2. Let m be n(-7). Suppose -m + 11 = 2*b. Suppose -b + 4 = k. Which is greater: k or 2?
2
Suppose 2*i + 4*p - 10 = 3*i, -4*i + 5*p + 15 = 0. Suppose -32 - 346 = -42*n. Is i greater than n?
True
Suppose -3*y + 21 = -t - 130, 4*y - 202 = t. Let g = y - 87. Which is bigger: -35 or g?
-35
Let r = -17/28 - -3/4. Let v be (1/14)/(3/42). Which is smaller: v or r?
r
Let w = 52 + -47.9. Let l = -4.9 + w. Which is greater: 3 or l?
3
Let s(b) be the first derivative of -b**2/2 - 2*b - 1. Let c be s(-4). Suppose 9*v - 10 = 4*v. Is v less than c?
False
Let g(v) = -v**3 + 5*v**2 - v - 7. Let h be g(4). Let j = h + 3. Let f be -2*(-1 + j/6). Which is smaller: -2 or f?
-2
Suppose -2691 = 40*r + 1589. Which is bigger: r or -110?
r
Suppose 79*q - 68*q = 44. Which is smaller: -5/2 or q?
-5/2
Let r be (-12)/7 - (-4)/(-14). Let f = -8.3 - -9.22. Let p = f + -0.02. Is r greater than p?
False
Suppose 2*n - 3*i = 7, 4*i = 2*n - 0*i - 10. Let b be (-4)/4 - 279/(-285). Let o = 87/380 - b. Is n at most as big as o?
True
Let b = -1 - -9/7. Let v be (0 + 5/2)*-2. Let x = v + 6. Do x and b have the same value?
False
Let o be (2 + 14)/(8/12). Let y be 10 + (-4 - o/(-4)). Suppose -y = u + 3*w, w - 10 = u + 3*w. Which is smaller: -5 or u?
u
Let d be -1 + ((-831)/(-495) - 6/45). Let f = 14 - 13. Is f at least as big as d?
True
Let a be 3*40/(-80)*(-4)/1506. Which is greater: a or 1?
1
Suppose 0 = 4*a - 2*l + 4, -3*a + 4*l = -8*a - 31. Suppose 2*w - 4*b + 4 + 62 = 0, -w = b + 21. Let k = w - -21. Is a at least as big as k?
True
Let p(x) = x**2 - 2*x. Let m be p(6). Let r be (12/10)/(m/(-400)). Let h = 20 + r. Which is smaller: h or 1/5?
h
Let a = -244.8 + 245. Is 0.164 at most as big as a?
True
Let a = 0.9 + -1. Let x = -1.54 - -1.49. Which is smaller: x or a?
a
Let b = 0.251 - 0.041. Let t = 7460 - 7462. Is t not equal to b?
True
Let u be (16/40)/((-22)/10). Which is smaller: 0 or u?
u
Suppose -159 = -2*c + 61. Suppose 10*n - 30 = -c. Which is bigger: n or -0.8?
-0.8
Suppose 8 = -3*z + v - 5, 4*z + 5*v - 8 = 0. Let y be (8/(-5))/(-7 - (-111)/15). Are z and y equal?
False
Let s = -591 - -590. Is 10 at least as big as s?
True
Suppose b - 5*b = -4. Suppose -11 =