 s or x?
s
Let a = 14 - 7. Let u be (-2)/a - 33/7. Let d = 33/7 + u. Is d < 1/3?
True
Let a = 19.1 - 20. Let v = a + 3.9. Are -3 and v nonequal?
True
Let f(y) = -y**3 + 10*y**2 + y - 10. Let j be f(10). Let b = -0.4 + 0.5. Let o = b - 0.1. Is o equal to j?
True
Let u(o) be the second derivative of o**5/10 - o**4/12 + o**3/6 + 3*o. Let v be u(1). Suppose -l = -v + 1. Are l and 1 non-equal?
False
Let x be ((-64)/18)/(4/6). Which is smaller: x or -4?
x
Suppose 35 = -3*y - 2*y. Let z = y + 7. Suppose z*w - 3*w - 26 = -5*m, 0 = 2*w + 5*m + 9. Is -7 <= w?
True
Suppose -h - 3 = 0, -4*h + 5*h + 11 = 4*r. Let o = 36 + -33. Which is greater: r or o?
o
Suppose -4*h = -h + 2*t, -2*h + 5*t = 0. Let i = 6.3 - 5. Let f = 1.3 - i. Are h and f unequal?
False
Suppose 4*q - 12 = -0. Let f be 0/(3/(q/(-2))). Let a be (1/3)/(1/3). Is a at most f?
False
Suppose b - n = -4*b + 106, -2*b - 5*n + 64 = 0. Let m = -23 + b. Which is smaller: m or -14?
-14
Let z be 900/63 - 4/14. Let g be (-6)/z + 25/35. Which is smaller: g or 2/13?
2/13
Let a(q) = -3*q - 9. Let j be a(-4). Which is bigger: -0.4 or j?
j
Let w = -7.7 + 8. Which is greater: w or -2/15?
w
Let l = -80 - -83. Which is greater: l or -1.3?
l
Let u = 2 + 2. Suppose -96 = u*t - 7*t. Let n be (-6)/(-3) + t/(-18). Which is bigger: 1 or n?
1
Suppose -5*w = -9 - 11. Is 1 at least w?
False
Suppose -7 = u - 2*u. Suppose 4*a = -j + 3, -4*a - u = -4*j + 5. Which is bigger: -3/7 or a?
a
Let s = 39 - 41. Are s and -10/11 equal?
False
Let d = -2251/150 - -91/6. Is 1 not equal to d?
True
Let b = -9 - -27. Let y = -19 + b. Is y less than -0.06?
True
Let d(z) = z**3 + 4*z**2 - 3*z - 6. Let f be d(-4). Let r = 3 + 4. Does r = f?
False
Let x = -13.1 + 13. Let m = 0 + x. Let u = 2 + -2. Which is smaller: m or u?
m
Suppose c - i + 7 = 2*i, 0 = 5*i - 15. Let t be (-3 + -2)/(-7 - 3/(-3)). Is t greater than or equal to c?
False
Suppose 3*v + 41 + 127 = 0. Let x be 2/7 + 30/v. Is x at most as big as 4?
True
Suppose -2*h - 3*n + 29 = 0, 0*h - h + 4*n - 13 = 0. Let i = h + -2. Is 4 greater than or equal to i?
False
Suppose 5*i + 3*s = -1, 6*s + 11 = i + s. Let l = -3/5 + 38/55. Which is smaller: i or l?
l
Let c = -5 + 5. Let f = 1 + c. Do f and 0 have the same value?
False
Let l be (2/(-2))/(2/(-10)). Are 9 and l equal?
False
Let y be 6/(-12)*(-16)/1. Suppose 3*m - 5*n - 186 = 0, 4*m = 5*n + y + 235. Let a = -397/7 + m. Is a at least -1?
True
Let l = -0.4 + 1.1. Let w = 0.3 + l. Which is smaller: -2/3 or w?
-2/3
Let w = 0 + -2. Let c = w + 0. Which is smaller: c or -2/7?
c
Let l = -0.37 - -0.07. Let c = l - -2.3. Let o = -20 - -20. Which is greater: o or c?
c
Let b = -1/95 + 201/1045. Which is bigger: b or 1?
1
Let y = -187/78 - 4/39. Is y at least -0.1?
False
Let s be 3/(-9)*(2 - 1). Let v be 4/(-3) + (-1)/(-2). Let p = v - s. Which is greater: -1 or p?
p
Let w = 11 - 9. Suppose -4*i + 4*l - 20 = 0, -2*i - w*l + 2 = -l. Is -0.1 at most as big as i?
False
Let o(m) = m**2 + 4*m - 2. Let p be o(-4). Let h = -1 - 1. Is h at most as big as p?
True
Suppose v - 24 = -10. Which is greater: v or 16?
16
Let y = -6 - -5.98. Let q = -0.12 - y. Do -0.1 and q have the same value?
True
Suppose 2 = -28*b + 26*b. Let u = -3295/11 + 299. Which is bigger: u or b?
u
Let d(q) = -6*q + 2. Let i be d(-2). Let w = 12 - i. Is w greater than or equal to -2?
True
Suppose -6 = -4*a + 2*b, -a - b = a + 3. Let l = -8 + a. Is l less than or equal to -0.1?
True
Let r be (-4)/18 - 200/(-954). Is r less than -1?
False
Let f be 4*(-2)/36 + 92/(-234). Which is greater: 0 or f?
0
Suppose -4*r + 8*r = 0. Suppose -4*d + d = r. Which is greater: d or 1/8?
1/8
Let n be (-4)/(-18) - 4/18. Suppose -t - t = n. Is t bigger than -1/4?
True
Let s = 18 - 15. Which is bigger: s or 24/11?
s
Suppose 2*b - 1 = -25. Is b != -12?
False
Suppose 2*j = 3*p + 6*j + 19, 5 = -p - j. Let s = 1388/7 - 198. Is p at most s?
True
Suppose -6*w + 11*w - 3*x + 24 = 0, 2*x = 6. Let l = w + 5. Let m(p) = p**3 - 6*p**2 - p + 7. Let g be m(6). Which is greater: g or l?
l
Let w = -3 - -4. Is w greater than 2/7?
True
Let j = 5 + -2. Suppose -n + j*n = -4. Let g be n/9 - (-3)/(-108). Which is smaller: 0.1 or g?
g
Let d be -4 + (-2 - -55) - (-5 - -3). Is d at most 51?
True
Suppose 0 = -5*f + 3*m + 15, -8*m + 4*m = -5*f + 15. Suppose -f*c - 2*c = 0. Suppose 0 = -c*b - 5*b, 5*v + 3*b = 5. Which is bigger: -2/9 or v?
v
Let i = 24 - 14. Let k(a) = -2*a + 19. Let l be k(i). Let z = 0.8 + -1. Which is bigger: z or l?
z
Let z = 0.26 - -3.74. Let p = -0.1 - -4.1. Let d = p - z. Which is bigger: d or 1?
1
Let o be ((-23)/161)/((-2)/49). Let p be 0/3 - -1*4. Is p < o?
False
Let x = 26716001/231 + -115654. Let u be 1*((-200)/66 + 3). Let q = u - x. Which is smaller: 0 or q?
0
Let i(r) = -r + 10. Suppose 2*p - 45 = -3*p. Let h be i(p). Which is smaller: h or 2?
h
Suppose u = -3*w - 12, -2*u - 16 = 4*w - 0. Let d = -43/91 + 8/13. Is u at least d?
False
Let s(q) = -9 + 1 - 2*q + 2. Let c be s(-4). Suppose -c*v + 6 = 0, 2*m + 0*v + 5*v - 11 = 0. Is m bigger than -2?
False
Let x = -961 + 18253/19. Let b = -1 - 0. Which is smaller: x or b?
b
Suppose x = 2*v + 12, 0 = -x + 3*v + 9 + 8. Suppose x*n = 3*n. Suppose -2*c = c. Do n and c have the same value?
True
Let w(x) = 1 + 0*x**2 + x**2 + 0 - 4*x. Let p be (-3)/1*(-8)/6. Let l be w(p). Which is greater: l or 2?
2
Let t = -3 + -1. Let p = -3.9 - t. Which is bigger: -0.1 or p?
p
Suppose 0 = -5*m - a + 9, 5*m - 6 = 4*m + 4*a. Is 2 less than m?
False
Let o be 0 + 2 + (-2 - -2). Let c = -40 - -33. Let y = o + c. Is y < -4?
True
Let f = -6 - -9. Suppose f = 2*t - 1. Let y(w) = w**3 + 8*w**2 - 2*w - 14. Let j be y(-8). Is t equal to j?
True
Let x = -38/3 - -28. Which is smaller: x or 15?
15
Suppose 0 = b - 5, 0 = 5*l + 5*b - 215. Let a = -1480 + 4555/3. Let h = l - a. Does -0.1 = h?
False
Let o = 158 + -158. Which is greater: -3.6 or o?
o
Let k = -0.19 + 9.29. Let b = 9 - k. Which is greater: 3/7 or b?
3/7
Let o = -0.87 + -0.13. Which is smaller: o or -7?
-7
Suppose z - 8 = 4*c, 5*c - 9 = -3*z - 2. Suppose -z*r = -2*s + 12, 0*r = -3*r - 12. Are s and -3 equal?
False
Let d be 20/(-12) - (-2)/3. Let v be 16/(-10) + (-6)/15. Is v smaller than d?
True
Let j = 11 + -10.99. Is j smaller than 0.1?
True
Suppose -3 - 2 = 5*d. Suppose -29 = 5*t - 4*c - 8, -2*c + 8 = 0. Is t smaller than d?
False
Let f = -20539/104 + 395/2. Which is smaller: f or 0?
0
Let k be (-5)/(45/12)*3. Let p be 14/(-21) - 2/6. Is p < k?
False
Let j(a) = a**3 - 14*a**2 + 12*a + 17. Let g be j(13). Which is greater: 2 or g?
g
Let f be (-56)/(-12) - (0 + (-2)/(-3)). Which is smaller: f or 6?
f
Suppose 4*p = -2*s + 14, p - 9 = 3*s - 2. Let z be (-2 - -2) + s/1. Let t be 6/39 - (-4 + 1043/273). Is z >= t?
False
Suppose -3*o - 2*k + 5 - 28 = 0, -2*o + 2*k - 32 = 0. Which is smaller: o or -14?
-14
Let z(i) = -i**2 + 2. Let b be z(0). Suppose 0 = b*f - 0*f + m - 19, -5*m + 39 = 3*f. Suppose 0 = -6*g + 2*g - f. Is g > -3?
True
Let o be -4*(27/6)/9. Is -9/5 < o?
False
Let a be 2*2 + 4/(-4). Suppose -15 + a = 4*n. Which is smaller: 0 or n?
n
Let w(p) = -p**2 + 7*p - 1. Suppose 0*t - 3*t = -21. Let d be w(t). Which is bigger: 0 or d?
0
Let y be (-2)/(-8) - (-42)/56. Are 2 and y equal?
False
Let w be 1/(3/(2 - 5)). Let v be w*3*(-2)/(-3). Let h(g) = -g**3 - 2*g**2 + g + 2. Let q be h(v). Which is bigger: q or -2/3?
q
Let t = 55 - 54. Which is bigger: -4/27 or t?
t
Suppose n = -1 - 0. Let g be (-76)/66 - (-2)/(-11). Which is smaller: g or n?
g
Suppose u + 3*u - 224 = 0. Is 57 at most u?
False
Let l = -2.2 + 2. Is l > 5?
False
Let p(s) = -s**3 + 6*s**2 + 9*s - 5. Let i be p(7). Suppose -2*w = v, -6 = 3*v - 3*w + 12. Let r be v/(-2) - i/3. Is -4/7 greater than r?
True
Suppose -3*a + 15 = -8*a. Let r be -2*1 - (0 - 2). Suppose r*m + 10 = -5*m. Is m at most a?
False
Let t = 13/21 - -1/21. Let m(d) = d + 11. Let c be m(-12). Which is smaller: t or c?
c
Let d be 8/5 + 8 + -10. Which is greater: -3/4 or d?
d
Suppose 3*r = -2*r + 4*o - 19, 3*o = -5*r - 12. Let c = r - -4. Let n be 1 - (c - -1)/2. Which is greater: -1 or n?
n
Let m be 4 + -2 + (-16)/3. Which is smaller: m or -3?
m
Let p = -14 + 14. Is p greater than or equal to -1?
True
Let s = 19 + -11. Suppose 4*k + d = -s, 0*d = -5*k + 2*d - 10. Let a be (-6)/2 + k/(-2). Are a and -6/11 