36/23
Let a(i) = -2*i + 9. Let s be a(-6). Is 7 != s?
True
Let x(f) = f**2 - 2*f + 3. Let s be x(1). Suppose s*q = 4*q - 12. Suppose 1 - 16 = -3*n. Is q <= n?
False
Let q(u) = -14*u**2 + 0*u**3 + 8*u**2 - u**3 + 3*u. Let z be q(-5). Do z and -41 have different values?
True
Let v = 18 + -10. Let m(p) = 2*p**2 - 15*p + 6. Let r be m(v). Suppose -r + 10 = -4*f. Which is greater: f or 8?
8
Let r be -1 - (2 - (2 + 2)). Suppose 5 = 2*h - 1. Let k be (-1 - (2 - h))/r. Is -1/8 >= k?
False
Let q = 47 - 36. Suppose -3*t = -q - 1. Is t at most as big as 4?
True
Let s be 5/(40/12)*(-640)/(-6). Suppose 0 = -33*y + 38*y - s. Let t(q) = 9*q**2 - 2*q. Let w be t(2). Is w bigger than y?
False
Let u = 33/10 + -41/170. Is 3 greater than u?
False
Let j = 213 - 173. Let z be (-4 - 36/(-8))*78. Which is greater: z or j?
j
Let p(r) = 12*r - 2. Let x be p(4). Suppose -x = 3*s + 14. Is -19 equal to s?
False
Suppose -14*p - 172 + 1740 = 0. Which is smaller: 111 or p?
111
Let q(g) = 6*g**2 + g**3 + 4*g + 2 - 12*g + 1. Let s be q(-7). Let x be (-2)/(-3)*5/s. Does -2 = x?
False
Suppose -8 = g - 0*g. Let r(i) be the second derivative of -i**5/20 - 2*i**4/3 - i**3/6 - 11*i**2/2 + 196*i. Let j be r(g). Which is smaller: j or -4?
-4
Let d be (-2)/10 - (-175)/(-250). Which is smaller: -1 or d?
-1
Let m = -7411 + 6395691/863. Let f be (-3)/3*6 - (-171054)/77670. Let g = f + m. Which is greater: g or -5?
g
Let v(c) = c**3 + 6*c**2 + 2 + 0*c**3 - 8*c**2. Let k be v(7). Let s = 8149/33 - k. Are s and 1 nonequal?
True
Let n(q) = q - 3. Let w be n(4). Which is smaller: 10/21 or w?
10/21
Suppose -462 = -7*f - 469. Is -2/271 at most as big as f?
False
Let b = -0.169 + 0.049. Let y = 76 + -79. Which is smaller: b or y?
y
Let f be 16/12 - 1400/6. Let t be f/(-1008) + 2/(-7). Suppose 5*o + 3 = 5*c - 12, 0 = c + o + 3. Which is smaller: c or t?
t
Let c = 6 - 3. Let o be c/2*(13 - 7). Which is smaller: o or 10?
o
Let s = -5/67 - 692/603. Suppose -6 = -7*y + 2*y + 2*c, y + c + 3 = 0. Is y at most s?
False
Suppose 2*a = -75 + 11. Let u be 2/6 + a/(-48). Suppose -h = -0*h + i - 8, -2*h = -3*i + 9. Which is smaller: u or h?
u
Suppose -2*x = x - d + 436, 2*x = -d - 299. Are x and -146 equal?
False
Let g(y) = -y + 2. Let w be g(-4). Let m be ((-14)/w)/((-8)/(-24)). Let o(l) = -l**3 - 6*l**2 + 5*l - 5. Let r be o(m). Is 11 at most as big as r?
False
Let m be 2/5 + 96/(-15). Let b = m - -11. Suppose 2*i = b + 3. Is 5 equal to i?
False
Let v(q) = -101*q**2 - 15 + 2*q + q**3 + 89*q**2 - 14*q. Let f be v(13). Is f less than -26/11?
False
Let c be 2 + (6*(-1)/(-2) - 3). Suppose -1 - c = -3*n. Is n at least 5/19?
True
Let t be -11 - (-1 + (4 - 12)). Let h be (6/68)/((-3)/24). Is t less than or equal to h?
True
Let j = 17.2 + -12. Let g = j + -5.2. Is g < 13?
True
Suppose i = -f + 5*f - 154, -407 = 3*i - f. Let t be (-264)/i + (-14)/7. Which is smaller: -1 or t?
-1
Let c be (-18)/(-12) + (-3)/(-6)*-305. Which is smaller: c or -1/4?
c
Suppose -17*j - 14 = -31*j. Let i = 2537/8 + -316. Which is bigger: i or j?
i
Let l = 428 + -412. Which is greater: -0.059 or l?
l
Let m(f) = f**2 + 13*f + 19. Let g be m(-13). Let q = 20 - g. Which is smaller: 3 or q?
q
Suppose -g = 4*g + 4*h + 22, -4*h - 16 = 2*g. Let j = -1004/5 + 199. Which is bigger: j or g?
j
Let h be (-589)/95 - 3/(-15). Are h and -44/7 unequal?
True
Let f be -5 - 221/(-52) - 91/(-4). Which is smaller: f or 28?
f
Suppose -5*i + 23 = 5*c - 367, -5*i + 5*c + 390 = 0. Is i less than or equal to 78?
True
Suppose -5 = -y + 2*l, -10 = 4*y - 0*y + 2*l. Which is smaller: y or -2/965?
y
Suppose -3*h + 3*c + 12 = 0, -5*h - 3*c + 27 + 25 = 0. Let f(t) = t - 45. Let q be f(h). Is -39 at most q?
True
Suppose -6*w + 4*w + 44 = 0. Let m = w + -19. Suppose 0*u - m*u + 33 = 0. Which is bigger: u or 12?
12
Let k(s) = 3*s**2 - 44*s - 100. Let m be k(-2). Let c = -3/248 + -113/11160. Are m and c non-equal?
True
Let q be (2 - 5) + (2480/(-488) - -8). Which is greater: q or -1?
q
Suppose 0 = -3*u - u - 88. Let b = u + 12. Let z be (884/78)/(b/(-6)). Are 6 and z non-equal?
True
Let y = -14/591 + 2956/108153. Which is bigger: y or -1?
y
Suppose -40 - 8 = -4*t. Let j be t/(-9)*-1*-1. Let d = -1488 - -1484. Which is bigger: d or j?
j
Let k = -0.0648 - -0.0648. Let n = 0.2 - 1.2. Is n bigger than k?
False
Let u(z) = z**3 - z**2. Let k(n) = n**3 + n**2. Let a(d) = 5*d**3 + 10*d**2 - 1. Let w(b) = -a(b) + 4*k(b). Let r be w(-6). Let i be u(r). Is -2/11 at least i?
False
Suppose 3*u - 4900 = -5*g, 0 = 4*g - u - 3*u - 3888. Suppose 3*s = -g + 137. Let b = s + 5601/20. Is -1 greater than or equal to b?
False
Let i be -2 - (-808)/10*75/3033. Is i at most -1?
False
Suppose 53 + 185 = -r. Is r less than -238?
False
Let l(f) = -f - 25. Let h(m) = -m - 24. Let u(s) = -5*h(s) + 4*l(s). Let b be u(-13). Suppose a + 17 = 4*c, -b*c = -5*a - 2*c - 25. Which is smaller: a or -3?
-3
Let q = 4 - 7. Let t be (442 + -10)*(-5)/2. Let r be (8/18)/2 - (-3048)/t. Which is smaller: q or r?
q
Let n(z) = -98*z - 194. Let k be n(-2). Which is smaller: -87 or k?
-87
Let q = -2767 + 1372. Which is greater: -0.1 or q?
-0.1
Let a = -21 + 6. Let p be (-3)/a - 2/(-10). Let b be 2/6 + (-2)/6. Is b smaller than p?
True
Let t(a) = a**3 - 15*a**2 - 16*a + 32. Let y be t(16). Suppose 5*p = 10, -3*d + 0*p = -3*p + 102. Let j = y + d. Which is greater: 1/16 or j?
1/16
Suppose -4*k = -k - 2859. Let y = 107688/113 - k. Which is greater: 1 or y?
1
Suppose k + 3*k = 0. Let n be 2 + ((-740)/(-24) - 3). Let c = n - 30. Is k != c?
True
Let d(c) = 3*c**3 - 25*c**2 - 15*c + 9. Let i be d(7). Is -292 greater than or equal to i?
True
Let q = -234 + 2576/11. Let z = -0.016 - -0.576. Let s = -1.56 + z. Which is greater: q or s?
q
Let x = -1.22 - -2.1. Let w = x - 0.58. Let i = -4.7 - -5. Is i bigger than w?
False
Let h(k) = k**2 - 5*k + 7. Let v be h(1). Which is bigger: v or 19/9?
v
Let z = -85 + 95. Let t be z*(5 + (-35)/5). Which is smaller: -21 or t?
-21
Let t = 536 + -538. Is t at least as big as 0?
False
Let z = -25.954 + -0.046. Let i = z + 26.13. Is i not equal to 2/5?
True
Let v(i) = i - 2. Let l be v(4). Suppose 8*a + l*k + 9 = 3*a, -2*a + 4 = -3*k. Let r = 518/3 - 170. Is a < r?
True
Suppose n = 3*n. Suppose 0 = -55*k + 42*k + 26. Which is bigger: k or n?
k
Let x be -4 + 2/2 + 108. Let b be (-14)/x + 256/570. Let d = -33 + 32. Which is greater: b or d?
b
Suppose -4*g + 5*y = -2*g + 10, 5*y = -3*g - 40. Let n be (g + 0)*20/(-80). Let b = 3 - n. Which is smaller: b or 2?
b
Let g = -1 - -11. Let t = 26 - g. Is t bigger than 0.2?
True
Let x(q) = q**2 - 3*q - 12. Let u be x(6). Suppose -u*n = -36 + 6. Suppose 0*m + 20 = -2*m + n*f, -4*m = 4*f - 16. Which is bigger: m or -1?
m
Let o(b) = -b**2 + 17*b - 14. Let w be o(16). Let q be (9/(-18))/((-1)/w). Let j = -99 + 1684/17. Do q and j have the same value?
False
Let v(r) = -r. Let x be v(-3). Let u be (4/6)/(x - -3). Let q(a) = 2*a**3 - 121*a**2 + 35*a + 1499. Let s be q(60). Which is bigger: u or s?
u
Suppose -5*o + 5*i = 1050, 0*o + 2*i + 822 = -4*o. Which is greater: -2262/11 or o?
-2262/11
Suppose 11*k + 36 = 5*k. Let w be (2/k)/(2/96*-1). Which is smaller: w or 17?
w
Let n = -12 - -13. Let g be (8 + n)*2/22. Is g bigger than 2?
False
Let l = 62/114365 + -200894117/1029285. Let a = 1600/9 + l. Are a and -17 non-equal?
True
Let t be 116/(-4) + (1 - 3). Let m(o) = -93*o - 31. Let a be m(0). Is t at least a?
True
Let z = -38.4 + 37. Let a = z + 0.4. Which is bigger: -2 or a?
a
Let z = -409/11718 + 1/378. Let u be 130/35 - (-6)/21. Let m = -5 + u. Which is greater: m or z?
z
Suppose 6*i + 48 = 9*i. Suppose 5*l - 4*k = -k - 19, 0 = -2*l + 4*k - i. Let q = -1.2 - -0.2. Which is bigger: l or q?
q
Let k(d) = -d**2 + 6*d + 5. Let b be k(-4). Is b less than or equal to -34?
True
Let g(v) = 7*v**2 - 6*v + 1. Let f be g(1). Let z(b) = -3*b + 6. Let h be z(f). Is 1/110 >= h?
True
Let z = 18 + -14. Let t = z + -5. Let u be ((-1)/(-18))/((-2)/16). Does t = u?
False
Let d(v) = v**3 + 2*v**2 + 4*v + 5. Let g be d(-2). Let k be -3 - (g + (-55)/(-5)). Is k greater than or equal to -11?
True
Let q(j) = -j**2 - 96*j + 29. Let o(s) = -19*s + 6. Let f(l) = 11*o(l) - 2*q(l). Let r be f(8). Let m = -100/3 + 33. Which is smaller: r or m?
m
Let t be (-7 - 470/100) + 10. Is t greater than or equ