 or o?
n
Let c = 0.01 - 0.01. Is 13 bigger than c?
True
Let r be (-3)/(-9) - (-8)/(-12) - 0. Which is smaller: -16/7 or r?
-16/7
Suppose 0 = 5*n - 4 + 34. Let r be 2/(-7) - (-118)/(-28). Which is smaller: r or n?
n
Let l be 1*3/(-18)*-4. Is l > 0.35?
True
Suppose -2*u - 11*u - 507 = 0. Is -39 smaller than u?
False
Let o(p) = 2*p**2 - 5*p - 3*p**2 - p - 2*p + 2. Let k be o(-8). Which is bigger: k or 2/5?
k
Let q = 0.2 - 0.4. Suppose 0 = -z + 3*n - 6, 3*n = -2*z - n + 18. Suppose 27 = -2*t - o - 4*o, 0 = -z*t - 2*o - 13. Is q at least as big as t?
True
Let h = 0.42 - 0.92. Is h > -0.3?
False
Let h = 7/80 - 3/16. Which is greater: h or 1/8?
1/8
Let t = -0.94 - 9.26. Let a = -10 - t. Is -0.4 at least a?
False
Let l be 4/18 - (-2)/(-9). Let b be 13/4 - (l + 3). Is b >= 1?
False
Let i be 13 - (-4)/(8 - 4). Is i <= 14?
True
Let t be (-9)/12*(-4)/1. Let p be (t/(-5))/(2/(-10)). Let z be (-20)/8*8/(-5). Is z at most p?
False
Let b be (-4 - -1)*1 - -1. Let x be (-190)/(-8) - 1/(-4). Let r = 47/2 - x. Which is smaller: r or b?
b
Let x be 16/2 + 8/(-4). Is x equal to 14/3?
False
Let x = 174 - 175. Let f = 19.17 + -19. Do x and f have the same value?
False
Suppose 2*f - 2*m = -4, -3*m + 18 = -3*f - 2*f. Let u be 14 + (f/(-3))/(-1). Let p be ((-2)/u)/(8/(-12)). Which is bigger: p or -1?
p
Let c be 3 - (-76)/84*-3. Which is smaller: c or -2/5?
-2/5
Let n be 1952/420 + 2/5. Let k be 55/(-33)*(-16)/5. Let m = k - n. Is m greater than -1?
True
Let p be 1*8/(0 - -2). Is 1 equal to p?
False
Let n = 75 + -49. Let q = -25.95 + n. Let k(c) = -c**3 + c**2 + 3*c - 1. Let h be k(2). Is q at least h?
False
Let s(p) = 4*p**2 - p. Let z be s(1). Let c = 3 - z. Is -1/2 greater than or equal to c?
False
Suppose 0 = h + 2*h. Let l = 4/27 - -80/189. Is l less than h?
False
Let x(i) = i**2 + 6*i - 7. Let w(b) = b**3 - 9*b**2 - 2*b + 11. Let n be w(9). Let o be x(n). Let d be 3 + -2 + 2 + -1. Which is greater: d or o?
d
Suppose 4*s = -3*c - 18, -s + 5 = -4*c - 0. Which is bigger: -1 or s?
-1
Suppose 2*p - 6*s - 4 = -5*s, 0 = -p - 3*s - 5. Let l = -5 + 2. Does p = l?
False
Suppose -247 - 110 = -7*v. Is 52 >= v?
True
Let v(p) = -p**2 + 8*p + 4. Let q be v(7). Which is greater: 12 or q?
12
Let b = 0.22 + -0.24. Is b < -1?
False
Let y(w) = -5*w - 5. Let s be y(-2). Suppose s*p - p + x = 1, -25 = -5*x. Which is bigger: p or -3/5?
-3/5
Let o(u) = -5*u**2 + 9 - u - 10*u**2 - 2*u - 11. Let j be o(-1). Is -15 less than j?
True
Suppose 0 = -0*v - 10*v - 90. Is -9 bigger than v?
False
Let w be ((-2)/(-2))/((-1)/1). Let y be 1 + ((-3)/w)/3. Let m be 1 + y/(-5) + 0. Which is smaller: 0 or m?
0
Let k = -867/2542 - -12/41. Let p = -145/434 - k. Is 1/4 greater than p?
True
Let h = 0 - 0. Let d = 3 - -1. Let s be (12/28)/(d/(-7)). Which is bigger: s or h?
h
Suppose 299 = 3*p - 367. Let c be -1 + 394/p + 0. Let o = 4/37 - c. Is o bigger than 3?
False
Let l = -137.5 + 138. Is 2/33 at most l?
True
Let y = -63 - -63. Let o(c) = 1 - c**2 + 3*c**2 + 2*c - c**3 + 0. Let j be o(-1). Which is greater: y or j?
j
Let z = 6 - 4. Suppose -6*c = -z*c. Is -3 less than c?
True
Let t = 11 - 9. Suppose -d = 3 - 6. Let g = d + -3. Which is smaller: g or t?
g
Suppose 0 = -f - 0*j - 2*j - 2, -f - 3*j - 1 = 0. Is f greater than 0.01?
False
Let q = -13 + 14. Suppose 16 = -f - 3*z, 0*z + 3*z = -9. Let b(c) = c + 8. Let o be b(f). Is o less than q?
False
Let a(c) = 8*c - 1. Suppose 3*i - 10 = -2*v, -5*v = 5*i - 4*v - 19. Let j be a(i). Suppose 3*n - 3*p = 2*p + j, 3*p = 5*n - 25. Which is smaller: n or 5/2?
n
Suppose 12 = -4*b - 3*f - 4, 0 = 5*b + 3*f + 17. Let m = 1 - b. Which is bigger: m or 1/6?
m
Let d be ((-16)/(-32))/((-2)/92). Which is smaller: -24 or d?
-24
Let u be 119/35 - (-2)/(-5). Suppose 6*z = u*z. Is -2 equal to z?
False
Let j = 12 - 19. Let f = j - -6. Is 0.1 < f?
False
Suppose 0 = -4*d + 1 + 7. Let o be 1/(d + 2 + -3). Let j be (o*(-4)/10)/1. Which is greater: 1 or j?
1
Let x = 0.3 + -0.3. Let s = 0.1 + x. Let t be 6/(-4) + 0 + 2. Is t <= s?
False
Suppose 8 = 2*k - 0*k. Let o(j) = -j + k + j - j. Let m be o(4). Which is bigger: m or -2/7?
m
Let r(z) = -z. Let i be r(-1). Suppose 0 = w - i + 2. Is -3/8 smaller than w?
False
Let n = 157/72 - 14/9. Let c = n + -7/8. Which is greater: 0 or c?
0
Let l = 1.55 + -1.55. Is l at most as big as 5/14?
True
Suppose 4*b = -0*b + 20. Let t be 11/(-30) - (-1)/b. Which is smaller: t or -3?
-3
Suppose 0 = 3*l - l - 2. Let d be -2*l/20*4. Suppose -1 = 2*y + 1. Which is smaller: d or y?
y
Suppose 0 = 2*g - 1 - 3. Let i be ((-40)/(-16))/(g - 1). Are i and 0.1 non-equal?
True
Let f be (-1 - 0)/(2/(-10)). Let m be 54/(-45)*20/(-6). Is f bigger than m?
True
Suppose -3*m + 8 = 2. Let t = 3 - m. Which is bigger: 2/19 or t?
t
Let k be -1*(20/2 + -2). Let d be (-3)/6 - 6/k. Let w = -11 + 10. Is w bigger than d?
False
Let k be (0 - -4)/(-2) - -1*3. Is k != 1/30?
True
Let n(r) = 2*r + 1. Let c be n(-3). Let d(b) = -b**3 - 6*b**2 - 6*b - 3. Let a be d(c). Suppose 5*g + a*z = -1, 2*g - 3*z - z - 14 = 0. Is g smaller than -3?
False
Suppose p + 2 = -1. Let j be 1 - (p + 2 + 26). Let m be j/18*(-1)/(-4). Which is smaller: m or -1/4?
m
Let l(o) = -2*o**2 + 2*o + 2. Let z(y) = -y**2. Let w(b) = l(b) - 3*z(b). Let s be w(-2). Which is greater: s or 0?
s
Let c = -4 - -6. Let b = 12.84 + 0.16. Let x = 13.2 - b. Is c greater than x?
True
Let r(b) be the first derivative of b**3/3 - 3*b**2 - 1. Let s be r(6). Suppose s = -3*d - 3*t - 15, 4*d - 4*t + 5 = 25. Is d less than 4/3?
True
Suppose -b - 5*r + 1 = 0, 5*b + 19 + 2 = r. Let g(z) = -z**2 - 4*z - 6. Let a be g(b). Is a equal to -6?
True
Suppose -15 = 6*l - l. Let n = l - -3. Let t be 6/(-60)*-46 + -4. Is t less than n?
False
Let q(j) = j**2 - 18*j - 19. Let m be q(19). Which is bigger: m or 1/97?
1/97
Let i = 1/1527 + -4657/116052. Which is smaller: 0 or i?
i
Let s be 6/9 - 10/(-3). Let m = s + -4. Which is smaller: m or 0.1?
m
Let f = 2 + -2. Let n = f + -9. Which is smaller: -0.1 or n?
n
Let l = 14 - 11. Suppose -2*q - l = -13. Is q < 5?
False
Let l be 10/40 - (1 - 14/8). Which is smaller: -117 or l?
-117
Suppose 0 = 3*l + 2*l - 205. Let m = 329/8 - l. Which is bigger: 0 or m?
m
Let d(a) = 9*a**2 - a - 1. Let b be d(-1). Which is bigger: b or 10?
10
Let x(n) = -4*n + 52. Let r be x(13). Is -5/13 not equal to r?
True
Suppose 11*i = 8*i + 54. Let k = i + -19. Which is greater: k or 2/17?
2/17
Let v = 48 - 479/10. Let y(g) = -g**3 + g - 1. Let n be y(0). Which is bigger: n or v?
v
Let m = -0.45 - -0.15. Is -4 < m?
True
Let c = -4079/330 - -123/10. Which is smaller: -1 or c?
-1
Let l = 0.4 - -0.6. Let h = l + -0.8. Are h and 2 non-equal?
True
Suppose -4*k + 95 = -b, 0 = -k - 0*b - 2*b + 26. Which is greater: k or 25?
25
Let m = 2/21 + 31/42. Is m greater than 2/7?
True
Let y = 7 - 6. Let l = -2 + 1. Let t be l*50/(-54) - y. Is 1 < t?
False
Let a(n) = -n + 5. Let w be a(6). Let p = 152/3 - 2423/48. Which is bigger: w or p?
p
Suppose 0 = 5*c - 9*c + 4. Is c <= 1/43?
False
Let d(m) = m**2 + 3*m + 3. Let u be d(-2). Let b = -1 + 2. Suppose 3*v - 2 = b. Is v greater than u?
False
Suppose x + 5*c = -3*x, x = c. Which is greater: -1/6 or x?
x
Suppose 0*v + 5*v - 20 = 0. Let f be 45/42 - 6/v. Is f greater than or equal to 2?
False
Let s = -22 + 30. Is s > -2?
True
Let z = -14 + 11. Which is greater: -6 or z?
z
Suppose 0 = -5*t - 2*x - 6, 0*x = 3*x + 9. Suppose 57 = 5*k + 2*z - 0*z, -5*k + z = -69. Suppose -r - k = 5*v + 3*r, 4*r = -3*v - 11. Which is greater: t or v?
t
Let u = -0.16 - -10.16. Let v = u - 18. Let j = v - -7. Is 3 smaller than j?
False
Suppose -4 + 12 = -c - 2*k, 5*k = c - 27. Which is smaller: 0 or c?
0
Let n = -0.12 - -0.22. Let i = 3 + -3.8. Let w = i - -1. Is n > w?
False
Suppose 3*s - 5*s - 4 = 0. Let n be (-5 - 0) + 2/s. Which is smaller: n or -5?
n
Suppose -2*d = -4*f + 126, 5*d + 111 = 5*f - f. Is 33 smaller than f?
True
Let s be (-32)/(-148) - 0/(-6). Which is smaller: s or -0.1?
-0.1
Let o be (-96)/(-20) - 3/(-15). Suppose o*j = 3*f + 16, 4*f - 3*j + 33 = 8. Which is bigger: f or -6?
-6
Let f be (-75)/(-18)*(-27)/357. Let v = f + 1/34. Are -1 and v nonequal?
True
Let h = 1685/11 - 153. Let c = -28 + 28. Which is smaller: c or h?
c
Let p(f) = -f**3 + 4*f**2 + f - 5. Let d be p(4). Let v = d + -1. Is v < -2?
False
Let i =