alse
Let x be -64 - ((8 + -5 - 1) + -3). Which is greater: -59 or x?
-59
Let l(d) = -d**2 + 10*d - 3. Let i be l(10). Let m be 1 + i + 4 - 2. Let n be (m/(-2))/(10/5). Which is greater: n or -1/6?
n
Let q(g) be the first derivative of -g**3/3 + 9*g**2/2 + 9*g - 2. Let a be q(9). Which is greater: 8 or a?
a
Let f be 0 - 4 - -3 - -11. Let b be ((-8)/f)/((-9)/(225/10)). Suppose -7 = -3*a - 1. Is a at least b?
True
Let p = -7747/3 + 2577. Let i = -5/2 - -3. Which is smaller: i or p?
p
Let g(v) = v**3 + 3*v**2 - 27. Let b be g(-6). Let f = b - -821/6. Is 0 > f?
False
Let h(w) = -w**3 - 2*w**2 + 2*w - 2. Let r be h(-3). Let s be 6 + ((-1764)/(-3885))/((-6)/80). Is s <= r?
True
Let k = 404 - 396. Let x(n) = n**2 + n - 4. Let g be x(-4). Is g < k?
False
Suppose 2*y = -2*y. Let p = -368 + 16191/44. Are p and y equal?
False
Let l = 6730 + -6757. Let w(h) = h**3 - 2*h**2 + h - 1. Let c be w(2). Let q be 3/c*(-2 - 7). Is l at most as big as q?
True
Let g = -26 + 28. Suppose -2*k + 34 = g*r, 2*k + 2*k - 53 = -3*r. Which is bigger: r or 14?
r
Let h be (-142)/(-2)*5/1015. Let v = -3/406 - h. Are v and 1 equal?
False
Let g = -27 - -40. Suppose -4*x - 58 = 2*w, 3*x = 2*x + 5*w + g. Is -10 <= x?
False
Let z be 1640/(-48) + 36/24. Is z > -33?
True
Suppose 2*g + g = -x + 36, 0 = -g + x + 12. Let o be (g/(-5))/(16/120). Is o bigger than -17?
False
Let s = -9 + 11. Suppose 3*p - s*y = 16, -2*p + 2*y - 4*y + 24 = 0. Let o = 395 - 390. Which is greater: p or o?
p
Suppose -2*q = -4*p - 6, -q + 3*p = 3 - 6. Let f be (q + -5 + 2)/1. Let t = -18/11 - -17/11. Is t >= f?
False
Suppose -4*c - 2*t = 22, -3*c - t + 4*t = 3. Let x(g) be the third derivative of -g**5/60 - g**4/6 - g**3 - 7*g**2. Let o be x(c). Which is smaller: -5 or o?
o
Suppose -4*z - 5 = -1. Let d = 82912 + -1415932/17. Let u = -378 - d. Which is smaller: z or u?
z
Let o be 2/6 - (-17762)/(-249). Is o greater than -69?
False
Let p be (-1274)/(-5976) - 40/180. Which is bigger: -1 or p?
p
Let z = 159 - 159. Is z bigger than -2/7?
True
Let z = -6 + -5. Let f = -10 - z. Suppose -2*g = 2*q - 10, -2*q + 7*q - 15 = 5*g. Is f at least as big as g?
True
Let z = -30.3 + 31. Let w = -0.6 + z. Which is smaller: w or -9?
-9
Suppose -338 = 5*a + 3*w, -2*a - a - w = 202. Let k = 67 + a. Which is greater: -1/164 or k?
k
Let h(d) = -45*d + 12*d**2 - 34*d + 23 - 31*d - d**3 + 93*d. Let a be h(11). Which is bigger: a or 1?
1
Let p = -2 - -1. Suppose -5*j - 3*b - 2295 = -0*b, 3*j + 1383 = -3*b. Let f be (-1)/6 - (1 + 484/j). Which is smaller: p or f?
p
Let r = 285 + -279.8. Is r greater than 3?
True
Suppose 3*s = -15, 2*s = 4*v + 28 + 30. Suppose 4*o = -68 - 156. Let d = o - -39. Is d bigger than v?
False
Let p = -119 - -120.58. Let w = 5.32 + p. Let x = w - 7. Are 0.07 and x non-equal?
True
Let s = -12041/946 + 1/946. Which is greater: s or -12?
-12
Let z(f) = f**2 - 6*f + 7. Let d be z(4). Let t be d/4 - (5505/1164 - 5). Is t greater than 1?
False
Let r be 12213/483 - (10 + -1). Which is smaller: 3 or r?
3
Let i = 744 - 516. Let a = i + -4790/21. Which is bigger: a or -1?
a
Suppose -3*h = h - 28. Let p(f) = 4*f - 10. Let x be p(h). Is x at most 17?
False
Suppose 27*t - 269 = 514. Let m = -0.2 - 0.8. Are t and m equal?
False
Let r = -9 - -19. Let a be (-5)/20 - r/(-8). Suppose 0 = 4*d + a - 5. Is d smaller than 1?
False
Let b = 198 + -200. Is b at least as big as 0?
False
Let r = 33.9 + 7.1. Let h = -40 + r. Which is bigger: h or 1/20?
h
Let g = 679/1467 + -3/163. Let u(l) = l. Let a be u(4). Let q be (-9)/(-7) + a/(-14). Which is greater: g or q?
q
Let w = -45965/43 - -1069. Let a(d) = -d - 2*d - 7 + 2*d. Let o be a(-6). Which is greater: w or o?
w
Let c be -4 + 77/14 + (-510)/(-4). Which is greater: 128 or c?
c
Suppose -2*l - 3*l = 270. Let s = 20 + l. Let n be -2 - (30/s + -1). Are 0 and n nonequal?
True
Let o = -117 - -114. Is o > -44/19?
False
Let v = 98.88 + 8.12. Is -1 equal to v?
False
Let f be -10*-1*2/5. Suppose m = 4*k - k - f, 3*k + 4*m = 29. Suppose 4*w - 2 = 5*c - k, w - 4 = -3*c. Is w at most 4/9?
False
Let q = 1/555 + -1157/26085. Which is bigger: 0 or q?
0
Suppose -2*x - x = 0. Suppose -n + 16 = -4*h, 2*n - 4*h + 1 = 29. Let k be (n - 13)*4/(-42). Which is bigger: k or x?
k
Let h = -1858/159 + 35/3. Suppose -32*y - 4*d - 11 = -35*y, y = 3*d + 7. Which is bigger: h or y?
y
Let u be 8/(-1 + (4 - 1)). Suppose -5*x - u*v - 118 = 0, v + 4*v + 11 = -x. Is x <= -26?
True
Let h = 1.8 + 0.2. Let d = 912 + -913. Is h less than d?
False
Suppose -14 = -5*p + 6. Suppose p*t - 9 = -1. Suppose 0 = -y - 3*j, -5*y = j + t*j. Is 2/9 < y?
False
Let l = 812 - 788. Which is greater: 13 or l?
l
Let q(i) be the second derivative of -i**3/2 - 43*i**2/2 + 10*i. Let z be q(-14). Is 28 bigger than z?
True
Let b(k) = k**2 + 11*k + 4. Let r be b(-11). Suppose -5*g = -g + 4*j - 12, r*g + j = 21. Let x be -1*(-2)/g*0. Is -1/5 smaller than x?
True
Let f = 0.25 - 0.05. Let x = f + 0.8. Let u = -81 - -86. Which is bigger: x or u?
u
Suppose 3*h + 22 = 5*h. Let u(x) = -x**3 + 10*x**2 + 11*x - 14. Let l be u(h). Which is greater: -15 or l?
l
Let t be (-4)/7 - 36/(-14). Suppose 5*h + 5*m = 135, 23 + 31 = t*h + 3*m. Let l be ((-12)/10)/(h/90). Does -3 = l?
False
Let f(x) = -x**2 - 4*x + 48. Let o be f(-9). Is o greater than 18/7?
True
Suppose 0 = -4*p + v + 802, p + 2*p - 599 = 2*v. Is 201 greater than p?
False
Suppose 0 = -6*b - b + 7. Suppose 0 = 8*a + 9 - b. Suppose 1 = -4*j - 11. Which is smaller: j or a?
j
Let q(g) be the third derivative of g**6/120 + g**5/12 - g**3/3 - 4*g**2. Suppose -2*t = t + 5*v + 5, t - 2*v + 9 = 0. Let a be q(t). Is -1 equal to a?
False
Let j(s) = -s**3 + 5*s**2 + 3*s - 8. Let d be j(6). Let t(v) = -v**2 - 24*v + 58. Let i be t(d). Is i > 36/7?
True
Let b be 1 - (23 + -23)/(3 + -1). Which is bigger: 9/91 or b?
b
Let z = 0.2 + -0.4. Let p = 16/3 + -5. Do z and p have different values?
True
Let d be (-1)/(-2) + -22*(-17)/748. Is d >= 1/1600?
True
Let v = 1520 + -28915/19. Which is smaller: v or -1?
v
Suppose -12*n + 4*n = 8. Let u(x) = x**3 - 5*x**2 - 6*x + 3. Let y be u(6). Let f be 40/(-84) - (-1)/y. Which is bigger: n or f?
f
Suppose -k + 3 = -1. Let y be k/(-30) + (-522)/135. Let m be (-1)/((28/(-12))/(-7)). Which is smaller: y or m?
y
Let r = 9/2 + 13. Let y = r - 18. Is y greater than 0?
False
Suppose 94 = -3*z + 70. Are z and -8 nonequal?
False
Let u(t) = -3*t**2 - 3*t + 2. Let d be u(-4). Let q be ((-1)/4*d)/1. Which is smaller: 10 or q?
q
Let d be -2 + (-3 - 0)/(-15). Suppose -2*i - 4 = -0*i. Let l = i - d. Is l at least -2?
True
Let m be (6/9)/((-8)/36). Is m <= -6?
False
Let s(w) = -w**3 + 7*w**2 + 3*w - 3. Let f be s(7). Suppose 2*d = -d - f. Let v be -3 + 2 - 3*(-3)/(-9). Which is bigger: d or v?
v
Let m = -42.4 - -29.4. Is m bigger than 1/9?
False
Suppose 20 = -5*y - 0*y, -2*c - 4*y + 94 = 0. Let o be (-166)/(-3) - 10/20. Let l = o - c. Which is smaller: l or -1?
-1
Let v = -108 - -138. Suppose -2*l + 11 = -51. Is v at most l?
True
Suppose 0 = -38*r - 50 + 12. Which is smaller: r or -2/1935?
r
Suppose 0 = -4*g + 162 - 70. Which is smaller: -4/9 or g?
-4/9
Let m be 3 - (-2)/(-4)*0. Let k be (-910)/(-420) - 2/12. Which is smaller: k or m?
k
Let c be ((-15)/(-6) - 3)*594448/(-488). Let p = 609 - c. Is 0 at least as big as p?
True
Let g be 7 + -3 - (-9 - (0 + 174)). Is 188 equal to g?
False
Let v be (1 + 1)*1*26/(-4). Is v > -94/7?
True
Let f = 160 + -79. Suppose 0 = -4*o - 25 + f. Let v = -13 + 27. Is v > o?
False
Let m = 16580 + -16583. Let p = -675 + 11479/17. Is m >= p?
False
Let y = 112141/344 + -326. Is 1 < y?
False
Let r be (-6)/(-4) + (-567)/18. Let t be r/195 - 152/26. Let z(d) = -d - 2. Let o be z(t). Does o = 4?
True
Suppose 7*d + d = 7*d. Let f be ((-3)/(-20))/((-10)/(-75)). Which is greater: f or d?
f
Let h = 67 - 28. Let a be h/(-2)*8/6. Which is smaller: -25 or a?
a
Let o = -649/119 - -39/7. Suppose 0 = -5*m + 3*p + 40, 2*p = -10 - 0. Suppose -m*l + 21 = 4*z, -z + 5*l - 20 = -6*z. Do o and z have different values?
True
Let b = 55120/21 + -2625. Which is smaller: 0 or b?
b
Let f = 1254 - 950. Is 302 equal to f?
False
Let s be (2216/560 + (-4)/(-10))*2. Is 8 >= s?
False
Let w be (16 + 2)/(-3)*(-3)/6. Suppose w*l - 2*n - 2 = -23, 2*l = 2*n - 14. Let m(u) = u**2 - 6*u - 1. Let r be m(5). Is l at