64)). Is j >= 1?
False
Let v(u) = -9*u**3 - 13*u**2 - 2*u - 22. Let l(p) = 4*p**3 + 7*p**2 + p + 11. Let q(o) = -7*l(o) - 3*v(o). Let h be q(-10). Which is greater: h or -2/7?
-2/7
Let q = 0 - -2. Suppose -q = -i + 1. Suppose z = 2*g - g + i, g - 9 = -5*z. Is g less than -2/11?
True
Let a = 4/75 - 18/25. Is a equal to 29?
False
Let d(j) = j**3 - 6*j**2 - j + 5. Let i be d(6). Let p = 3/155 - 71/465. Is i equal to p?
False
Suppose -m = -2*t + 9 - 0, -20 = -5*t. Which is greater: 3/7 or m?
3/7
Suppose v - 3*v = 24. Let q = -9 - v. Let r(m) = -3*m - 2. Let z be r(-2). Which is smaller: q or z?
q
Let a be 110/25 + 4/(-10). Suppose -58 = -a*m - 2*y, -3*m + 0*m + 11 = -5*y. Let n = -8 + m. Is n at least 1/3?
True
Let i(c) = 3 - 2*c + 4 - 3 - 3. Suppose 4*v = 2*f + 8, -6 = 3*f - 0. Let x be i(v). Is 0 < x?
False
Let c = -15 + 15. Which is smaller: -1/4 or c?
-1/4
Suppose -5*i - 50 - 30 = 0. Which is greater: i or -2/7?
-2/7
Let q be (-52)/(-5) - 6/15. Suppose -y + 0*j = -3*j - q, 2*j = -4*y - 30. Is y equal to -4?
False
Let r be ((-2)/6)/((-1)/9). Suppose s - 4 = -r*d - 4*s, -s = 2*d + 2. Do d and 1 have the same value?
False
Let n = -4 - 0. Let r be n/6*3/8. Is r <= 1?
True
Let w be 4/22 - 6512/(-121). Is 53 at most as big as w?
True
Let d = -8 - -4. Is -5 not equal to d?
True
Let b = -21 - -21. Let a = -0.62 + 0.02. Which is bigger: b or a?
b
Let h be (-1 - 0)*(-7 - -8). Let a = -269/5 + 54. Is a smaller than h?
False
Let a(l) = -2*l - 3. Let x be a(9). Let s be 6/x + 9/7. Is 2 at least s?
True
Let f = 4/217 + -743/4991. Which is smaller: f or 1?
f
Let z be 1 + 2/((-90)/(-175)). Is 4 smaller than z?
True
Suppose -5*b + 4*f - 30 = -f, 4*b = -4*f + 16. Suppose 2*i - q = 0, 6 + 6 = 2*i + 5*q. Which is bigger: i or b?
i
Let z(c) = -c**3 + 4*c**2 - c - 2. Suppose -4*i - 3 = -5*i. Let k be z(i). Is k bigger than 3?
True
Suppose 0 = -3*r + 20 + 13. Suppose 3*v - r = 2*p, 2*v = -p + 4*v - 8. Suppose 0 = p*t + t. Is t greater than or equal to -1/4?
True
Let x be ((-3)/6)/(9/6). Which is greater: x or 0.3?
0.3
Let j = -0.12 - -0.82. Which is smaller: 0 or j?
0
Suppose 5*t + 37 = -8. Is -9 greater than or equal to t?
True
Let q = -5 + 3. Let v(b) = 16*b**2 - 6*b - 15. Let g(l) = -3*l**2 + l + 3. Let s(i) = 11*g(i) + 2*v(i). Let j be s(-3). Do q and j have the same value?
False
Let h = 0 + 4. Suppose -6*r = -2*r. Suppose -3*u - h + 1 = r. Which is smaller: -4/5 or u?
u
Suppose 10 = 2*k + 2*o, 5*k + 0*o - 18 = 2*o. Suppose 0 = -3*h + k*h. Let n be (h + -2)/((-4)/(-8)). Is n equal to 0?
False
Suppose 0*g - 3*v - 15 = -4*g, 2 = -2*v. Let k = 0 + 2. Let q be -2*2/8 + k. Which is smaller: q or g?
q
Let j be 5/10*6 - 26. Are j and -22 equal?
False
Let j = -997/11211 + -14/303. Is j < 1?
True
Suppose 14 = -5*g + 2*n, 5*g - 2*n = -4*n - 6. Which is smaller: g or -3/4?
g
Let u = -0.28 - -0.48. Which is smaller: u or 18?
u
Let z = -1403/16 - -88. Let w = z - 83/112. Suppose 2*g - 1 = -3. Is w > g?
True
Let n be (-2)/(-126)*3*6. Let q be (-2)/3 + 6/9. Which is smaller: q or n?
q
Suppose 6 = s + 1. Is s != 5?
False
Let b = -49 - -60. Is 10 at least b?
False
Suppose -7*k = -2*k - 10. Suppose -3*t - 9 = 2*c, 7*c = -3*t + k*c - 9. Let j be (-3)/(-11)*2/t. Which is bigger: j or -1?
j
Suppose -10 = -4*x + f - 4*f, -4*x = -3*f + 2. Is x at most -2?
False
Let p = 7 + -6.4. Let x = 0.4 - p. Let b = 0.1 + -0.1. Is b less than or equal to x?
False
Let b(k) = k**3 + 2*k**2 - 3*k - 3. Let n be b(-3). Let z(p) = -p**3 - 8*p**2 - 8*p - 10. Let a be z(-7). Is n greater than or equal to a?
True
Let q be (4/12 - 1)*-3. Let m be ((-32)/q + 4)/1. Is -12 less than or equal to m?
True
Suppose g + 2*g = 0. Let r be ((-12)/30)/((-4)/362). Let t = r - 37. Is g < t?
False
Let z(x) = x**2 - 2. Let f be z(-3). Let u = 4 - f. Let c = 2 + u. Are c and -1 nonequal?
False
Let z be 1/2*(-1)/1*2. Let m(f) = -f**2 - 5*f - 2. Let r be m(-5). Which is bigger: r or z?
z
Let q(f) = -f**2 + 2*f + 3. Let b be q(-5). Let u be b/98 + 4/14. Let t = u + 53/98. Is 2 bigger than t?
True
Let y(b) = -2*b - 1. Let f be y(-2). Let r(p) = -2*p**2 - 5*p - 3. Let s be r(-3). Let v be ((-6)/s)/(1/4). Is f > v?
False
Suppose -4 - 8 = 4*d. Let o = d + 4. Let n be 1/6*(-2 + 3). Is n greater than o?
False
Suppose 2*n - n + 4*w + 9 = 0, -4*n - 58 = 5*w. Do -16 and n have the same value?
False
Let p be 40*4/(-30)*3. Let m be 1 + (-12)/p + -1. Which is smaller: m or 1?
m
Let w(c) = 2*c + 8. Let b be w(-4). Is b smaller than 2/39?
True
Suppose 5*p + 214 = 4*g, -7*p - 4*g - 122 = -4*p. Is -43 greater than p?
False
Let d = 34 - 32. Let z be 44/16 + (-3)/4. Is d not equal to z?
False
Let t(j) = -j**3 + 3*j**2 + 3*j + 4. Let n be t(4). Suppose -4 = -v - v. Let w be 1 + 11/(-4) + v. Which is bigger: n or w?
w
Let f be (-1)/6*(-12)/33. Which is bigger: -1 or f?
f
Let k(p) = p + 3. Let y be k(-5). Let n = 0 - -2. Which is greater: n or y?
n
Suppose -5*i + 16 = 1. Let r(t) = 0*t - 3*t**i - t**2 - t + 0*t. Let j be r(-1). Is j at least as big as 2?
True
Let h be (8/(-11))/((-15)/7). Let c = -1/13 - -7/429. Let f = c - h. Which is bigger: -1 or f?
f
Let y be 3 + (675/48)/(-5). Which is bigger: y or 0?
y
Let l(y) = y**2 + 5*y - 4. Let i be l(-6). Let h = i + -1. Which is smaller: -2/5 or h?
-2/5
Let f = 2 - 9. Let k = 12 + f. Which is bigger: k or -1?
k
Suppose -2*k + 4*u = -8, 5 = -2*k - u + 3. Suppose k*h + 2 = 2*h. Is 4/9 at most as big as h?
True
Let m = 0.05 - -0.45. Let g = m - 2.5. Which is greater: g or 1?
1
Suppose -3*q + 14 = -f, -2*q - 3*q = 2*f - 5. Suppose -2*c - 5 = -q. Let m = 52/3 - 217/12. Which is smaller: m or c?
c
Let x(i) = 4*i**2 + 5*i - 7. Let s(m) = 9*m**2 + 11*m - 15. Let t(d) = 3*s(d) - 7*x(d). Let y be t(-3). Are 3/4 and y equal?
False
Let q be 22/8 + -3 + (-3)/(-12). Is q bigger than -1/124?
True
Let i = -7 - -6. Let s be ((2 - i) + -3)/(-2). Let h be (s/2)/(-1 + -1). Which is smaller: h or 2?
h
Let a = -4 + 7. Let l = 3 - a. Let c = l - 0.2. Which is smaller: c or 0?
c
Let s be (16/(-42))/(-4)*(-6)/(-2). Let w be (6/(-16))/(1/2). Is s less than or equal to w?
False
Suppose 0 = 4*q - 9*q + 250. Let j = q + -452/9. Let o be ((4 + -1)/3)/1. Is j less than o?
True
Suppose -4*i = -l - 7, i - 8 - 20 = -5*l. Suppose -51 = -2*b + o, -2*b + l*b + 4*o - 60 = 0. Let v = b - 97/4. Which is smaller: v or -0.1?
v
Let g = 3.7 + -4. Which is greater: -1/3 or g?
g
Let n = 0.03 + -0.06. Let d = n + -1.27. Is -1 at most d?
False
Let i(o) = o**3 + 4*o**2 - 2*o + 1. Let l be i(-4). Which is smaller: 11 or l?
l
Let b = 0.2 - -0.8. Let k = -0.14 + -1.86. Let w = k + b. Is -0.1 at most w?
False
Let p = 35 + -38. Is -2 equal to p?
False
Suppose 14*d - 15*d = 42. Which is smaller: -41 or d?
d
Let k be 4/(-14) + (-298)/(-14). Let f be 6/k + (-9)/7. Let s be 5/(-6)*(484/(-100) + 5). Which is smaller: f or s?
f
Let d(g) = -g**2 + 11*g + 3. Let x = 6 - -5. Let a be d(x). Which is smaller: 1 or a?
1
Suppose 5*k - 6 = -81. Which is smaller: k or -16?
-16
Let j(c) = -7*c**3 - 1. Suppose -1 = -x - 2. Let u be j(x). Suppose -u*z = -z. Is z > 2/15?
False
Suppose -4*p - p = k - 17, 0 = 4*k + 4*p - 36. Let u be (-8)/10 + (k - 5). Which is smaller: 1 or u?
1
Let l be ((-232)/6)/(6/9). Is l at least as big as -57?
False
Let s be ((-2)/((-8)/(-44)))/(-1). Let h = s - 10. Are h and 2 nonequal?
True
Let t = 61 - 56. Is t at most 2?
False
Let c = 1.1 + -1. Is -1/21 at least as big as c?
False
Suppose -1 = -5*p + 4. Which is greater: 3/11 or p?
p
Let b = -676/45 + 155/9. Is b equal to 3?
False
Suppose -22 = -4*h + 26. Is h >= 12?
True
Let n(h) = h. Let p be n(-4). Let d(m) = 2*m - 8. Let i be d(6). Let u = -7 + i. Is u greater than p?
True
Let t = 30 - 19. Is 1 not equal to t?
True
Suppose -3*m - 5 = -41. Suppose -5*n - 4 = i + 5, -2*i - m = 4*n. Is n at most 3?
True
Let q be 4/(-2)*(-2)/4. Let r = 4 - 4. Suppose r = -l - 2*l + 3. Are l and q unequal?
False
Let v(d) = -d**2 + 0*d**2 - 6 + 10 - d. Let t = -9 + 6. Let b be v(t). Which is smaller: b or -1?
b
Let b = -27/16 - -585/176. Which is smaller: 1 or b?
1
Suppose -2*h - 3*y = -21, -3*y + 15 = 4*h - 12. Is 1 less than h?
True
Suppose 4*n + 8 = -0*n. Which is smaller: n or -47?
-47
Let t = 119 - 602/5. Which is greater: -2/5 or t?
-2/5
Let c = -200 + 3997/20. Which is greater: c or 1?
1
Let f = 0.38 + 