78)/(-240)) - (-1 + -3). Which is smaller: -27 or y?
y
Let v = -5 - -4. Let f be ((-18)/4)/((2/v)/(-12)). Which is smaller: -28 or f?
-28
Suppose -28*q + 1509 = 137. Is q at least as big as 43?
True
Let y = 121 - 229. Is -107 less than or equal to y?
False
Let i(t) = t**2 + 2*t - 2. Let w be i(1). Suppose 4*o = 3*o + 10. Let l be (4/(-30))/((-12)/o). Which is bigger: w or l?
w
Let q = -45 + 629/14. Suppose 7*i - 32 = 3*i. Let t(l) = -l**2 + 7*l + 8. Let j be t(i). Which is smaller: q or j?
q
Suppose 2*s = -4*o + 16, -5*o - 4*s = -16 - 7. Suppose -o*x + 12 = -3*f, 0 = -5*x - 2*f - f + 12. Do 1 and x have the same value?
False
Let w = -130/31 + 749/186. Let f = 0 + 0. Let g be -1 + (0 - f) + 2. Which is bigger: g or w?
g
Let y be (-4)/((-90)/9*(-2)/(-15)). Suppose -i - y - 33 = 0. Which is bigger: -37 or i?
i
Let v be -2 + ((-30)/(-2))/5. Let m be (-3)/(-6)*(v + -1). Is m at least as big as 2/37?
False
Let x be 0/2 - (-6 + (-7)/(-1)). Let u be ((-27)/(-15) - 2)*(-12 - x). Is u at most as big as 2?
False
Let v be 1*((-42)/(-2))/3 - 2. Which is bigger: v or -3?
v
Let j be ((-3)/2)/(21/(-28)). Let s(h) = 10 - h + h**2 + j*h + 3*h + 5*h. Let k be s(-8). Which is smaller: 3 or k?
k
Let f(b) = -2*b**2 + 3*b. Let t be f(7). Is t bigger than -80?
True
Let c(t) = t - 18. Let s be c(-9). Let l = s - -28. Are -2/17 and l nonequal?
True
Let w = 0.13 - -0.11. Let g = 2.76 + w. Let u = 2 + -2.1. Which is bigger: u or g?
g
Let f(g) = 4*g**2 + 9 + 11*g - 3*g - 13 - 3*g**2. Let d be f(-8). Are -7 and d unequal?
True
Let o be 29*1*(119 - 122). Which is greater: o or -2/5?
-2/5
Let j be (3 + -1)*((-680)/56 + 11). Which is bigger: j or -1?
-1
Let y(s) = -2*s**3 - 76*s**2 - 74*s - 7. Let n be y(-37). Let b = -8 - -3. Which is bigger: n or b?
b
Let g = 3/133 + -10/323. Let d be (-342)/(-66) + -4 - 2/11. Is g not equal to d?
True
Suppose -3*r = -3*d + 10 - 13, -5*r = 4*d + 13. Which is greater: r or 4/305?
4/305
Let y be 12317/1635 - (-6)/(-5). Let s be (-45)/(-6)*4/5. Do s and y have different values?
True
Suppose -16 = -4*w, -3*i + 19 = 5*w - 1. Suppose 5*q + 2*o - 156 = i, -q + 2*o - 96 = -4*q. Does q = 30?
True
Let k = -36 + 27. Let g = -13 + 8. Let q = k - g. Do q and -3 have the same value?
False
Let p = 55170 + -661649/12. Let u = -97/4 + p. Is u not equal to 9?
True
Suppose 0 = -0*l + 4*l + 3*j + 10, 0 = -2*l - 4*j - 10. Which is smaller: -2/1563 or l?
l
Let z = -53 - -89. Which is bigger: 0.4 or z?
z
Let f = -33 - -32.9. Suppose -5 = 5*c + 5*k + 25, 0 = -5*k. Let u(z) = -z**2 - 6*z - 11. Let s be u(c). Which is bigger: f or s?
f
Suppose -3*x + 7 = -5. Let f be 17/x + (13 - 16). Are f and 2 unequal?
True
Let i = 4.763 - -0.037. Let z = i - 5. Is z at most 6/13?
True
Let r = -62 - -73. Let l be (r - 11)/(1 - 3). Is l bigger than -3/5?
True
Let d be 10 - 1/(-2)*2. Suppose -4*j = -j + 5*u + 1, -2*j - 3*u = 0. Let p be ((-8)/44)/(j + (-111)/33). Which is greater: p or d?
d
Let l = 44.5 + -5.5. Let i = l - 40. Is 35 > i?
True
Let t = 301.2 - 268. Let a = -33 + t. Which is smaller: a or 11?
a
Suppose 0 = 6*q + 52 + 56. Is q != 2/19?
True
Let p = 2943 - 20607/7. Suppose 0 = y + 5*q - q - 2, -q = -1. Are y and p non-equal?
True
Let l(p) = p**2 - 7*p + 8. Let k be l(3). Let q be (0/k)/(0 + -1). Is -3/23 at most q?
True
Suppose 70 + 588 = 7*c. Does c = 95?
False
Suppose b = 3 + 6. Suppose -55 - 55 = -5*p. Suppose 6*h - p - 26 = 0. Is b not equal to h?
True
Let k = 1363 + -1315. Which is greater: k or -12?
k
Suppose -181*k - 700 = -171*k. Suppose 2*f + 127 = -5*m - 31, -126 = 2*f - 3*m. Which is bigger: k or f?
f
Let o(a) = -25*a - 39. Let n be o(-7). Does n = 136?
True
Let b(p) = 3*p**2 - 3*p - 10. Let w be b(-3). Is w not equal to 32?
True
Let c = 105 - 72. Which is smaller: 1 or c?
1
Let v = -0.004 + 0.229. Let n = -0.025 + v. Does -17 = n?
False
Let j(k) = k**2 + 10*k - 24. Let o be j(-12). Let g be ((-13)/7 - -2)*10 - 2. Which is bigger: g or o?
o
Let k = 661 - 1173. Let g = -1927456019/3763460 - 1/188173. Let r = k - g. Is r bigger than 0?
True
Let z = 1/1396 - -1221/244300. Which is greater: z or 1?
1
Let t = -601 + 502. Does -97 = t?
False
Suppose -3*v - 14 = -5*v. Is v at least -6?
True
Let f(k) be the first derivative of -k**5/120 - 11*k**4/24 + k**3 - 7. Let d(j) be the third derivative of f(j). Let u be d(-12). Which is smaller: 7/4 or u?
u
Let h = -40 + 39. Is h >= -0.02?
False
Let h = -13 - -7. Let o(w) = -w**2 - 9*w + 4. Let p be o(-10). Is p < h?
False
Let b be 78/10 + 7/35. Suppose -2*u = -3*u - b. Which is smaller: 0 or u?
u
Let j be ((-63)/35)/(6/(-20)). Let y be (-2)/4 + 483/6. Suppose 46 + y = j*n. Is 20 smaller than n?
True
Let r(u) = -u**3 + 26*u**2 + 23*u + 108. Let k be r(27). Which is smaller: k or -3/416?
-3/416
Suppose 0 = 4*z + b + 1609, -39*z + 43*z - 3*b = -1605. Does -401 = z?
False
Let y = -24.893 + -0.107. Are y and 0.17 equal?
False
Let f = -137901/55 + 2507. Let q = f - -1/11. Let b = 0 + -1. Is q less than b?
False
Let s(y) = 9 + 0*y - 6*y - 3*y + 10*y. Let f be s(18). Is -1 equal to f?
False
Let x = -115 + 65. Let z = -49 - x. Is -2/11 bigger than z?
False
Let r = -117235/79 - -1484. Is 1/2 >= r?
True
Suppose 0 = -2*s + 4*k - 8, 3*s - k = 2*k. Suppose -2*i - 5*g = -3*i - 24, 0 = s*i + 3*g - 19. Let y be (1/6)/((-2)/(-3)). Is i greater than y?
True
Let i be 9/(9/119)*(18/(-7) - -3). Let n(w) = -5*w + 5. Let r be n(-9). Which is bigger: r or i?
i
Let a(i) = 45*i - 204. Let c be a(4). Is -73/3 greater than c?
False
Let r = 1 - 1. Let z = r - 0.1. Let d = -0.0955 - 0.3045. Is z < d?
False
Let r = 786 - 793. Which is smaller: -21 or r?
-21
Let o be 2 - 12/(1 - -3). Let u = 464 + -2327/5. Is o smaller than u?
False
Let y = 0.3292 + 4.6708. Is -127 <= y?
True
Let i = 0.098 + -49.098. Let h = 51.7 + i. Let r = -0.3 - h. Does 0.1 = r?
False
Let f = 19 + -57.9. Let p = -39 - f. Is -1/19 bigger than p?
True
Let u = -327 - -979/3. Is u greater than 13/7?
False
Suppose 3*d + 26 = 17. Let q be d - (-38)/12 - 49/(-210). Do q and 8 have different values?
True
Let c = -14 + 29. Suppose -5*l = -10*l + c. Let y be (l/(-6))/(4/120). Which is bigger: 0 or y?
0
Let k be (-1)/((-88)/84 + 1). Suppose 0 = 4*p + 17 - k. Which is greater: -1/10 or p?
p
Let a(v) = 2*v**3 + 3*v**2 + 3*v + 3. Let x be a(-2). Let g be -2 - (4 - (7 - 5)). Which is greater: x or g?
g
Let m = -491 - -492. Let q be (-8)/110*15/(-2). Which is bigger: q or m?
m
Suppose -2*s + 3*r - 13 = 0, 14 = 3*s + 5*r - 14. Which is smaller: s or 1/317?
1/317
Let d = -375 + 375.47. Is 0.2 at least d?
False
Let v = -0.78 + -47.22. Does v = 1?
False
Let r(w) = -w**2 + 13. Let j be r(-9). Let b(y) = 24*y - 20. Let d be b(-2). Is j greater than or equal to d?
True
Suppose -3*w - 11 = 2*w + s, w + 4*s - 13 = 0. Suppose 0 = g - 6*g + 70. Let a = g + -15. Which is smaller: a or w?
w
Suppose -f + 37 = i, 3*i = 2*f - 38 - 31. Do f and 262/7 have different values?
True
Let w = -165 + 193. Is w > -1?
True
Let f = -4 + 10. Suppose -2*d = f*d - 56. Is 6 equal to d?
False
Let x = -153178/79 + 1939. Is x at most 0?
False
Let i = 8 + -21. Let g be -13 + (-1)/(-4 - -5). Which is smaller: i or g?
g
Let o = -577 - -570. Suppose -2*l + 2*k = 0, -7 = -2*l - k + 2. Suppose l*z = 4 - 19. Are o and z equal?
False
Let t be (21/(-16))/((-18)/(-4)). Which is bigger: t or 0?
0
Let d = 33 - 31. Let m(u) = -2*u**2 + 4*u - 4. Let g(f) = -f**2 + 2*f - 2. Let j(h) = -11*g(h) + 6*m(h). Let i be j(d). Are i and -8/7 equal?
False
Let o be 8/2 + -3 - 22. Let f = -14 - o. Is 7 at most as big as f?
True
Let a be 13 + -16 - -9*1. Suppose -2*l - l + a = 0. Let u(y) = -y**3 - 5*y**2 + 13*y - 5. Let v be u(-7). Is l not equal to v?
False
Suppose 3*z + 2*u = 3*u - 47, -3*u + 1 = z. Is -13 at most z?
False
Let t be -7 + 168/44 + 3. Which is bigger: 2 or t?
2
Let r = -25 - -28. Let x(o) = o**3 - r + 3*o - 4*o**2 + 1 - 4. Let h be x(4). Is 5 <= h?
True
Let f be (-8)/20 + 1*(-17)/(-5). Suppose 1 = k + 5*v - 18, -4*k - 3*v + 8 = 0. Let p be k/f*6/8. Which is greater: 0 or p?
0
Suppose 0 = -15*p - 166 + 46. Is -10 <= p?
True
Let a = 694 - 693. Is -2/881 at least a?
False
Suppose 9 = 3*d + 3*y, 5*d + 5*y = 4*d - 13. Are -49 and d unequal?
True
Let x = -109 - -105. Let i(s) = 2*s + 1. Let o be i(-1). Let y be (3 - 0)*-1 - o. Which is bigger: x or