or s?
s
Suppose -5*g + 91 = 16. Suppose -2*n = 3*n + g. Which is smaller: -4 or n?
-4
Let u(j) = j + 6. Let n(p) = -15*p - 85. Let k(z) = 6*n(z) + 85*u(z). Let g be k(-3). Suppose -3*a - 4*w = -g, -a - 5*w + 14 = -2*a. Is a equal to 1?
True
Let s(c) = 2*c - 38. Let m be s(20). Which is bigger: 0.07 or m?
m
Let i be 10/35 - (-19)/7. Suppose 2*z - i*u + 4*u = -13, -2*u - 2 = -2*z. Is z <= 0.1?
True
Let h(r) = r**3 - 5*r**2 - 8*r + 9. Let v be h(6). Suppose 4*i = 2*o, i - 3*o = 2*o. Suppose i = 4*u - 4, 2*z - 3*u = 2*u - 5. Is v greater than or equal to z?
False
Let l(o) = -o**2 + o + 11. Let s be l(3). Let y(v) = v**2 + 5*v - 3. Let p be y(-6). Which is greater: p or s?
s
Let z be 2 + -2 + -1 - 4. Which is smaller: -3 or z?
z
Let j = 0.42 + -0.5. Let f = j + -0.02. Which is greater: 1 or f?
1
Let i = 5 - 9. Let m(s) = s**2 + 8*s - 22. Let z be m(-10). Which is smaller: z or i?
i
Let n be 0*((-2)/(-3) + (3 - 4)). Which is smaller: n or 5/12?
n
Let f(s) = -2*s + 1. Let g be f(-1). Let b = 3 + -4. Let i be (b + -3)*3/6. Which is bigger: i or g?
g
Let c = -0.2 - -0.4. Let u = -1.6 + -0.4. Is c smaller than u?
False
Let v = 16 - 7. Let z = 6 + 1. Let h = v - z. Do -2 and h have the same value?
False
Suppose -4*h + 4*o + 24 = 0, 5*h + 2*o = 2*h + 8. Let k be -3 + h + (-33)/8. Let m = 13/4 + k. Is m bigger than 0?
True
Let t = -66 - -31. Which is greater: 2/7 or t?
2/7
Suppose -k = -4*z + 16, 4*z - 32 = -2*k - k. Which is smaller: k or 11?
k
Let t = -2 + 5. Let s(a) = -a + 4. Let h be s(t). Which is greater: h or -1/24?
h
Let y = -78/7 + 2092/189. Is y at least as big as -1/2?
True
Let i = -2/13 + -56/143. Let d(x) = x. Let r be d(0). Which is smaller: i or r?
i
Let m = -14 - -13. Let a = -5.8 + 5. Let q = m - a. Which is bigger: q or 1/3?
1/3
Suppose -d + 55 = -6*d. Which is bigger: d or -6?
-6
Let o = -4295/27 - -159. Is o at most as big as 0.1?
True
Let r(s) = s**2 + 8*s - 7. Let u be r(-9). Let v = 5 - 8. Let j = -1 - v. Is u greater than j?
False
Let z be 2 - (-1 - -2 - -2). Is z at most as big as -11/5?
False
Let z = 4 - 1. Does z = 0?
False
Let v be 2 - -1 - (-6 + 7). Suppose -2*m - v = -0*m. Let f = 807/68 + -47/4. Which is greater: f or m?
f
Suppose 23 = 2*v + 5. Let i = v - 9. Is -2 not equal to i?
True
Let h = 4 - 6. Let b(s) = -s**3 + 6*s**2 + 6*s + 4. Suppose 5*d = 2 + 33. Let f be b(d). Does h = f?
False
Suppose 4*m = -2*z - 4, 11*m = -3*z + 7*m - 6. Suppose -5*x - 4 = 1. Are x and z unequal?
True
Suppose -2*f = -7 - 9. Suppose -s + f = 7. Is 5/4 greater than or equal to s?
True
Let t(b) = -b**3 + 5*b**2 + 3*b - 7. Let s be t(5). Suppose s + 12 = -4*h. Is h <= -4?
True
Suppose 0 = -5*x + 5, -r = -2*x + 3*x - 1. Suppose -3*k - k = r. Suppose -13 = -q - 3*q + 3*a, -q - 2*a = 5. Is q not equal to k?
True
Let x = -1.3 + -0.7. Is x equal to 0.1?
False
Let n = 0.1 - 0.3. Let g = n + 0.2. Let x = g - 0.1. Which is bigger: x or 0.1?
0.1
Let l = -1 - -2. Do -1/5 and l have the same value?
False
Let i(z) = z - 1. Let q be i(5). Suppose 0 = q*n - 3*n + 1. Which is greater: -9 or n?
n
Let l(q) be the first derivative of -q**3/3 - 5*q**2/2 + 3*q + 1. Let b be l(-5). Is b > 4?
False
Suppose 0 = 4*w - 58 - 34. Suppose 5*h = w - 8. Suppose 9 + 6 = -h*u. Which is greater: -4 or u?
-4
Let m = -1176/325 - -102/25. Suppose -2*d - 4 + 0 = 2*j, 1 = -d. Which is smaller: m or j?
j
Suppose -2*b + 10 = 3*b - 5*o, 0 = 5*b + 4*o + 8. Let z = -47 - -84. Let k = 113/3 - z. Which is bigger: b or k?
k
Suppose 2*q + q - 9 = 0. Suppose s = -q*s. Which is smaller: s or 2/11?
s
Suppose u - 1 + 9 = -4*i, 3*u = i - 50. Is -2/9 >= u?
True
Suppose -5*s + 18 - 18 = 0. Let j = 609/8 + -76. Which is greater: s or j?
j
Suppose 7*l - 29 = 8*l. Is -27 smaller than l?
False
Let y be ((-1)/26)/(6/36). Which is greater: -1 or y?
y
Suppose 5*u = i + 3, -5*i + 9 = -u - 0*i. Which is smaller: u or 8/7?
u
Suppose -5*c - 50 = 5*b, 3*c + 8 = -c. Let i be ((-45)/6)/(6/b). Is i greater than or equal to 11?
False
Let q be 9/4 - (-4)/(-16). Suppose 0 = q*d - 7*d. Is d less than 0.1?
True
Let g(q) = -q**2 + 5*q. Let s be g(5). Suppose -2 = h - 2*u, s*h - 3*h = 4*u - 24. Suppose 3*d = 2*d - h. Which is bigger: d or -2?
-2
Suppose -3*w = -0*o - 3*o + 9, -3*o + 24 = 2*w. Is o less than or equal to -2?
False
Suppose -4*r + 2*v = 3*v - 65, -3*r = -5*v - 66. Let c = 16 - r. Is c bigger than -2?
True
Let c be (-2)/(-3) + (-10)/18. Let y be (-10)/(-15) - (-3)/9. Are c and y equal?
False
Let y = -64 - -41. Which is smaller: -1 or y?
y
Let f = 0.4 - -1.6. Let h = -4 + 4.1. Let s = h + -0.2. Which is smaller: f or s?
s
Let o = 218/19 + -222/19. Which is greater: -1 or o?
o
Let x be 24/(-10) - -1 - 2/(-2). Which is smaller: 8.3 or x?
x
Let r = -23 - -22. Which is smaller: -1/14 or r?
r
Suppose 9 = 3*m - 21. Let f be ((-2)/m)/((-1)/7). Is f bigger than 0?
True
Suppose s - 65 = -4*s. Suppose -4 = -v - s. Let y be v/(-24) + (-1)/4. Which is smaller: y or 0?
0
Suppose 0 = 5*j - 4*n + 60, -4*j = -0*j - 4*n + 52. Which is greater: j or -13/2?
-13/2
Let z = -27 - -23. Let u = 0.3 - 0.4. Are z and u equal?
False
Let a be (-15)/3*(-1 - 0). Suppose 0*d = 5*d - a. Suppose p + 1 = -d. Is -2 smaller than p?
False
Suppose 3*l - 6 = -0*l. Suppose -l*i = 1 - 11. Let z(m) = m**3 - 6*m**2 + 5*m. Let o be z(i). Are o and 2 unequal?
True
Let j = 23 - 23. Are j and 2 equal?
False
Let t = -135373/380 + 1783/5. Let p = t - 2/19. Suppose 2*r - r = -1. Which is bigger: r or p?
p
Let w be 5/((1 - 0) + 0). Suppose 0 = -2*c + w*c + 54. Let n be ((-6)/c)/(4/(-3)). Are n and -1 nonequal?
True
Suppose -2 = a - 9. Let u be (-2)/a + (-80)/(-133). Let l = u + -104/209. Do l and 1 have the same value?
False
Let s be 5/(-2)*16/(-10). Is 4 != s?
False
Let v be 2*(-4 + (-105)/(-27)). Which is smaller: v or 7/4?
v
Let d(m) = -m**2 - 14*m - 9. Let v be d(-13). Suppose v*z + 0*z = -2*b + 4, 0 = -5*b + 4*z - 4. Let l be (-2)/5 + 6/(-10). Which is smaller: l or b?
l
Suppose r + 1 = d, -2*d + 2*r = -d. Is 2 > d?
False
Let n be (5/(-4))/(2/(-8)). Let z be (9/(-6))/((-9)/30). Let v = n - z. Which is smaller: -2/7 or v?
-2/7
Let j(m) = m**2 - 7*m + 6. Let o be j(5). Suppose -1 = h - 3. Let c be 3/h + (-35)/10. Is c equal to o?
False
Let d = 5 + -3. Suppose 4*g = 5*m - 9, -2 + 3 = 3*m + 2*g. Is d equal to m?
False
Let t = 40 + -23. Let h = t - 17. Is h at least as big as -1/13?
True
Let i = -15 - -12. Which is greater: -1/3 or i?
-1/3
Let y be (1/2)/((-5)/(-2))*2. Is y bigger than 1?
False
Let n be (-2)/4*(-76)/(-817). Which is greater: n or -1?
n
Suppose -x + i - 12 = 2*i, 0 = 3*x + i + 34. Do -12 and x have the same value?
False
Let x = 9 + -9.65. Let v = x + 0.05. Let t = v - -0.3. Which is smaller: t or -1?
-1
Let k = -3976/17 - -234. Are k and 0 nonequal?
True
Suppose 0 = -4*a + 3*o + 94, 0 = -3*a - 0*o - 4*o + 58. Let x be 1/a*(-12)/3. Are 0 and x unequal?
True
Let r(l) = -l**3 - 29*l**2 - 28*l + 35. Let s be r(-28). Is s not equal to 37?
True
Let a = -50 - -39. Which is smaller: a or -8?
a
Let c = -0.5 + 10.5. Let p = 9 - c. Is -2/5 at most p?
False
Let q(t) = t**2 + 2*t - 2. Let d be q(-3). Let s = 0 - d. Let y = 569/1560 - -2/195. Which is smaller: s or y?
s
Let k be (4/(-3))/(8/(-24)). Which is smaller: k or 2?
2
Let d(y) = -3*y - 8. Let n be d(-7). Is n at least as big as 13?
True
Let q be (-33)/(-6) - 3/2. Suppose h + h = 4*s - 14, q*s = -3*h + 9. Let m be (12/15)/(4/10). Which is greater: s or m?
s
Let s be (-1)/4 - (-2)/8. Let a be s/(2 - 0/(-3)). Let v be -1 + 1 + (-1 - 0). Is a smaller than v?
False
Let x(a) = 8*a**2 - 4*a + 7. Let q(p) = 4*p**2 - 2*p + 4. Let i(t) = -5*q(t) + 3*x(t). Let f be i(1). Is f not equal to 2?
True
Let s(w) = -w**2 + 6*w - 6. Let j be s(5). Which is greater: -4 or j?
j
Suppose 5*m + 5*j = 150, 3*m = -2*j + 61 + 30. Are 31 and m equal?
True
Let j(w) = -42*w**3 - 2*w**2 - w. Let u be j(-1). Are 41 and u nonequal?
False
Let d = 2 + -3. Let s(b) = 2*b - 3. Let y(a) = -a + 2. Let q(u) = 4*s(u) + 7*y(u). Let h be q(d). Is -3 not equal to h?
True
Let i be (2 + -2)/(-1 + 0). Are i and -4/5 nonequal?
True
Suppose -3*m - 3 = 2*a, -2*m + 2*a = m - 9. Let c be m/(2 - (-5)/(-3)). Let y = c - 2. Is 2 != y?
True
Let o(l) = -l - 3. Let q be o(-5). Let n be ((-2)/(-10))/(-1 + q). Suppose -2*i + 2 = k, -10 = -0*i - 2*i - 3*k.