igger: s or f?
f
Let a be 22/(-24) + 7/28. Is -2/3 less than a?
False
Let s = 30 + -29. Let d = 12/13 + -34/65. Is s at least as big as d?
True
Let s = -1017 + 1995/2. Let l = -153/8 - s. Are l and -1 unequal?
True
Suppose -6 = 3*m - 2*r, -3*m - r = 2*m + 10. Which is smaller: -3/2 or m?
m
Let r = -10 - -20. Is r smaller than 10?
False
Let x = -2.2 + 1.3. Which is greater: x or 0.1?
0.1
Let x = 123.2 + -123. Let g = 1 + -1. Which is greater: x or g?
x
Let j be 1/1*(-1 - 0). Let v = -2/869 + 66919/2607. Let n = 26 - v. Which is smaller: n or j?
j
Let n be (3/(-2))/((-87189)/4). Let m = 5841775/1627528 - n. Let z = m + -26/7. Which is smaller: -1 or z?
-1
Let o = -107/2 - -87. Is o at least as big as 33?
True
Let f = -4 - -6. Let n = -1 + f. Let g = 10/9 + -7/9. Is n not equal to g?
True
Suppose -5*v + 2*c - 36 = 0, -4*v + 3 = -2*v + 5*c. Let j = v + 7. Let y = 121/156 + -1/39. Which is bigger: j or y?
j
Let r be (-18)/4*((-57)/45 + 1). Are r and 2 nonequal?
True
Let l = 6.85 - 7. Let f = -2.05 + 2. Let i = f + l. Which is greater: 1 or i?
1
Let u = -2 - -2. Let y = u + 2. Let s = 2/71 - -347/284. Is y greater than or equal to s?
True
Suppose 4 = 3*h + m - 6, 11 = 5*h - 4*m. Suppose -h*w + 12 = -4*n, -7 = -5*w + 2*n - 1. Is w at least as big as -1?
True
Let n be -1 + (-321)/(-204) - (-6)/(-8). Is n smaller than 1?
True
Suppose -6*k + 2*k = 12. Do -6 and k have the same value?
False
Suppose 0 = z + 17 + 4. Let y be z*((-2)/(-26) - 0). Let r = -121/91 - y. Are r and -1/4 unequal?
True
Let o(z) = z**2 - 5*z + 2. Let l be o(5). Suppose -2 = -0*v + l*v. Which is greater: -2 or v?
v
Let k(m) = -m**3 - 5*m**2 - 5*m + 3. Let l be k(-3). Is 8 >= l?
True
Suppose 0 = 4*x + 1 + 7, 1 = -3*j + x. Suppose t + t = 8. Let r = j + t. Which is smaller: 2 or r?
2
Let w = -0.9 - -3.9. Let i = 1.95 + 0.05. Let f = w + i. Are f and -1 unequal?
True
Let x be -6*(1 + 2/4). Let q be x/((-3)/(-2)*1). Let u be (-1)/q + 19/(-6). Is -0.1 greater than or equal to u?
True
Suppose 0 = -4*u - 3*q - 190, -5*q + 103 = -4*u - 103. Which is bigger: u or -47?
-47
Suppose 5*w + 0*w = 0. Suppose -3*d - 3 = -2*c + 12, -2*c - 2*d - 10 = 0. Suppose c = -w*g - g. Is g bigger than 2?
False
Let d = 11 - 7. Suppose d*g - g - 6 = 0. Let a = 57/2 - 28. Which is greater: a or g?
g
Let v(b) = 10*b - 2. Let s be v(2). Which is smaller: s or 19?
s
Suppose 0 = 5*v - 4*v + 27. Let g = v - -16. Is g at least as big as -12?
True
Let d = -2 - -2. Let n = 0.37 - 0.27. Are d and n equal?
False
Let d = 1.2 - 11.2. Let m = 9.8 + d. Which is smaller: m or 1/6?
m
Let c(z) = z**3 - 6*z**2 + 5. Let s be c(6). Suppose -s = b + 3*t, 4*t + 10 = -b - 0*b. Let i be ((-6)/b)/(-2 - -1). Is 1 > i?
True
Let q be 94/18 - (-6)/(-27). Suppose -3*z - 2*r + 5*r - 18 = 0, 2*r - 27 = q*z. Let d be (1 - 0) + (-8 - z). Is d bigger than -5/2?
True
Suppose -7*p - 27 = -6. Let v(s) = -s**3 + 3*s**2 - 2*s + 3. Let g be v(2). Suppose -g*x + b + 6 - 20 = 0, 0 = -4*x + 4*b - 24. Which is greater: x or p?
p
Suppose i - 5*c - 100 = -3*i, 4*c + 100 = 4*i. Which is bigger: 1 or i?
i
Let g(h) = h**2 - 10*h + 3. Let j be g(10). Which is smaller: -3/5 or j?
-3/5
Let x = -4/57 - 5/741. Which is bigger: 1 or x?
1
Let u = -0.46 + 0.26. Are u and 0.03 equal?
False
Let p = -15 + 15. Is -1 greater than or equal to p?
False
Let p(u) = u**3 + 7*u**2 - 8*u + 4. Let q be p(-8). Which is greater: 1 or q?
q
Suppose -5*j + 62 = b, -22 = 5*j - 6*j - 5*b. Is j smaller than 4?
False
Let x = 54 + -60.7. Let b = 7 + x. Let v = -0.5 + b. Is -1 > v?
False
Let q = 22 - 18. Suppose 5 = -4*m - 7, -3*f = -q*m - 15. Which is greater: f or -0.1?
f
Suppose 14 = 3*d - d. Suppose -4*p - 3*q = -d, -p = p + q - 3. Which is smaller: p or 2?
p
Let g be -7 + 8 - (2 + -1). Let y = -1 + g. Let q = -238 + 2140/9. Which is smaller: q or y?
y
Let m be ((-90)/80)/(6/(-4)). Suppose -u + 2 - 1 = 0. Which is smaller: u or m?
m
Let s be 587406/366096 + (-1 - 0). Let m = s - 210/263. Let v = -2/29 - m. Which is smaller: v or 1?
v
Let b = -1129/236 - -19/4. Which is smaller: -1 or b?
-1
Let v(j) be the first derivative of j**4/4 + 7*j**3/3 + 5*j**2/2 - 3*j + 1. Let u be v(-6). Suppose 2*a + 4 = -l - u, 5*a + 11 = 4*l. Is l not equal to -3/7?
True
Let s = -47/12 + 11/3. Is 0 less than or equal to s?
False
Let z be (-935)/20 + 3/(-12). Let k = -143/3 - z. Which is bigger: -0.1 or k?
-0.1
Let l(v) = 2*v**3 + v**2 - 2*v - 2. Let o be l(-2). Which is greater: 0 or o?
0
Let v be (-15)/24*(-8)/(-20). Is v <= -1?
False
Let m = 7 - 12. Let f(o) = -o**2 - 10*o - 9. Let t be f(-8). Let r = t + m. Is 1/2 at least r?
False
Let k be (2/(-5))/((-4)/(-80)). Suppose -o - 34 = -26. Is k at most o?
True
Let y = 17 - 50. Is y != -34?
True
Suppose 0 = -3*i + 3*z - 18, 2*i - 2*z = -2*i - 18. Let w = 6 + i. Let o be w/(-9) + (-2)/3. Which is greater: -1/12 or o?
-1/12
Let k = 2.0604 - 0.0604. Let y = -5 + 9. Is k bigger than y?
False
Suppose 3*z = -3*w - 3, 0 = -4*z - 7*w + 2*w - 9. Suppose 1 = u + z*x - 7, -4*u = x - 17. Let d be u/(-6) - (-56)/(-96). Which is greater: d or -1?
-1
Suppose -5*h + 13 = 2*c, 4*h - 2*c = 8 + 6. Which is smaller: h or 4?
h
Let s = -2/15 + 23/60. Let y be (-2)/(1 - 100/96). Let r = 238/5 - y. Is r greater than or equal to s?
False
Let h be (1/(-4))/(5 + -4). Let w = h - -3/4. Let x = -5/4 + 3/4. Which is bigger: w or x?
w
Let v = -210 + 9452/45. Let b = 76/315 + v. Are b and -1/5 non-equal?
True
Let z = -121 + 73. Let s = z + -3. Let d = s + 305/6. Is 1 < d?
False
Let c = 4.5 - 92.5. Which is smaller: 0 or c?
c
Let n = -0.4 + -0.6. Let m = n + 2. Let i = 0.2 - 0.1. Is i at most as big as m?
True
Let j = -5 - -1. Let f be ((-3)/j)/((-3)/(-2)). Is f bigger than 2?
False
Let p be -1*(-4 - -5)*0. Is p > 1.2?
False
Let i = -9.7 - -1.7. Let m = i + 7.8. Which is bigger: m or 1?
1
Suppose 3*g + 4 - 6 = q, -2*q - 39 = g. Is q at most -18?
False
Let u be 2*(4/14 - (-201)/(-42)). Does -2 = u?
False
Let b be -26 + -1*(-1 - -2). Let c = 0 - 3. Let t be -2*(c + (-78)/b). Which is greater: 1 or t?
1
Let x(v) = -v + 3. Let t be x(6). Let z be -2 + 2*t/6. Is z smaller than -3?
False
Let c = 3.9 - -13.1. Let g = 17 - c. Is -17 at least as big as g?
False
Suppose 3*z - 1 = -19. Let q = z - -7. Is 3/10 not equal to q?
True
Let p = 32 - 23.5. Let r = p - 8. Let x = -1 + r. Is -1 > x?
False
Let z be 1*1/((-3)/12). Is z greater than -6?
True
Let w be ((-44)/12 - -4)*-3. Which is smaller: w or -5/9?
w
Suppose -4*x - j + 136 = 0, -5*j = 3*x - 0*x - 85. Is x != 35?
False
Let b be (-297)/(-13) + 16/104. Does b = 23?
True
Let w be 0 - (5/(-15) - (-35)/15). Let u = -2 - -1.7. Is w less than u?
True
Let w be 2/(-7) + -19 + 19. Suppose -6 - 6 = -4*x. Suppose 2 = -d + x. Which is smaller: w or d?
w
Suppose 0 = -2*a - 4*t - 0*t - 10, 0 = -2*a + 3*t - 17. Let y(w) = -w**3 - 8*w**2 - 7*w - 1. Let s be y(a). Which is smaller: 0 or s?
s
Let u(t) = 35*t**2 - t + 1. Let o be u(-2). Let a = 1003/7 - o. Which is greater: -1 or a?
a
Let d(j) = -j**2 - 4*j. Let i be d(-4). Is 2/5 at most i?
False
Let c(d) = -d + 6. Let f be c(3). Are f and 2 nonequal?
True
Let w be 38/40 + (-1)/(-4). Let x be -3*((-10)/18 + 6/27). Is x less than w?
True
Let o(y) = -y**3 - 5*y**2 + 5*y - 1. Let z be o(-6). Let t = z - 0. Suppose 15 = -m - 4*m, 3 = -4*q - t*m. Which is greater: q or 2?
q
Let y(z) = z**2 + 13*z. Let i be y(-12). Which is smaller: i or -11?
i
Let y be 3/(-4)*1 + 1183/884. Which is smaller: y or 2?
y
Suppose 4*p - 19 + 15 = 0. Which is bigger: 2/39 or p?
p
Suppose -4*a + 2*b - 65 = -27, -18 = -a - 5*b. Let n = -15 - a. Which is smaller: -9 or n?
-9
Let h = -12 + 12.1. Is -32 less than h?
True
Let o be (3 + -14)*1 + -2. Is -14 smaller than o?
True
Let a(g) = g**3 + g**2. Let y(d) = -d**3 - d**2. Let x be y(0). Let o be a(x). Is o at least as big as 0?
True
Suppose -3*g - 35 = 10. Do g and -14 have different values?
True
Let x(h) = -h**3 - 6*h**2 + 6*h - 3. Let z be x(-7). Let s be 10/(-25) - z/(-10). Let g = -1.96 + -0.04. Is g smaller than s?
True
Let s(d) = d**2 - 9*d + 2. Let a be s(9). Suppose 3*j - 3*b + 6 = 0, -a*j - j - 2*b = 1. Is 0.1 at least as big as j?
True
Let g = -22 - -8. Let f be (-9)/3 + (-50)/g. Is f < 1?
True
Let p be (4/(-48))/(-3 + 2). Which is smaller: p or -1?
-1
Let p = -145.27 - -145. Which is great