 u?
-4
Let x(u) = 7*u - 3. Let k be x(-3). Let j be ((-3)/12)/((-33)/k). Which is greater: 0 or j?
0
Suppose -3*z + 6*l - 2*l + 28 = 0, 4*l + 4 = 0. Let t be (z/(-6) + 2)/(-2). Which is bigger: t or 1?
1
Let q = 5.6 + -2. Which is smaller: -1 or q?
-1
Let c = 17/38 - -1/19. Suppose 3 + 18 = 3*s. Let u = s + -6. Is u at most as big as c?
False
Let s(p) = p + 1. Suppose 0 = 4*a + 2*f - 8, f - 4 = -0. Let i be s(a). Let b = -29 + 117/4. Which is smaller: i or b?
b
Let c be (2/1 - 3) + 5. Let a = -5 + 10. Suppose 0 = -9*k + 4*k + 3*s - c, 16 = -3*k - a*s. Is k <= -2/3?
True
Let s be (8/(-60) - 22/10) + -1. Which is bigger: s or -3?
-3
Let h be (42/63)/(1/(-6)). Which is smaller: -6 or h?
-6
Let z = -0.58 + 0.37. Which is smaller: z or 1?
z
Let k = 2695/9 - 13244/45. Let x = -24/5 + k. Which is bigger: x or -1?
x
Let d = -1204/26469 + 9/173. Which is smaller: d or 0?
0
Let y = -98 + 85. Is y bigger than -14?
True
Let u(d) = 7*d + 1. Let j(h) = -10*h - 1. Let c(w) = 5*j(w) + 7*u(w). Let k be c(-6). Let f be (7/(-4))/(2/(-8)). Which is smaller: f or k?
f
Let y = -11.7 - -11.64. Which is smaller: 2/5 or y?
y
Suppose -2*w - 31 - 21 = 0. Let o be 2/12 - w/12. Suppose 0 = 5*v - 15, -v + 8 = t + 2. Is o bigger than t?
False
Suppose -1 = -2*k + 23. Which is smaller: k or 14?
k
Let q = 12 - 10. Let v be (q/35)/((-5)/50). Is -1 > v?
False
Suppose 3*x + 2*a = 164, -2*x - 5*a = x - 167. Let z be 8/(-3)*x/(-12). Is z bigger than 11?
True
Let z be (36/30)/((-9)/300). Is z less than or equal to -40?
True
Suppose 164*o + 50 = 169*o. Let v be (-2)/(-6) - (-26)/3. Which is smaller: o or v?
v
Let h be (-1 + 2)/(3/2). Let i be (-30)/(-20)*(-4)/6. Let l be 6/6 - (-1 - i). Are h and l nonequal?
True
Suppose 0*o - 8 = -2*o. Suppose 42 = -5*q + o*v, 4*q = 3*q - v - 3. Let i = q - -4. Which is smaller: -1 or i?
i
Let i be 4/6 - 7/(-3). Let o be i/6 - (-1)/(-18). Is o equal to 0?
False
Let i = -120.1 - -120. Does i = -33/4?
False
Let l = -15 + 21. Let i = l - 4. Suppose 10 = -5*s + 5*x, -6*x = -x - 25. Which is greater: s or i?
s
Suppose -2*r + 12 = -0*q - 3*q, q + 4 = r. Let l = 9 - 4. Suppose -l*y + m - 26 = 0, -3*y + y = m + 9. Is q greater than or equal to y?
True
Suppose 2*b + 5*t = -11, 0*t + 1 = -t. Let m(s) = 2*s**2 + s + 3. Let f be m(b). Let v be 2/(-4) + 3/f. Which is bigger: 1 or v?
1
Let p be -9 - ((-12)/(-3) - 7). Which is smaller: -8 or p?
-8
Let v be 1 - (-5)/((-10)/4). Let o be (-2 - -2) + 4 + v. Is 4 at most as big as o?
False
Let l be (-26)/(-4) + (-4)/8. Suppose 36 = 4*z - 16. Let g = z + -8. Are l and g non-equal?
True
Suppose -20 = -3*d - 98. Let h = d + 25. Is -1 greater than h?
False
Let n = -115 + 808/7. Let z(b) = b - 1. Let j be z(-1). Do n and j have different values?
True
Let r = 0 - -22. Suppose -3*z - r = 23. Let n be ((-1)/6)/((-20)/z). Which is smaller: 1 or n?
n
Let n = -8 - -8. Suppose -c + 0*c = n. Which is smaller: -1 or c?
-1
Let g be (-305)/14*44/20. Let s = g - -48. Do s and 1 have the same value?
False
Let z = 37/2 + -19. Which is greater: z or -2?
z
Let y(u) = -u**2 - 3*u + 2. Let z be y(-3). Suppose -25 = -7*m + z*m. Suppose -5*g = 5*d, 0 = -5*g + m*d - 0*d. Which is greater: g or -1/3?
g
Let y = -3 - -3.2. Let v(z) = -z**3 + 18*z**2 + 19*z + 5. Let u be v(19). Which is smaller: y or u?
y
Let i be (-2485)/(-568) + 1 + (-11)/8. Suppose n + 1 = 5. Is n <= i?
True
Suppose -2*x = 3*h - 19, x = 2*h - 9 + 1. Let o be ((-2)/6)/(2/h). Which is greater: o or -2?
o
Let n(u) = u**2 - 6*u - 3. Let h be n(6). Let b(l) = 2*l + 12. Let y be b(-8). Which is greater: y or h?
h
Let c be 4/15 - 10/(-25). Let t = -1/3 + c. Which is bigger: t or -2/7?
t
Let s be 10*2*-1 - (16 + -13). Is -1 less than s?
False
Let n = 21.8 - 22. Which is smaller: n or -7?
-7
Let y be 1*(148/36 + -4). Is y at least as big as 1?
False
Let x = -20 + 5. Let n be 6/x + (-17)/(-55). Suppose -5*r - 28 = 3*m, 0 = r + 2 + 3. Is m not equal to n?
True
Let y = 93 - 78. Is y at most 20?
True
Let j be (-1)/(-8)*5/(-10). Is 0 less than or equal to j?
False
Let w = -3 + 3. Let f be 160/70 - 4/14. Suppose 0 = -3*d - 5 + f. Are d and w unequal?
True
Suppose -4*b + 2 = 2*r - 0, 2*r = -2*b. Let z = -8 + r. Let m be 6/z - 2/6. Which is greater: m or 0?
0
Let m(x) = -x**2 + x + 5. Let z be m(0). Suppose -5*v + 4*j = 26, -z*v - 6*j = -j + 35. Which is smaller: -5 or v?
v
Let z be (-10)/(-15) + (-2)/3. Let d be -1*(z/3 + -1). Which is smaller: 4/3 or d?
d
Suppose 3*g = -11 - 1. Let n(q) = -q - 3. Let v be n(g). Let r = -7/4 - -127/68. Which is greater: v or r?
v
Let o be ((-3)/(-6))/((-1)/2). Let v = 0.21 - 0.2. Do v and o have the same value?
False
Let w(h) = h - 81. Let y be w(-11). Does y = -93?
False
Let n = 117 - 115. Are 51 and n equal?
False
Let m = 3.5 - -0.5. Let p = 6 - m. Let i = 1.9 - p. Does 3 = i?
False
Let h be (-16)/72 + (-40)/(-18). Suppose 7 = o + 5*r, 0 = -o - r + 5 - h. Which is smaller: -1/2 or o?
-1/2
Suppose -2*s + 4*z + 8 = 0, -4*s + 1 = -5*z - 9. Let q = 678/5 - 136. Which is bigger: s or q?
s
Let d = -49 - -48. Which is smaller: d or -2/3?
d
Let i be 3/(-21) - 0/1. Let t = -940/7 + 134. Which is greater: i or t?
i
Let r = 0 + 2. Let o(x) = x**3 - 4*x**2 - 4*x - 1. Let u be o(5). Which is smaller: r or u?
r
Let p = 2 + -1.9. Let j = p - -0.5. Let q = -0.8 + j. Does q = 3?
False
Suppose 0 = -4*b, b + 0*b = -3*i + 12. Suppose -i*f - 12 = -3*g, -2*f + 4 = 2*g - g. Which is smaller: f or -1?
-1
Suppose 49*w - 55*w + 162 = 0. Do -2 and w have the same value?
False
Let o(i) = i**3 - 6*i**2 + 6*i - 1. Let g be o(3). Is -10 < g?
False
Suppose 2*g = 3*b - b + 2, 2*b + 5*g = 19. Let r be (-2)/(-6) + 11/3. Suppose i = -3*m + 2, -b*i + 4 = 2*m - r. Is m != -1?
False
Let c be (9/(-6))/(9/(-12)). Is 1/2 at most c?
True
Suppose -3*q = -0*q - 6. Suppose q*f - 5*k = -5 + 30, 5*k = 3*f - 25. Let d = -77 - -541/7. Is f > d?
False
Suppose 19*c = -50 - 45. Which is greater: 2 or c?
2
Let y(b) = 3*b - 1. Let q be y(2). Let p = q + -6. Is p at least 1?
False
Let m = -23 - -26. Let w(p) = 5*p - 1. Let d be w(m). Which is smaller: 13 or d?
13
Let g be (-1 - -4)/(2 - 3). Suppose 0*w + 2*w = 6. Let u = g + w. Which is bigger: -1/4 or u?
u
Suppose 5*f - 4*f = -8. Are f and -6 unequal?
True
Suppose -31 = -2*l + 5*r, 0*r - r + 10 = 5*l. Suppose 0 = 2*n + 2*n - 16. Which is greater: n or l?
n
Let r = 0.11 + -0.01. Are r and 0.2 equal?
False
Let z be (2/6)/(1/3). Is z equal to 1/3?
False
Let r = -67/4 + 569/28. Let t = r + -239/63. Let n be (-5)/(260/96) - -2. Are t and n unequal?
True
Let a = 17 + -6. Suppose 5*g - 25 = -4*o, g + 3*o = o + a. Let q be g*(-1 + 3/(-3)). Does -1 = q?
False
Suppose 0 = -3*z - 2*z + 200. Suppose -5*n + 0*n = -z. Is n greater than 8?
False
Let w = -1.32 + -0.08. Let r = w - -1.5. Is r not equal to 7?
True
Let d(r) = r + 5. Let v be d(-3). Let i = 4 - v. Suppose -3*j - 5*m + 16 = 0, -3*m + 16 = 5*j - 0*j. Is j at least as big as i?
True
Let f = 12.7 - 66.7. Which is smaller: 2/7 or f?
f
Let j = -263/35 + 39/5. Do -8 and j have the same value?
False
Let u = -35 - -22. Let p = u + 8. Which is bigger: -6 or p?
p
Let p(i) = -i - 8. Let t be p(-11). Suppose -t*w - w = 0. Which is bigger: w or 2?
2
Let v = -2 + 1. Suppose 3*h + 5 = 14. Suppose -q = h*q. Which is smaller: v or q?
v
Let a = 2928 - 9031/3. Let g = -81 - a. Is g at least as big as -2?
True
Suppose -14*l + 11*l = 15. Which is smaller: l or 2/7?
l
Let q = 3/17 - 73/221. Suppose -4*j = -2*t - 18, 4*t + 26 = j + 2*j. Which is smaller: q or j?
q
Let l be (-10 - -16)/((-2)/5). Let x = l + 11. Does x = -4?
True
Let j(q) = -q**3 - 8*q**2 - q - 9. Let y be j(-8). Is 1/3 less than or equal to y?
False
Let h be 1/14*(-21)/(-6). Which is smaller: h or 0?
0
Let b be ((-10)/(-8) - 1) + 6690/(-25800). Is b < 1?
True
Let a = 34 + -31. Which is bigger: a or 8/3?
a
Let u(x) = 5*x + 11. Let b be u(9). Suppose 5*y = k + b + 36, -2*y + 40 = -2*k. Let s be (-6)/(-27) - 58/y. Is s less than or equal to -3?
True
Let n(i) = -4*i - 4. Let b be n(0). Let u = -8 - -5. Which is smaller: b or u?
b
Let t(k) = 3*k - 6. Let b be t(2). Which is smaller: -4 or b?
-4
Suppose -2*m + 5*v + 13 = 0, -2*m + 4*m + 3*v = -11. Which is greater: m or 2/171?
2/171
Let h = -0.3 + -0.7. Let i = -3 + 8. Suppose i*o = -a + 15, a - 9 = -o - o. Which is smaller: