m + 22. Let u be t(-4). Let y be ((-9)/u)/(8/(-16)). Which is smaller: -24/11 or y?
y
Suppose 2*y = -3*c - 77 - 5, -3*y + 98 = -4*c. Which is smaller: c or -177/7?
c
Suppose -5*b = -3*o + 20, 38*o - 30 = 37*o - 3*b. Let w(a) = a**3 + 2*a**2 + 2*a + 1. Let y be w(-1). Which is smaller: y or o?
y
Suppose -i - 4 = -3. Let k(b) = -3*b**2. Let d be k(i). Let c be 12 - ((-9)/d - 2). Do 10 and c have the same value?
False
Let z = -0.07 - -7.07. Let l = z + 1. Let w = -0.36 - -0.46. Is l bigger than w?
True
Let j be ((-785)/10)/(29/10 - 3). Let s = 46316/59 - j. Do s and 1 have different values?
True
Let t = 11.94 + -12. Let s = -0.44 + t. Let k = -1.3 - -0.3. Which is smaller: s or k?
k
Let j = -169 - -170. Is j equal to -0.163?
False
Let g = -6 + 4. Let p(z) = -4*z - 25. Let h be p(-6). Let k be h + 0 - (-6 - 85/(-15)). Which is smaller: k or g?
g
Let b(d) = 8 - d**3 - 1 - 6*d**2 + 8*d + 0*d**2. Let h be b(-7). Suppose a - 1 = -h*a. Is -2/47 > a?
False
Suppose -12 + 32 = -2*z. Is -65/6 at most z?
True
Let d = -289 - -291. Which is smaller: d or 19?
d
Let z be ((-62)/(-18))/(104/(-468)). Suppose 4*b - 15 = u, 10 = -3*u - 3*b - 35. Are z and u nonequal?
True
Let j = -40860/91 + 449. Let n(t) = 2*t + 14. Let h be n(-7). Which is smaller: j or h?
j
Let q be 2/((266/3)/7). Suppose -1 = -c + 3*a + 4, -a = c - 17. Let w = -15 + c. Are w and q non-equal?
True
Let d(r) = -r - 7. Let y be d(-10). Suppose 0 = -y*n - 7 + 1, 0 = -3*h + 4*n + 44. Let k be 2/h + 103/(-42). Is -1 equal to k?
False
Let w = 10 + 2. Suppose 16*d = w*d + 28. Suppose 6 - d = -j. Which is smaller: 7/3 or j?
j
Suppose w + 3*j = -0*w - 14, 5*w = -5*j - 40. Let d be 45/(-10) - 1/2. Let l = d - -1. Which is smaller: l or w?
w
Let t be 12/(-30) - (-8)/20. Suppose -r = t, 0*r = -3*q - 4*r. Is q >= -1/38?
True
Let x be 9/15*10 - 19. Which is smaller: x or -4?
x
Suppose -3*b - 8 = r + 4, 3*r + b + 12 = 0. Are 0 and r non-equal?
True
Let d = 17.04 - 17. Let b = -0.06 - d. Which is smaller: 5 or b?
b
Suppose 8*q + 132 = 5*q. Let o = q + 57. Suppose 3*s = k + 1, 5*k - 12 = 3*s + 43. Is k less than o?
False
Let d = -147 + 148. Suppose -8 - 4 = -4*j. Is d less than j?
True
Let v(b) = 3*b**2 + 2*b - 5*b + 5*b - 1. Let j be v(1). Suppose 2*u + 0*u - 5*r = 48, j*u - 86 = 5*r. Is 20 != u?
True
Let h(n) be the third derivative of n**5/20 - 5*n**4/8 + n**3/2 - 13*n**2. Let x be h(6). Is x at most 21?
True
Let l = 2036.914 - -4.086. Let z = 2060.02 - l. Let c = -19 + z. Which is bigger: c or -0.1?
c
Suppose 1 - 5 = -4*b. Let w(a) = -3*a - 3*a - b + a**2 + 5*a + 2*a. Let y be w(0). Which is bigger: -2 or y?
y
Let u = 0.3 - -0.7. Let y = 21 + 32. Let x = -53.12 + y. Which is smaller: u or x?
x
Let p = -32 + 52. Suppose 3*j + p = 7*j. Let s be (-41 - 3)*j/(-20). Is 10 at most as big as s?
True
Let a(s) = -6*s**2 + 8*s - 45. Let z be a(-10). Which is bigger: -724 or z?
-724
Let d be 2 - ((-3 - -3) + 0). Suppose 2*h = -3*w + 92, -d*h - 1 = w - 93. Which is bigger: 47 or h?
47
Let q(a) = -25*a - 7. Let d be q(2). Let h = 31 + d. Which is smaller: -28 or h?
-28
Let y = 5 + 1. Let x be (y - 6) + (-98)/(-2). Let q be 84/x*14/4. Is q less than 7?
True
Let c(p) = -p**2 + 10*p + 170. Let x be c(19). Which is greater: x or -2/3587?
-2/3587
Suppose 12*c + 540 = -552. Let w be 14/c + (-53)/(-260). Let b(f) = -f**3 + 8*f**2 - 8*f + 8. Let n be b(7). Which is smaller: n or w?
w
Let l = 59 - 56. Let v be l/(-6) - 7/10. Let n(i) = i**3 - 7*i**2 + 7*i - 8. Let y be n(6). Which is smaller: v or y?
y
Suppose 50 - 2 = 2*l. Suppose -50 = l*b - 19*b. Let o be 3 - (-3 - 72/b). Is o greater than -2?
True
Let v be (29 + -9)*(-1 - (-13)/4). Let s = -46 + v. Which is bigger: -27 or s?
s
Let b = -21 - -9. Suppose 10*x = 15*x + 130. Let w = 15 + x. Which is greater: b or w?
w
Let w be (53/371)/((-1)/(-254)). Is 37 less than or equal to w?
False
Let c(v) be the first derivative of v**4/4 - v**3 + 3*v**2/2 - 3*v + 7. Let n be c(3). Let h be (-3)/18 + (-83)/n. Is -14 at least h?
True
Let n be 3/(-15)*-26 - 20/5. Is -4 at most as big as n?
True
Let m = -1 - -8. Let z(h) = h**3 - 7*h**2 + h - 2. Let u be z(m). Is u greater than 8?
False
Suppose 2*b + 3 = -4*i + 5*b, 5*b - 31 = -2*i. Let a = i + -2. Is 5/11 < a?
True
Suppose 8*o - 1 = 23. Which is smaller: o or 9?
o
Suppose -2*l + 9 + 15 = 0. Suppose 5*c - 3*f + 2 = -l, -3*f = -3*c - 6. Suppose 3*w = 3, 0*b + 3*w - 6 = b. Is c smaller than b?
True
Let q(w) be the first derivative of w**2/2 - 13*w - 11. Let p be q(15). Let t(x) = x**2 - 10*x + 1. Let z be t(10). Are z and p equal?
False
Suppose 0 = -3*t - 2*v + 13 - 8, -4*t = 3*v - 8. Are t and -2/723 equal?
False
Let q = 24 - 136. Which is smaller: -113 or q?
-113
Let z = 30 + -30. Suppose m = -z*m + 13. Let q = -38/3 + m. Which is bigger: q or 7?
7
Suppose 450 = -9*d - 369. Let v = -91 - d. Is -20/19 less than or equal to v?
True
Suppose 19*n = 20*n - 27. Is n greater than 30?
False
Let n be (8/10262)/(5*(-26)/(-455)). Do 1 and n have the same value?
False
Suppose -2 = -2*z + 2. Let g be z*(2 + -1 + -2). Suppose -5*f - 3 = -2*t, -6*t + t = f + 6. Does g = f?
False
Let b(q) = 5*q**2 + 82*q - 50. Let v be b(-17). Is v at least as big as -3/14?
True
Let u = -64.53 - 1.47. Let v = 70 + u. Is v at least as big as 4?
True
Let y(n) = n + 16. Let i be y(0). Suppose 0 = -5*z + 3*z + v - 8, 2*z = -v - i. Let b(d) = d + 8. Let q be b(z). Which is bigger: -1 or q?
q
Let m = 164 - 655/4. Let s = -0.09 - 5.91. Is m greater than or equal to s?
True
Let v be 1 + 1/572*-556. Is -2 at least as big as v?
False
Let z(p) = 2*p + 2. Let w be z(-4). Let o be -3*2/w*-5. Suppose v - 7*j = -3*j - 16, -j - 9 = 3*v. Do v and o have the same value?
False
Let s = 7 - 6. Let z = 24 + -30. Let c be z/(-18) + (-5)/6. Which is bigger: c or s?
s
Let y = 2543/5 + -511. Suppose -5*b + 0*b = 0. Suppose 3*p + 23 = -4*a, 3*a + b*p - 3*p = 9. Is y < a?
True
Let b be 10/35 - 26/(-7). Suppose 0 = b*n + 12 - 0, -2*n + 18 = -3*r. Let q = -1 - r. Which is greater: q or 6?
q
Let w = 0.48 + -0.18. Let z = 0.2 - w. Let q = -1.6 + 1.47. Do q and z have different values?
True
Let o be 0 + 1/(-5) + (-4440)/(-22575). Let m = 6/43 - o. Let z = 0 - -1. Is m smaller than z?
True
Let w = 792 + -974. Is w bigger than -182?
False
Suppose -32*n = -185 - 295. Which is bigger: -13 or n?
n
Let w(i) = 1 + 3 - 6*i + i**2 + 6*i. Let t be w(0). Let a be (t/2)/(-1 + 3). Which is smaller: -1/3 or a?
-1/3
Let p = -538 + 529. Is -18 greater than p?
False
Let j = -27 + 26.6. Let o = 0.6 - j. Is o not equal to -0.3?
True
Let f = -0.06 + 0.063. Let t = f - 1.003. Is 4 equal to t?
False
Let i be (-62)/12 - (-3)/(-9). Let u = 64 + -48. Suppose 10 = -l - 3*o, 4*l - 5*o = l - u. Is l not equal to i?
True
Let c = 1166 + -1081. Which is smaller: c or -1/6?
-1/6
Let d = 1467 - 1511. Is d at least as big as -47?
True
Let c = 35.7 + -34.65. Is c less than -1?
False
Suppose 0 = -2*v - 4*j + 4 + 6, -v + 11 = 4*j. Suppose -2*g = y - 10, 4 = 4*y + 2*g - 36. Let m be (-4)/y - 38/(-45). Is v greater than m?
False
Let b be 1*-17 - (-12 + 5 - -5). Suppose 0 = -d - 4, -6*w - 307 = -11*w - 2*d. Suppose w = p - 6*p - 4*y, p = -5*y. Does b = p?
True
Let w = -44 + 42. Let y = 8.6 - 14. Let t = -5 - y. Which is smaller: w or t?
w
Suppose 0 = -y - 17 + 42. Suppose 2*b - 4*b + 4*r = -18, 5*r + y = 0. Is -2/7 less than or equal to b?
False
Let n = 0.32 + -0.45. Is -1/4 greater than n?
False
Let q be 6/(-4) + 52/(-8). Let r be q/6 - (-68)/42. Which is smaller: r or -0.3?
-0.3
Suppose -4*k + j = -6, -3 = -5*j + 7. Suppose 4*o - 294 = 5*t + 22, -k*o + 128 = 5*t. Let y = o - 1112/15. Is -1 smaller than y?
True
Let f = 36325/49898 - 1012804061/120154384. Let m = f + -9/688. Is m != -9?
True
Suppose 4*p = -h + 15 - 0, -4*p = 5*h + 5. Let i(y) = y**2 + 4*y - 4. Let k = 13 + -17. Let u be i(k). Which is bigger: u or h?
u
Let c = 98.942 + -99. Let l = -10.942 + c. Let x = -22/9 - -53/18. Which is smaller: x or l?
l
Let d = -8 - -8.04. Which is bigger: d or 3/7?
3/7
Suppose 18*a - 9 - 9 = 0. Which is smaller: 15/22 or a?
15/22
Let h be (0 - 48)*1/2. Let k(w) = -w**3 + 5*w**2 + 13*w + 7. Let b be k(7). Let v be 3/h*2 - b. Is v equal to 1?
False
Let z = -8 + 7. Let g = 0.18 + -0.12. Let q = -0.04 - g. Is z at most q?
True
Let n be ((-18)/(-15))/((-