3?
-3
Let y be (-1)/((-172)/8)*1. Is 1 greater than y?
True
Let l be (-50)/(-4)*24/(-12). Let v = l + 23. Let a be (-1)/3 - 2/3. Which is smaller: v or a?
v
Let j(q) = 2*q**2 - 4*q - 1. Let x be j(3). Is 4 > x?
False
Let i(g) = g**2 + g. Let t be i(1). Suppose -n - 9 = t*n. Suppose -4*w + 0*w + 4 = 0. Is n at most as big as w?
True
Suppose 0 = 3*z - 3*g + 7 + 14, 0 = 2*g - 10. Let t(b) = 2*b. Let k(v) = v**2 + 2*v - 2. Let d be k(-3). Let u be t(d). Which is bigger: u or z?
u
Let s be 1/(-3) + (-2992)/(-30). Let r = s + -100. Which is smaller: 0 or r?
r
Suppose 0 = -2*i + 12 - 4. Suppose 3*a + 15 = -3*d, i*d + d = -4*a - 24. Let y = 3 + a. Which is bigger: y or 0?
y
Let k = 4 - 3.1. Is -0.7 smaller than k?
True
Let a be 1/(-4) - 26409/(-105444). Let t = -5122849/61509 + a. Let v = 83 + t. Does 0 = v?
False
Let a = -16 + 26. Let z = a - 7. Let u = 2.9 - z. Is 0.2 equal to u?
False
Suppose -79*g + 72*g = -49. Let v(z) = 7*z**3 + z. Let u be v(1). Is g at least u?
False
Let d be (-14538)/(-13545) + -5 + 4. Let s = 2/301 - d. Let m be 0/((2 - 3)*-1). Is s < m?
True
Suppose 3*u = -3*l + 12, -4*u + 13 + 3 = -l. Which is greater: l or -8/15?
l
Suppose 5*l = 3*h - 59, 0*h + 3 = -h - 4*l. Suppose -12 = -4*u + o + 3*o, 3*o = 5*u - h. Let x = 1 - u. Is x at most 1/5?
True
Suppose 0 = 2*r - 3 - 5. Let t be (-9)/(-6)*r/6. Let h be -1 - (-18)/22 - 0. Is h at most as big as t?
True
Let m(s) = -s - 6. Let z be m(-10). Let d = z - 2. Are d and 3/2 non-equal?
True
Let t be 1/(-8) - (-267)/24. Which is bigger: t or 12?
12
Let w be (-4)/(-6) + (-20)/3. Let d be (2/22)/((-2)/w). Do d and 0 have the same value?
False
Let w(y) = -2*y - 2. Let o be w(-3). Suppose q = -o*q. Which is smaller: -4/7 or q?
-4/7
Suppose -5*j - 7 = 4*k, k + 0*k = 2*j + 8. Do 0 and k have the same value?
False
Let q(u) = u. Let z be q(1). Which is greater: 9/8 or z?
9/8
Let c = 3 - 1. Suppose c*x = 4*x. Let p = 487/6 + -81. Is x smaller than p?
True
Let c(o) = -3*o**3 - 3*o**2 - o - 1. Let a be c(-2). Suppose 5*v - 2*d + 0*d = -a, -3*v = -d + 7. Is 10 smaller than v?
False
Let z(t) = -t**3 + 7*t**2 + 10*t - 8. Let m be z(8). Suppose -4*i + 0*i = -m. Which is greater: 0 or i?
i
Let x = -12 - -8. Let s = -2 - x. Let j be (16/66)/4*3. Which is greater: s or j?
s
Let w = -2.7 + 1.3. Let j = -50.6 - -51. Let k = w + j. Is k at least as big as -8?
True
Suppose -42 = -3*r - 18. Suppose -r = -5*y - 3. Which is bigger: y or 2?
2
Let m = -7 - -9. Let o be 1 - (5 - (m - 0)). Let s = 34 + -104/3. Which is greater: s or o?
s
Let g = -16 + 15.8. Suppose -w = 3*w. Is w not equal to g?
True
Let m be 9/(-7) + (-4)/(-14). Let w be (78/(-18))/(m/(-3)). Are w and -12 nonequal?
True
Let u = 11 + -18. Let a = 5.94 + 0.06. Let q = u + a. Which is bigger: q or -2/13?
-2/13
Suppose -3*z - z - 8 = 0. Let i be (24/z)/1*1. Let c be i/6 + (-18)/(-8). Which is smaller: c or 0?
0
Suppose -343 = 3*s - 97. Does -84 = s?
False
Let d = -2 - -6. Suppose -d*y + y = 0. Which is smaller: -1 or y?
-1
Suppose 20 = g + 4*o, -4*g = -0*o - 2*o - 8. Suppose 0*u - 13 = -3*i - 4*u, -4*i + 11 = -u. Which is greater: i or g?
g
Suppose 2*q - 8 = 4. Let w be ((-2)/q)/((-16)/3). Is w less than 1?
True
Let g = 7 + -11. Let x = -2 - g. Let k be (20/85)/(x/(-1)). Are 0 and k unequal?
True
Let l = -493 + 497.06. Let y = 0.06 - l. Let j = 3 + y. Are 0 and j equal?
False
Suppose -5*l + 3*p = 4, -2*l + p + 14 = 5*p. Let y(c) = c**3 - 6*c**2 - 8*c - 5. Let v be y(10). Let i = 4093/13 - v. Does i = l?
False
Let c = -12.1 - -1.1. Let x = c - -10.2. Let t = x - -1.1. Which is bigger: 1/4 or t?
t
Let m = -3 + 2. Let h = 0 + m. Let r = -0.18 + 0.28. Does r = h?
False
Let b = -23.71 + 0.71. Which is smaller: b or 0.2?
b
Let p = 0.09 - 0.02. Let x = 1.93 + p. Let a = x - 1.9. Which is greater: a or 4?
4
Let g(b) = b**3 - 19*b**2 - 19*b - 19. Let x be g(20). Let i be -3 + 2 + (-1 - -3). Is i less than x?
False
Let d = -25 + 60. Let p = d - 21. Let g be 4/14 - 18/p. Which is smaller: -2/5 or g?
g
Suppose -3*i = -4*m - 7*i + 24, -3*i = 0. Suppose 5*k + 1 = m. Let n be (-1 - 1)*1/(-7). Is k at least n?
True
Let q be 56/(-29) + 16/8 + 0. Let i(h) = -h - 7. Let d be i(-7). Which is smaller: d or q?
d
Let v = -0.5 - 7.5. Let m = 0 + 1. Let x = m + 0. Which is smaller: x or v?
v
Let o be 3 - 1 - (-3 - 1). Is 7 bigger than o?
True
Suppose -9*y = -4*y + 65. Which is bigger: -10 or y?
-10
Let v(n) = 2*n - 7. Let r be v(5). Suppose 32 = -5*k + 2*s, -8 = r*k - k - 2*s. Let i be (-14)/8 - (k + 6). Which is smaller: -4/7 or i?
-4/7
Let o = 28 - 28. Is -0.3 not equal to o?
True
Let i = -6.3 + 6. Let n = i - -0.4. Which is greater: -4 or n?
n
Let x be ((-36)/(-5))/(-3)*(-40)/6. Which is greater: 14 or x?
x
Let c = -7 - -6.5. Which is smaller: 2 or c?
c
Let b be 40/20*2/12. Which is smaller: -9 or b?
-9
Let m(n) = n + 7. Let q be m(-5). Let s = -3443/7 - -493. Which is bigger: q or s?
q
Let g = -207/17 + 7070/663. Let p = 24/13 + g. Is p > 0?
True
Let c(h) = -h**3 + 4*h**2 - 2*h - 2. Let l be c(3). Which is bigger: l or 12/11?
12/11
Let a = 337 + -2027/6. Which is greater: a or -1?
a
Let n be 12/(-5) - (-2)/5. Let i = -9762/43 + 227. Let q = -83/129 + i. Is n equal to q?
False
Let l be (29/(-1))/((-9 - 0)/(-3)). Which is smaller: -9 or l?
l
Suppose -4*a = -7*a - 3*k, 0 = -2*k. Which is bigger: -2/287 or a?
a
Suppose 3*k - 2*k + 1 = 0. Let p = k - -4. Is 3 bigger than p?
False
Let a = 3/74 - -109/962. Let h = 15 + -14. Which is bigger: h or a?
h
Let p = -8 - 6. Are p and -14 nonequal?
False
Suppose 3*l - 7 = -3*m - 19, 5*m + 8 = -l. Is m not equal to -4/41?
True
Let f(a) = -a + 12. Let r be f(5). Let p = -12 + 28. Let l be 8*(-6)/p*-2. Is l at least as big as r?
False
Suppose -5*w = -1 + 11. Let b = 6 + -3. Let v = w + b. Is v >= -2?
True
Let y = 668/5 - 133. Let r(f) = f + 1. Let o be r(0). Which is bigger: y or o?
o
Let d = -49 - -48. Let y be (-2)/6 - 8/(-15). Which is greater: y or d?
y
Suppose -5*l = -3*z - l + 255, -255 = -3*z - 3*l. Is -1 less than z?
True
Suppose 3*b + 4 = 13. Suppose 4*s + b*h = s + 6, s = 5*h + 14. Which is bigger: 5 or s?
5
Let l be 14/105 + -4*1011/(-45). Which is greater: 89 or l?
l
Let n be (5 + -1)/((-3)/12). Let y = n - -29. Suppose -5*s + 6*x - 3*x - y = 0, 3*s - x + 7 = 0. Which is smaller: -3 or s?
-3
Let o = 443/1099 - -4/157. Suppose -25 = -s + 6*s. Let z(l) = l**3 + 4*l**2 - 6*l - 5. Let v be z(s). Is o less than or equal to v?
False
Let u = -1 - -1. Let b be u + -1 - (-9)/15. Let d(p) = p**3 + 3*p**2 - 3*p + 4. Let s be d(-4). Which is smaller: s or b?
b
Let j = -0.13 + 0.01. Let v = -0.12 - j. Let w be 4/(-14) - (-26)/(-7). Which is smaller: w or v?
w
Let g be ((-2)/(-2))/(-7 + (-25)/(-5)). Is -16 at most as big as g?
True
Let p be (2/21)/(18/42). Which is greater: p or 1?
1
Suppose -8 = k - 3*k. Let j be 2 - -3*(3 - k). Are j and 1 unequal?
True
Let k be 6 - -3*6/(-9). Suppose -f + 3 = m - 2*f, k*m - 3*f = 8. Let u = 0.3 + 0.1. Which is smaller: m or u?
m
Let a be (-1)/(-8) + 845/(-104). Is a >= -7?
False
Let j = 3 - 0. Suppose -4*c + j*c = -1. Are c and 1/2 equal?
False
Suppose 2*u + 5*p = -13 + 2, 0 = -4*u + p + 11. Let j be (0 - -1)*2 - 1. Do j and u have different values?
True
Let s be (-4)/18 + (-18)/(-81). Which is bigger: s or 2/67?
2/67
Let h(m) = -m**2 + 7*m - 5. Let z be (-3)/((-6)/(-4)) - -8. Let r be h(z). Which is bigger: 2/15 or r?
r
Let f(b) = -b**2 - b + 2. Let n be f(2). Let s(k) = k**3 + 4*k**2 - 3. Let q be s(n). Is 1 at most q?
False
Let a = -5 - -8. Let n = 6 + -5.9. Is n > a?
False
Let m(u) = u**3 - 5*u**2 - 2*u - 8. Let z be m(6). Which is smaller: 50/3 or z?
z
Let g = -1 + 0. Let q = -0.8 - g. Which is bigger: q or -0.1?
q
Let l be (378/180)/(6/5). Which is bigger: 1 or l?
l
Let y be (-4)/(-14) + 244294/6244. Let a = -20/223 - y. Let b = a - -1813/46. Which is smaller: b or -1?
-1
Let m(t) = -2*t + 2. Let k be m(1). Which is greater: k or -2?
k
Let t(d) = d + 1. Let o(q) = -q**3 + 3*q**2 - 2*q - 2. Let n be o(3). Let f be t(n). Let j = -12 - f. Is -5 greater than j?
False
Let x = 36.8 + -33. Let v = x - 4. Is v >= 2/9?
False
Let m(h) = -h - 5. Let l be m(-7). Suppose -8*s + 5*s = -9. Suppose s*p - l*p + 1 = 0. Is -1 at most as big as p?
True
Let o = 4 - 2. Suppose -d = -3*p - 4*d - 300, o*d - 376 = 4*p. Le