: 33 or n?
n
Let c = 13 - 11. Let x be (c/(-4))/(7/28). Which is greater: -1 or x?
-1
Let g = 458992712/4488195 + 2/299213. Let p = g + -314/3. Let o = -53/20 - p. Which is greater: o or 0?
0
Let d = -3 - 1. Let m be ((-2)/12)/(d/4). Suppose 0 = h + u - 3 - 3, -h - 3*u + 16 = 0. Which is bigger: h or m?
h
Let t be (6/4)/((-3)/(-4)). Suppose t = p - 0. Is 1 < p?
True
Let p be 6/21 - 112/49. Let a = -4 + 0. Which is greater: a or p?
p
Let l = 9 - 9.6. Let j = -1.1 - -0.1. Let c = l - j. Is 0 != c?
True
Let a(f) = 5*f**2 - 9*f - 17. Let u(n) = 9*n**2 - 18*n - 33. Let z(k) = 7*a(k) - 4*u(k). Let r = 23 + -13. Let i be z(r). Does i = 4?
False
Let t(x) = -16*x - 1. Let v be t(2). Which is smaller: -34 or v?
-34
Let r(w) = w**3 + 3*w**2 + 2*w. Let g be r(-2). Suppose -2*a + 4 = -g. Is 1 equal to a?
False
Let c be (-1 - (4 + -4))/(-3). Is 11 <= c?
False
Let g = 9 + -8. Let w = g - -2. Are w and -2/5 unequal?
True
Let l be 302/20 + 2/4. Let s = -16 + l. Which is bigger: -24 or s?
s
Let o be (0 - -1)/(30/(-18)). Let d(u) = 5*u - 2. Let i(x) = 11*x - 5. Let t(f) = 13*d(f) - 6*i(f). Let a be t(6). Which is smaller: a or o?
a
Let c be -4 + 6 - 372/130. Let w = 6/13 + c. Let l = -1/50 - -31/50. Which is smaller: w or l?
w
Let g = 11 + -4. Let j(m) = 4*m**2 - 9*m - 3. Let v(t) = 3*t**2 - 8*t - 4. Let s(r) = -2*j(r) + 3*v(r). Let a be s(g). Is -0.1 != a?
True
Let b = -0.26 + 0.16. Which is bigger: b or 4/9?
4/9
Suppose 5 = -6*m + m - 3*o, -m + 17 = -3*o. Suppose 0*h = -5*h + 15. Which is bigger: h or m?
h
Suppose -7*w + 3 = 10. Let b be (-2)/8 - (-1)/4. Do w and b have the same value?
False
Let d be 2/(-7) - 54/(-42). Let h be (d - -1) + 0/9. Which is bigger: h or -3?
h
Let k = 20 - 19. Which is bigger: k or 2/5?
k
Let o(b) = -b**3 - 31*b**2 - 31*b - 35. Let i be o(-30). Let a be ((-1)/1)/(2/(-3)). Do a and i have different values?
True
Let s = -20 - -90. Suppose 0*r = -5*r + s. Let z be 104/(-28) - 4/r. Is z > -5?
True
Let m(a) = 2*a**2 - 6*a + 3. Let b be m(4). Is b bigger than 10?
True
Let o be (-2)/(-10) - (-3)/(-15). Suppose 5*a - 3*j + 35 = 0, 3*a - 4*j + 32 = -o*a. Let x be 3/(-6) - 10/a. Is x greater than 1?
True
Let x = -4 + 6. Let a be (-5)/2*165/x. Let n = 205 + a. Are 0.1 and n equal?
False
Let w = 9 - 5. Suppose 4*c + 0 = -w. Which is greater: 2/21 or c?
2/21
Let s = 1.21 - 0.81. Which is greater: 0.11 or s?
s
Suppose 4*x - 16 = 4*q, 2*q - 2*x = 2*x - 16. Let n be (-3)/2 - (-8306)/(-36). Let i = n + 232. Is q greater than i?
True
Suppose -8 = 4*c - 20. Suppose -h = -c*h. Which is smaller: 1/3 or h?
h
Let x(f) = -f**2 + 7*f + 13. Let i be x(9). Which is smaller: -6 or i?
-6
Let c(f) = f - 17. Let w be c(0). Let n = 67/4 + w. Let q = -2.0168 - -0.0168. Which is greater: q or n?
n
Let d(n) = n**2 + 2*n - 2. Let i be d(-5). Let t = i - 115/9. Which is greater: -1 or t?
t
Let b = -7 + 12. Suppose 3 = -b*f - 12. Let g(i) = i**2 - 9*i - 13. Let o be g(10). Is o bigger than f?
False
Let v(n) = n**3 - 6*n**2 - 5*n - 9. Let x be v(7). Suppose 0 = -x*m + 2*j, 2*m - 4 - 5 = -j. Is 4 bigger than m?
True
Let b = 0 - -3. Let x = 2.2 - b. Does -0.1 = x?
False
Let y be 0/((2/1)/2). Let o be 1/3 + (-5)/15. Is y <= o?
True
Let a = -0.8 + -0.2. Let j = -27023/904 - -2/113. Let r = 30 + j. Which is smaller: r or a?
a
Let b = -0.6 - -1.1. Which is smaller: b or -1/4?
-1/4
Let n = 5 + -1. Suppose -n*w = 3 - 7. Let l be -4 + 2 + 1 + w. Which is smaller: l or -1/7?
-1/7
Suppose 0 = 5*i - a - 99, 83 = 5*i + 5*a - 2*a. Is 18 at least i?
False
Let x be (1 + 2/(-6))*-6. Let t(g) = -g**3 - 5*g**2 - 5*g - 3. Let v be t(x). Let m be 1/(2 + 3 + -2). Which is smaller: v or m?
m
Let l be (2 - (-16)/(-15))/((-4)/3). Let j = 14/25 + 31/25. Let x = l - j. Is -4 less than x?
True
Let f be ((-8)/(-6))/(-2)*-3. Suppose f*n - 5*q = -17, 3*q - 3 = n + 7. Is n less than -1?
False
Let h = 2 + -4. Suppose 0 = -3*x + 3*w, x = -x + 5*w. Let o(i) = -i**2 + 2. Let k be o(x). Is h > k?
False
Let u = 16 + -12. Suppose -4*m = y + 4, m + u - 3 = -2*y. Which is smaller: 2/13 or m?
m
Let v = 19.08 - 0.08. Let j = v - 21. Which is greater: -4 or j?
j
Suppose -4*j + 13 = -5*n - 5*j, 0 = 4*n + j + 11. Which is smaller: n or -12/19?
n
Let c be 12/(-9) + 4/(-6). Which is greater: -5/2 or c?
c
Let b be (-10)/(-14)*(-12)/(-30). Let i = 0 + 0.2. Which is smaller: i or b?
i
Suppose 4*f - 4 = v + f, 5*v = -f - 4. Let i be (v/3)/((-3)/27). Let t = -2 + 4. Is i at least as big as t?
True
Suppose 2*p = 17*p - 315. Are p and 19 nonequal?
True
Let h = 5 - 15. Let t = -5 + -5. Is h > t?
False
Let s(h) = -h**2 - 5*h + 5. Suppose 2 = a + 8. Let v be s(a). Which is greater: -3 or v?
v
Suppose -4*m + 3*m + 5*t = 17, -3*t = m - 7. Suppose -4*f = 3*v - v - 18, -6 = 2*v - 4*f. Suppose -v*n = 4*x - 5, 5*n = 2*x + n + 14. Are m and x equal?
False
Let v be (16/(-100))/((-8)/(-20)). Is v greater than or equal to -1/4?
False
Suppose -2*y - 3*f = -19 - 136, -2*y + 150 = -2*f. Let c be y/(-36) - (0 + -2). Is -1 at most as big as c?
True
Let j be 6/(-18)*(-2 - -3). Is 2 less than j?
False
Let f be (-2)/6*4/(-6). Let y be 4/6 - (-16)/(-14). Let v = 92/105 + y. Is f at least as big as v?
False
Suppose 0 = 4*d - 4, -5*i - 4 = -2*d + 3*d. Is 1 less than or equal to i?
False
Let r = 4/33 + -86/165. Which is smaller: -1.8 or r?
-1.8
Suppose -3*y - 3*k - 99 = 0, -3*y + 5*y = 5*k - 94. Let x = y - -203/5. Is 5 at most x?
False
Let v be -2*4*4/16. Let u(y) = 3*y**2 - 2*y - 1. Let b be u(-2). Suppose -3*q - 2*q = 5*f - b, -4*f = q. Which is smaller: f or v?
v
Let q = 1024016 - 517128292/505. Let i = q + 2/101. Which is bigger: 1 or i?
1
Let y = -105 - -104. Let u = -1.53 + 1.6. Let d = u + 4.93. Are d and y equal?
False
Let d = -0.1 + 0.3. Let n = -0.3 - 2.7. Let q = n - -4. Which is bigger: q or d?
q
Let p(s) = -s - 2. Let u be p(-5). Let d = 2 - u. Let l = -511 - -11751/23. Is d smaller than l?
True
Let x = 0.22 - -34.78. Is -2/3 bigger than x?
False
Let j = -2 + 1. Let h = -131 + 133. Do j and h have the same value?
False
Let r(f) = -f**2 + f + 27. Let i be r(0). Which is bigger: 26 or i?
i
Let r = -23 + 17. Suppose 0 = 8*y - 11*y - 15. Is y less than or equal to r?
False
Suppose -4*h + 25 - 1 = 0. Let q be 2/(-4) - (-5)/h. Is 3/16 < q?
True
Let a be ((-50)/3)/((-55)/(-15)). Which is bigger: -4 or a?
-4
Suppose 13 = 2*u + 4*n - 7, 3*u - 2*n = -10. Which is bigger: 4/19 or u?
4/19
Let f(s) = -s**2 - 4*s + 4. Let o be f(-4). Let h be ((-46)/(-2))/1 + 1. Suppose z - o*b = h, z - 5*b - 17 = 3*z. Which is smaller: 3 or z?
3
Let y = -2 - -2. Let u = -0.2 + y. Is u at least 0.1?
False
Let f = -5 - -3. Is f > 0.09?
False
Let m be (-7)/21*6/(-34). Is m <= 0?
False
Suppose 3 = u + 3*t - 12, 2*u - 2*t = -10. Is -1/4 at most u?
True
Let g = -6 + 0. Let m = g + 5.2. Is m greater than or equal to 1?
False
Let w = 0.141 - -5.759. Let g = 0.1 + w. Which is smaller: 0.1 or g?
0.1
Let b = 0.1 + -0.1. Let f = b + -0.1. Let x = 1.6 + -1.5. Which is greater: f or x?
x
Let o = 93 + -81. Let g = -16 - -27. Which is smaller: g or o?
g
Let r be 8/(-28) - (-1)/42*-2. Let d = -0.6 - 0.4. Let v = 1 - d. Is r < v?
True
Let k(u) = u. Let c be k(-3). Let y be (-40)/(-6) + 8/(-12). Let a = y - 8. Are a and c nonequal?
True
Let s = 695 - 488. Let g be s/198 - (1 + 0). Which is bigger: 0 or g?
g
Let w be (4/2)/(4/6). Let x be ((-1)/1)/(1/w). Is -3 != x?
False
Let p = 92.7 - 93. Which is bigger: p or 2?
2
Suppose 5 = -4*u - u. Let r be (1 - 2)/1*u. Are -1 and r nonequal?
True
Let y(n) = -n**3 - 3*n**2 - 3*n. Let q be y(-2). Is 2 greater than q?
False
Let o be ((-6)/4)/((-27)/(-4)). Let t be 1/(-2) - 8/(-10). Let b = 19/30 - t. Which is smaller: b or o?
o
Suppose 3*m + 5*r + 19 = 0, m + 2 = -3*m - 2*r. Suppose -3*k - m = -2*k. Let f be (-2)/3 + (-2)/(-3). Is k at most f?
True
Let v be 0 + 1 + 3 + -2. Suppose -2*g = -4*s - 20, -10 - 10 = -4*g + 3*s. Does g = v?
True
Let k(l) = -l**2 - 6*l + 6. Let j be k(-6). Let r be ((j - 3) + -3)/(-1). Suppose 4*w - 14 = -f, r = -3*f + 3*w - 6 - 12. Which is bigger: f or -7/4?
-7/4
Suppose -2 = p + 16. Let t be (p/12)/(3/(-22)). Which is greater: 12 or t?
12
Let f(p) be the first derivative of -p**2/2 - 3. Let a be f(1). Which is smaller: a or -1/4?
a
Suppose -4*i + 6*i = 0. Let k = i - -1. Is 1 smaller than k?
False
Let u(m) = -m**3