r b?
b
Let y = -60 + 60. Which is smaller: y or 2/13?
y
Let y = 9 - 33. Let a = y - -74/3. Let r(o) = o**3 - 3*o**2 + o - 2. Let s be r(3). Is s <= a?
False
Let y = 6.7 - 7. Let p = y - 0.7. Which is bigger: p or 1?
1
Suppose -8 = -4*t + 8. Is 0 not equal to t?
True
Let c = 15 - 14. Let y = 0.8 - c. Is 0.3 equal to y?
False
Let j = 171/77 + -15/11. Suppose r = -3*r. Is j >= r?
True
Let b(j) = -j**3 + 5*j**2 + 7*j - 6. Let l be b(6). Let o = 13/3 + -107/24. Which is bigger: o or l?
l
Suppose -3*d = -33 - 33. Which is bigger: d or 45/2?
45/2
Let j(p) = p. Let b be j(2). Suppose b*n + 20 = -0*n. Does -11 = n?
False
Let a = -9 + 4. Let c = a - -5. Are -1 and c nonequal?
True
Let a = 1.6 - 1.6. Which is smaller: a or -4?
-4
Let f = 6 + -1. Let z be -9*(-3 + f + -4). Which is smaller: 17 or z?
17
Suppose 13 = -2*k + 5*a, 5*a - 7 = 5*k + a. Let n(x) = 41*x + 4. Let d be n(-3). Let r = d - -1545/13. Which is greater: k or r?
k
Let z = 3 - 2. Let u be 3/18 + (-41)/(-6). Suppose 3*l + 4 - u = 0. Are l and z non-equal?
False
Let j = 23 + 0. Let v = -112/5 + j. Which is smaller: -1 or v?
-1
Suppose l - 25 = -5*j, -75 = -5*l + 2*j - 31. Let w = l + -128/13. Which is smaller: w or 0.1?
0.1
Let v be -10*((2 - 4) + 1). Is 10 < v?
False
Let n(l) be the third derivative of l**4/24 - l**3/3 + l**2. Let r be n(-3). Is r != -1?
True
Let y = 20 - 19. Is y less than 23?
True
Suppose 0 = 3*a - 4 - 14. Suppose -u - 11 = -a. Which is smaller: -7 or u?
-7
Suppose -5*z = -0*b + 4*b + 185, -230 = 5*z - 5*b. Let y = z - -125/3. Let w = -6 + 4. Are w and y unequal?
True
Let j be (-6)/15*10/6. Let d be (1/3 + 0)*0. Which is bigger: j or d?
d
Suppose 0 = 3*z + 6. Is -3/4 less than z?
False
Let u be (-1 + 1)/((-3)/((-9)/(-6))). Which is bigger: -6/31 or u?
u
Let h = -25 - -9. Is -17 at least h?
False
Let o = 1 - 3. Suppose 2*f = 2 - 0. Let j = o + f. Is 0.1 < j?
False
Let u = 55/12 - 17/4. Is u not equal to 9?
True
Let a = -2.5 + 2.6. Let t = -5.3 - -5. Which is smaller: t or a?
t
Let m(z) = -z - 3. Suppose -5*y = 4*s + 12, 4*s - 6 = 2. Let b be m(y). Let c = -1 + b. Is c != 3/5?
True
Let n be 5/10*(3 + -3). Let o = 3 + -3. Let g = o + 0. Is g at most n?
True
Let a = 1.99 - -0.01. Let b = a + -2.2. Let d = b - -0.1. Is 0 equal to d?
False
Suppose -g + 106 = g. Is g equal to 51?
False
Let b be ((1 - 1)/(-2))/1. Let i(g) = -g**3 - g - 3. Let l be i(0). Let v be 2/l*(-30)/(-40). Is v <= b?
True
Let a be (4/6)/((-154)/(-99)). Which is bigger: 1 or a?
1
Suppose -3*h = -2*h + 1. Let s(b) = -b**3 + 4*b**2 - 5*b + 4. Let g = -5 - -8. Let f be s(g). Is h bigger than f?
True
Let h = 8.3 + -8.295. Are h and 1/3 non-equal?
True
Let h be (1/(-6))/(1/(-5)). Let x = 392 + -390. Which is greater: x or h?
x
Let v = 2 - 1. Let t = -3 + 5. Suppose -3 = t*n - v. Is 1/6 not equal to n?
True
Let o = 4 - 7. Let w be 2/8 - (-124)/(-61). Let b = w - -2/61. Is b bigger than o?
True
Let o = 6968/15 + -464. Which is smaller: o or 2?
o
Let u be 1 + 0 + (-65 - 1). Let w be 4 + -4 - (-328)/(-5). Let n = u - w. Is n at most 2?
True
Let i(d) = -d + 16 + 0*d + 3. Let b be i(19). Which is bigger: 3 or b?
3
Let t be ((-2)/(-18))/((-2)/(-1922)). Suppose -2*r - 214 = -2*f, -r - 535 = -5*f + 2*r. Let n = t - f. Which is bigger: n or 0?
0
Let o be 2/(-18)*3/(-6)*6. Is o > 0.14?
True
Let q = -14 + 11. Which is greater: q or -1?
-1
Let c = 18.6 + -10.7. Let z = -8 + c. Let o = 1.7 + 0.3. Is o < z?
False
Let c = -4 - -1. Let y be (6/8)/(c/(-12)). Is 3 smaller than y?
False
Let r = -882/5 + 177. Let j = 11 - 6. Suppose j*u = -4*t - 12, 2*t - 4*t = 5*u + 6. Which is bigger: u or r?
r
Let z(u) = u**3 - 7*u**2 + 2. Let r be z(7). Let a(v) = -2*v + v + r*v + 3*v**2 - 6*v**2. Let c be a(1). Which is bigger: c or -3/2?
-3/2
Let z be 10/(-25) - 3/((-30)/4). Is 3/110 at most z?
False
Suppose 36 = 5*z + 11. Let l = -8 + z. Let f = -0.6 - 0.4. Is l smaller than f?
True
Suppose 2*n + 2*n = 2*h - 14, 4*n - 5*h + 23 = 0. Is n bigger than 5?
False
Let v(k) = k + 5. Let d be v(0). Suppose -d*b + 22 = -3*b. Is b less than or equal to 10?
False
Let y = -17.05 - -0.05. Is -1/5 less than y?
False
Let z be (-3)/(1/((-626)/10)). Let f = z + -189. Which is smaller: -1 or f?
f
Let b = -75 - -77. Suppose 0 = -5*c + c. Is b > c?
True
Let r be (8*(-1)/3)/((-35)/150). Which is smaller: 10 or r?
10
Let d = 5 + -8. Let m = -3 - d. Let b = 17/60 + -8/15. Is m smaller than b?
False
Let w = 0.4 - 0.5. Let b = 0.02 - -2.98. Let t = -2.7 + b. Which is smaller: t or w?
w
Let h(n) = -4*n**3 - n**2 - 2*n + 2. Let m(y) = -2*y**2 + 2*y**3 + 3 + 2 - 9*y**3 - y**2 - 5*y. Let z(t) = 5*h(t) - 2*m(t). Let v be z(1). Is v > -6?
True
Suppose 2 - 7 = 5*d. Let x = 9 + -16. Let b = x - -6. Is d at least as big as b?
True
Let q(h) = h**3 + 4*h**2 - 4*h + 9. Let d be q(-5). Which is bigger: d or 5?
5
Let o(i) = i - 10. Let j be o(0). Let c be (-1 - 6/j) + 1. Let f = 11 - 10. Is f smaller than c?
False
Let y be 15/20 + (-15)/4. Let w be y/9 + 2/6. Which is bigger: -2/3 or w?
w
Suppose -4*g + 3*v + 24 = v, 2*g + v - 4 = 0. Suppose -j = -g*r - 19, -j - 2*j + 7 = -2*r. Does -1/17 = j?
False
Let s = -13.03 + 0.03. Let b = s - -12.7. Is b at most as big as -3?
False
Let n be (-1 - -1) + 4/2. Suppose -n*c - 2*c + 8 = 0. Suppose 0 = -3*j + j + c. Which is greater: 1/18 or j?
j
Suppose 6*u + 9 = 3*u. Let j = -1 - u. Suppose 5*p - 3*v + 15 = 0, -p - v - 5 = -2*v. Which is smaller: p or j?
p
Suppose a - 6 + 3 = 0. Suppose t + a*r + 2 = 0, 5*r - 2 = -7. Is t >= -1?
True
Let s be ((-2)/(-7))/(6/42). Suppose 3*j - 4 = 2*j - 4*w, -j - 5*w + 5 = 0. Suppose 0 = 3*n - j - 6. Are s and n unequal?
False
Let a be ((-2)/3)/(8/(-12)). Is a equal to 0?
False
Let p = 41 + -77/2. Is 1/3 bigger than p?
False
Let x(g) = -3*g - 6. Let z be x(5). Let j be (-7)/z + 173/(-222). Let f = j - 2/37. Is -0.2 greater than f?
True
Suppose 0 = 2*s + 6, -2*o + 6 = o + 5*s. Let i(k) = k**2 - 6*k - 10. Let f be i(o). Let x(t) = -t**3 - 6*t**2 + t + 4. Let a be x(-6). Which is greater: a or f?
a
Let v = -16 + 6. Let h = 11 + v. Is h bigger than -2?
True
Let l be 1 + (3 - (-110)/(-8)). Let a be (-1749)/180 - 1/5. Let n = l - a. Is n bigger than 2/9?
False
Let w = -117.1 + 117. Is w smaller than -19?
False
Suppose -k - 4*q + 170 = -2*q, -5*q = 5*k - 830. Let i = -1784/11 + k. Suppose -5*m = -15, 0*o + m = -4*o + 7. Which is bigger: i or o?
o
Let m be ((-8)/(-8))/(1/(-1)) + 0. Which is smaller: 2/117 or m?
m
Let n = 6 + -13. Let j = -6 - n. Are j and 2 non-equal?
True
Suppose -c - 45 = -5*s, 5*s - 125 = 2*c + c. Which is smaller: c or 0?
c
Suppose -107 = 5*y + 73. Is 0 at most as big as y?
False
Suppose 5*m - 5*z = -1 - 4, 0 = -4*z + 12. Is 2 at most as big as m?
True
Suppose 3 = -4*n - 1. Let b be ((-248)/32)/(5/4). Let k = -212/35 - b. Which is smaller: k or n?
n
Let w(m) = -m**2 + 14*m - 6. Let p be w(4). Is p at most 34?
True
Let x = -5 + 7. Suppose x*g - f - 9 = 0, 4*g - 30 = 2*f - 4*f. Is 7 greater than g?
True
Let x = 38 - 23. Let v be (-9)/x + (-76)/140. Is v > 0?
False
Let u be (3 - (6 - -2))*1. Let s be (4/6)/(u + 4). Let o = -21 + 29. Is o bigger than s?
True
Let d = 2.92 - 2.8. Which is smaller: d or 0?
0
Suppose -42 = -2*b + 6. Which is bigger: 23 or b?
b
Let w(k) = -50*k + 1. Let u be w(1). Let z = -4163/2 + 2034. Let p = z - u. Are p and 1 unequal?
True
Suppose 4*f + 2*r = -4 - 16, -r = 5*f + 19. Suppose -2*w = 2*q + 18, 3*q + 14 = q - w. Is q > f?
False
Let v = 8 - 1. Let l(h) = -4*h + 10. Let z(t) = -3*t + 7. Let p(q) = 5*l(q) - 7*z(q). Let c be p(5). Which is bigger: c or v?
v
Let w = -2282/9 - -258. Is w less than or equal to 4?
False
Suppose 3*p = 2*i - 13 + 1, 5*i = -p + 47. Suppose -5*g = 4 - i. Let a = -837/7 - -120. Is g > a?
True
Suppose 8*s - 45 = 11*s. Which is smaller: s or -13?
s
Let n = -8 + 12. Suppose -n*f - 4 = -0*f. Which is bigger: -2 or f?
f
Suppose -5*h = -3*b + 23 - 117, 3*h = 4*b + 118. Is -29 > b?
False
Let s(c) = -c**3 - 2*c**2 - c - 14. Let w be s(0). Which is bigger: w or -15?
w
Let m be (-2)/(-8) - (-90)/(-264). Suppose -2 = -3*h + 4*h, 3*h = 3*x - 33. Suppose -3 = 2*i - y, 4*i - y = -2*y + x. Are m and i equal?
False
Let q = -1367/5093 - 2/463. Suppose -3*t = -11*t + 8. Is q bigger than t?
False
Let y = 50 + -45. Is 4 > y?
False
Let o = 0.38 - -0.02. Let l = o + -0.9