 o/(-18). Let n be g(w). Which is bigger: 1/19 or n?
1/19
Let p = 559/15 + -86/3. Which is greater: 8 or p?
p
Let v be (-18)/(-27) - (-518)/(-24). Let z = v - -62/3. Is -0.06 less than or equal to z?
False
Suppose -4*d - 15 = -3*d + 4*l, 3*d = -5*l - 31. Let y be 4*5/40*d. Let b = -5 + 0. Which is greater: y or b?
y
Let x be (-20)/24 + (-2)/(-3). Let z = -11 - -17. Let g be ((-2)/3)/(z/9). Which is smaller: g or x?
g
Suppose 0 = 3*n + 4 + 26. Let x = -10 - n. Which is bigger: x or 2/15?
2/15
Let y(a) = -a + 16. Let k be y(11). Let s(r) = r - 1. Let u be s(k). Which is smaller: u or 5?
u
Let t(q) = 3*q - 26. Let r be t(10). Is 5 at most r?
False
Let h = -278 + 272.79. Let k = 0.01 + h. Let v = -5 - k. Are -1 and v nonequal?
True
Let q(i) = i - 2. Let o(w) = -w - 1. Let z(h) = 6*o(h) - 2*q(h). Let a be z(-3). Suppose -5*k + 34 = 2*s - 4*s, 2*k = 5*s + a. Is k smaller than 5?
False
Let f be 4/35 - 4/(-14). Let r(u) be the third derivative of u**5/60 + 5*u**4/24 + 2*u**3/3 - u**2. Let o be r(-4). Which is smaller: o or f?
o
Suppose 37 = 5*k + 4*m - 3*m, 0 = -5*k + 4*m + 52. Let l be (4/k)/((-1)/(-12)). Suppose l*q - 4*q = 0. Is -2/9 not equal to q?
True
Let a(o) = o**2 + 5*o + 3. Let h be a(-4). Suppose -4*z + 36 = -8*z. Let l be (h/((-4)/(-6)))/z. Is 0 greater than l?
False
Suppose -4*c = -6*c. Let k be -1 + -6 - 1/(-1). Do k and c have the same value?
False
Let y(a) = a**2 + 6*a - 8. Let b be y(-8). Let n be (-3)/(-12) + 14/b. Which is smaller: 0 or n?
0
Suppose 4*o - 3*b = -o + 22, -3*o - 5*b = 14. Suppose 8 = 5*p - 2*g, -4*p + 7 = g - o. Let l = p - 3. Is l less than or equal to -3?
False
Let i be ((-5)/20)/(5/8). Let z = -2 - -1.7. Let u = -0.7 + z. Is i greater than u?
True
Let m be (2 + 3)/(95/38). Let d(x) = x**2 + 6*x + 2. Let y be d(-6). Do y and m have the same value?
True
Let h be 40/(-5) - (1 - 4). Let k be h/((-510)/106) + -1. Is 1 equal to k?
False
Suppose j + 3*u + 9 = 0, 0 = -2*j + 2*u + 3*u + 4. Let k = 2 + -1. Let s = k + -3. Which is smaller: j or s?
j
Let x = 8 - 2. Suppose 0 = -x*l + 2*l. Which is smaller: l or 2?
l
Let c(r) = r + 8. Let d(v) = -v**3 + 2*v**2 - v + 3. Let k be d(3). Let l be c(k). Let w be (-22)/(-5) + (-14)/35. Which is greater: l or w?
w
Let v be (-2)/(-2)*(-12)/(-4). Let w = 6 - v. Let j be 4 + w + 5/(-1). Do 0 and j have different values?
True
Let b = 0.14 - 0.17. Let s = b - -0.04. Which is bigger: 2/3 or s?
2/3
Let h be -7 + 1 + 6 - 2*-2. Is h > 5/2?
True
Let a = -26 - -96. Let y be 4/10 - 8/a. Let b = -1/68 + -131/340. Is b greater than or equal to y?
False
Let m be 21/14*1/(-3). Which is smaller: m or 1/24?
m
Let d = 78.9 + -79. Let a = 3 - 1. Is a bigger than d?
True
Let z = 15 - 16. Is -2 less than or equal to z?
True
Suppose 3*i = 5*i + t - 7, -3*t - 14 = -i. Suppose 5 = -0*q + i*q. Which is bigger: q or 3?
3
Let g(r) = -r**3 + 8*r. Let i be g(6). Let o be (54/i)/((-12)/14). Let p = 31/40 - o. Which is smaller: -1 or p?
-1
Suppose 0 = -0*b + 4*b - 8. Let c be (-399)/28 + b/8. Which is greater: c or -15?
c
Let g = 301528/107 + -2818. Let u = g - -99/428. Is u at most -0.1?
False
Suppose -a - 2*m - 13 = m, 0 = 2*a - m + 5. Which is smaller: -6 or a?
-6
Let k be (1 - 3)*(-2)/10. Let f be -3*(4/6 - 2). Suppose -4*s = t - 2 - 0, 2*s - f*t = 10. Does k = s?
False
Let n be 2 + 0 - 4/3. Suppose 3*c = -0*c. Suppose 0 = -5*v - c*v. Which is greater: v or n?
n
Suppose 0 = -5*o - k - 24 + 4, 21 = -2*o - 3*k. Suppose 0 = -3*t - 10 - 2. Which is smaller: o or t?
t
Let f = -64/3 + 68/3. Let l = -2 - -3. Which is bigger: f or l?
f
Let f = -3 + -9. Let t = -11.9 - f. Is t greater than 3/2?
False
Suppose 0 = -15*q + 17*q + 28. Which is greater: -15 or q?
q
Let z = -18 - -8. Let c = z - -10. Does c = 0?
True
Let w be (0 - -3)/(-3)*5. Let i be 7 + (0 - (0 + 0)). Let s = i + w. Which is smaller: s or 0?
0
Let c = 3 - -3. Is c < 0?
False
Let d be 20/40*0/(-2). Which is bigger: -1/4 or d?
d
Let b = 362/21 + -102/7. Which is smaller: 4 or b?
b
Let m be ((-4)/6)/(4/24). Let l(z) = z**3 + 3*z**2 - 3*z + 2. Let p be l(m). Let k = p - 1. Is k greater than or equal to -5?
True
Suppose z = 2*z. Let u be ((-18)/12*12/(-27))/(-4). Is u at least as big as z?
False
Suppose -2 = 13*v - 12*v. Let p(h) be the second derivative of h**4/12 + h**3/3 + h**2/2 - h. Let x be p(-1). Which is bigger: v or x?
x
Let d = -2 + 2. Let k(j) = -2*j - 6. Let w be k(-4). Let l be ((-5)/(-10))/((-3)/w). Do d and l have the same value?
False
Let m = 160 + -162. Let a be 1 + 0 + 1 + -2. Is a less than or equal to m?
False
Let q(y) = y**3 + 6*y**2 - 8*y - 7. Let n be q(-7). Which is smaller: n or -10?
-10
Suppose -5*m = -38 + 13. Suppose 10 + m = 5*z. Is 3 less than or equal to z?
True
Suppose 3*s = -15, 4*n + s = n + 49. Let j be (-12)/7*(-189)/n. Suppose j + 6 = 4*a. Which is smaller: 5 or a?
5
Let p(r) be the third derivative of -r**4/24 + 5*r**3/2 + 2*r**2. Let m be p(13). Suppose -4*g - 8 = -2*l, 28 = -m*g - 3*l - 2*l. Is -4 at least as big as g?
True
Suppose 3*v + 5*y - 4 = 4*y, 5*y - 1 = 4*v. Suppose o - 2 = -2*s, 6*o - v = o - s. Is -2/5 less than o?
True
Suppose 0*x + x - 10 = 0. Let y be (-2 + 0)/x*1. Suppose 0 = 3*r + 3*n + 12, 11 = -7*r + 2*r - 2*n. Is y at least as big as r?
True
Let m be 10/42*(-18)/45. Which is greater: m or -1?
m
Let k = 29 - 57. Let s be (-10)/(-14) + (-8)/k. Let y = -29/5 - -179/30. Which is smaller: y or s?
y
Let g(r) = -4*r**2 + 11*r + 3. Let x be g(3). Are 1/89 and x non-equal?
True
Let n(h) = h**3 + 10*h**2 + 9*h. Let u be n(-9). Suppose u*p = -3*p. Are p and -1 non-equal?
True
Let i = -2.68 - -0.68. Let j = -11/10 - -13/5. Is i <= j?
True
Let q = -700/3 + 230. Is q less than or equal to -4?
False
Let m = -0.88 + -3.12. Let s be 4/2 + 10/(-6). Which is bigger: m or s?
s
Suppose -4*u + 31 = -73. Let l be 2/(-7) + u/(-56). Are -1 and l nonequal?
True
Let h = -8 + 5. Let b = h + 5. Let x = -3 + b. Is -1 bigger than x?
False
Let v be (-68)/24 + 1/(-2). Let n = v - -41/15. Which is bigger: n or -1?
n
Suppose 2*p - 5*z + 15 = 0, -p + 0*z = -3*z + 9. Is p less than or equal to -3?
False
Suppose -7*b - 216 = -3*b. Is b != -53?
True
Suppose 3*h + 1 = -5*p - 32, -5*h + p - 27 = 0. Let k(x) = -x**2 - 7*x - 4. Let a be k(h). Which is smaller: -1 or a?
-1
Suppose 0*x - x = -3. Suppose 0*a + 5*n - 1 = x*a, a - 2*n + 1 = 0. Suppose 0 = a*s - 3. Is s bigger than 2/7?
True
Let q be ((-2)/63)/(1/(-6)). Which is bigger: 1 or q?
1
Let l be ((-9)/45)/(3/(-5)). Which is greater: -1 or l?
l
Let b(q) = -q**3 + 7*q**2 - 7*q + 8. Let v be b(6). Let n(j) = -j - 7. Let t be n(-5). Let z = t + v. Which is smaller: -2/15 or z?
-2/15
Suppose -38 = 2*a + 20. Are a and -29 equal?
True
Suppose 6*l = l + 10. Suppose 7 = -j - y, -17 - l = j + 4*y. Which is greater: j or -1?
-1
Let p = -1.8 - 0.2. Let o = p - -4. Are 0.05 and o nonequal?
True
Let u = 11 - 10. Let f = 0 - -1. Suppose f = -2*d - u. Which is smaller: -2 or d?
-2
Let b = 30803/450 - 616/9. Is 0 >= b?
False
Suppose 0 = -4*r + 4*x + 8, 11 = -0*r - 2*r - 3*x. Let z be 24/(-10) + (-4)/(-10). Is r greater than or equal to z?
True
Let a(g) = -g**2 + 9*g - 9. Let f(o) = o**3 - 4*o**2 - 3*o - 3. Let v be f(5). Let z be a(v). Is z at least as big as 5?
True
Let n = 56 + -35. Which is smaller: 0.1 or n?
0.1
Let f(s) = -13*s**2 - 2*s + 4. Let p be f(2). Is p less than -52?
False
Let r = 50 + -47. Suppose -2*y + 0*y + 4 = 0. Suppose 5 = y*k + 3. Is k < r?
True
Suppose -2*v - 8 - 2 = 0. Let s(d) = -d**3 + 2*d**2 + 2*d - 1. Let c be s(3). Which is smaller: c or v?
v
Let q = -15 - -14.9. Is -6/19 != q?
True
Let m be 8/(-3)*3/4. Are m and -14/25 equal?
False
Suppose s - 2*d + 7 = 0, 0 = -5*s + d + 4*d - 15. Let a be ((-9)/2)/((-1)/10). Let j be 0 + 2 + a/(-21). Which is smaller: j or s?
j
Suppose -3*q = 2*u - 22, -5*u - 6 + 38 = -4*q. Suppose 4 + u = 4*x. Suppose h - 4*a = 20, 0*a + x*a + 15 = -4*h. Which is smaller: 2/15 or h?
h
Let h = 0.39 - 1.38. Let x = 0.11 - h. Let r = x - 0.9. Is r bigger than -2?
True
Let h = 6.95 + -7. Let b = 4.95 - h. Let m = b - 5. Does 2/9 = m?
False
Let t be (10 - 12)*(-5)/6. Do t and -2 have different values?
True
Suppose p - 27 = -4*h, 6 = -2*p - 0*h + 4*h. Let y be (-80)/14 + (-2)/p. Let l be (-1)/(-4) - y/8. Which is greater: l or -2/7?
l
Let c be (-1)/(-2*(-51)/12)