equal?
True
Let f(u) = 3*u + 3. Let t be f(-5). Let r be t/(-16) + 1*-1. Which is smaller: -1 or r?
-1
Let y be (-246)/312*-4 + -3. Which is bigger: y or 8/5?
8/5
Let c = 44 + -223/5. Which is bigger: 0.4 or c?
0.4
Let x be 44/12 + 10/(-15). Which is greater: 2 or x?
x
Let j = -14 + 15. Which is bigger: 2/37 or j?
j
Suppose -3*a - 4 = m + 1, 4*a = 0. Let z = m + 5. Is z at most as big as 0?
True
Let y = 5 + -6. Let r be 1 + 217*y/216. Let f = r - -653/1080. Which is greater: 1 or f?
1
Suppose 0*p - d + 7 = 2*p, -4*d = p - 7. Suppose 9*q + p = 10*q. Suppose 5*j + 2 - 7 = 0. Which is smaller: q or j?
j
Let j = 25 + -30. Which is greater: j or -0.02?
-0.02
Suppose -3*l = 88 - 58. Is -13 greater than or equal to l?
False
Let t = -6 - 1. Let b(l) = l**2 + 9*l + 10. Let n be b(t). Which is greater: n or -2?
-2
Let j be 15/3 - (-4)/(-2). Let i be (-47)/2 + 2/(-2). Let y = i + 27. Which is smaller: y or j?
y
Suppose 0*p + p = 0. Let g(o) = o**2 - o + 4. Let j be g(p). Let b be (-2 + 2)/(j + -2). Is b <= 0?
True
Let x = 0 - -1. Let w = 3.7 + -0.7. Let a = 0 - w. Which is smaller: a or x?
a
Suppose -105 = 6*l - l. Do l and -20 have the same value?
False
Let a = 20 - 9. Suppose 10 = -5*t + 4*l - 4, -5*l + a = -3*t. Is t at most as big as -15/8?
True
Let o = -27.4 + 21.36. Let u = o + 0.04. Which is smaller: 1/4 or u?
u
Let a = -6 - -4. Let b be -3*(-1 + a/(-6)). Which is smaller: 3 or b?
b
Let y be (-5 - -3)/((-1)/14). Let r be 3 - (188/y - 3). Is 0 less than r?
False
Let f = -1 - -3. Suppose 0 = -f*g - 3*g. Is g < -8/9?
False
Suppose 4*d - 3*p + 1 = 0, d + 0*d - 4*p = 16. Which is smaller: -5 or d?
-5
Let k be (4 - 2)/1*2. Which is bigger: k or 2?
k
Let g be ((-6)/9)/((-50)/6). Let o(y) be the first derivative of y**4/4 - y**3/3 + y + 2. Let n be o(1). Is g greater than n?
False
Suppose -2*y - 2*y = 2*g + 12, 0 = -g + 4*y + 6. Let m = 6 - g. Suppose -2*u = -4*d + 8, d - m = 6*u - 4*u. Which is greater: 1/9 or d?
1/9
Suppose i + 3*i = -d + 23, i + 4*d + 13 = 0. Let z = -9 + i. Which is smaller: 1 or z?
z
Suppose -3*b + 3 = -0*b. Which is greater: -2/5 or b?
b
Let n(t) = -2*t - 3. Let r be n(-3). Let y(i) = i**2 - 5*i. Let g be y(5). Suppose -o = -4*o - 4*q + 6, -2*o + 5*q + 4 = g. Is r > o?
True
Let w be 228/16 + (-1)/4. Let i be 102/(-14) - (-4)/w. Let d(p) = p**2 + 6*p - 7. Let f be d(i). Which is greater: f or 4/7?
4/7
Suppose 5*r - 893 - 112 = 0. Let x = -48898/243 - -109/243. Let o = x + r. Is o equal to -1?
False
Suppose -2 = 3*h - 11. Let n(u) be the third derivative of -u**6/120 + u**5/20 + u**4/24 + u**3/6 + 3*u**2. Let r be n(h). Which is bigger: r or 2?
r
Let l be 22/9 - (3 + -1). Let z = -1 - -1. Is l smaller than z?
False
Let g = -0.004 - -0.404. Is -1 > g?
False
Suppose 11*y = 6*y - 4*k, -5*k = -5*y. Let l(v) = -v**3 - v**2 + v - 5. Let x be l(y). Which is greater: -2 or x?
-2
Suppose -4*j + 2*j = 16. Let n(q) = -q**3 - 8*q**2 - q - 9. Let g be n(j). Which is bigger: g or -1/11?
-1/11
Suppose 0 = -3*s - 40 - 32. Let z be s/(-9) + 0 + -2. Does z = 0?
False
Let b(j) = -j - 2. Let z be b(-5). Let u = 0 - z. Suppose 8 + 12 = -5*h. Which is smaller: h or u?
h
Suppose 0 = -h + 3 - 13. Let v = -5 - h. Suppose -14 + 4 = -v*z. Is 0 bigger than z?
False
Let o(s) = s**3 + 8*s**2 + 8*s + 8. Let f be o(-7). Are -2/31 and f non-equal?
True
Let s(f) = -f - 10. Let t be s(-9). Suppose 0 = 2*c - 0*c + 6. Let u(h) = -h - 3. Let k be u(c). Are t and k unequal?
True
Suppose -3*k - 25 = 4*g, -9 = 4*k + 2*g + 11. Let i = 4 + k. Which is smaller: i or 2?
i
Suppose 5*j - 1 + 6 = 0. Are j and -1/9 non-equal?
True
Let a(z) = 6*z**2 + z. Let s be a(1). Is s bigger than 10?
False
Let m be 11/(-3) + 4/6. Let h = 7 + -7. Suppose 3*j + 1 + 5 = h. Is m not equal to j?
True
Let u = 1 - 0. Let k = -21 - -10. Let v = k + 6. Do u and v have the same value?
False
Let t be ((-2)/(-52))/(3/(-12)). Let w(h) = -h**2 + 9*h - 22. Let c(v) = -2*v**2 + 9*v - 22. Let a(x) = 2*c(x) - 3*w(x). Let g be a(-11). Is t less than g?
True
Let w be ((-18)/(-80))/(30/40). Which is greater: -0.1 or w?
w
Let c(j) = -j**3 - 4*j**2 - 2*j - 2. Let x be c(-4). Let p = -10 + x. Is p greater than -4?
False
Let i(z) = z**2 - 3. Let y be i(2). Is 2/21 < y?
True
Suppose 4*i = -2*i + 6. Let m = -14/3 + 13/3. Is m greater than i?
False
Let n(o) = -5*o**2 + 8*o - 3. Let m(l) = -3*l**2 + 5*l - 2. Let h(r) = 8*m(r) - 5*n(r). Let p be h(-2). Let x(f) = 2*f. Let q be x(p). Are 6 and q equal?
True
Let h = 1 + 0. Let v = 0 - 0.6. Let w = 0.4 + v. Is w smaller than h?
True
Let k = 298 - 2082/7. Let c(t) = -t**3 + 3*t**2 + 2*t - 2. Let g be c(3). Let m = g + -2. Is m not equal to k?
True
Suppose -16 = -4*q, 4*q = k + k + 22. Are -3 and k unequal?
False
Let m be (1/4)/(7/28). Suppose m = -b - 1. Which is smaller: b or -1?
b
Let o be 188/(-272) - (-1)/(-4). Which is smaller: o or -2?
-2
Let z = -0.02 - -0.42. Let u = z + -0.2. Let c(p) = p**3 - 11*p**2 + p - 12. Let v be c(11). Is u >= v?
True
Let z be 698/(-140) - 4/(-8). Let f = z + 21/5. Let w = -15 - -16. Which is greater: w or f?
w
Let g be -2 - (-2)/(-12) - -1. Suppose 4*d + k + 10 = 3*k, 3*d + k = 0. Is d > g?
True
Let j = -0.42 + -0.08. Let l = -0.4 - j. Is -2/3 at most as big as l?
True
Let j(x) = x**2 + 2*x - 2. Let g be j(-2). Let l be (194/g)/(-1 + 4). Let f = -491/15 - l. Which is smaller: 1 or f?
f
Let k = -102 + 102.2. Is 4 equal to k?
False
Let a be 6/3 + -3 + -9. Let h = a + 13. Suppose 5*t = h*l - 20, -3*l + 0 = t - 14. Is -1 smaller than l?
True
Suppose m = 2*b, -m + 3*b = -6*m + 52. Let r = m + -8. Is -5/8 smaller than r?
True
Let u = 1 - 1. Let b(i) = i - 4. Let p be b(6). Is p at most as big as u?
False
Let q be 7/9 - 12/(-54). Which is bigger: -1/19 or q?
q
Let k(q) = -2*q**2 + 3*q + 2. Let g be k(5). Let w = 15 + g. Let s be w/24*(-2)/15. Are 1 and s equal?
False
Suppose 5*i = h + 5, 0*h - h + 9 = 2*i. Let m be i - 6 - -1 - -5. Which is bigger: 1/2 or m?
m
Let x = 1.84 - -0.06. Let o = 2 - x. Which is bigger: o or 2?
2
Let r = 16.9 - 15. Let u = -2 + r. Let w = u + -0.1. Which is smaller: w or -1/2?
-1/2
Suppose -21 = -0*s - 3*s - 3*q, -3*s = 2*q - 17. Is 0 at least s?
False
Let s(d) = 2*d**3 - 4*d**2 + 3*d - 2. Let r be s(2). Is r equal to 5?
False
Let n(j) = j**3 + j**2 - 4*j - 3. Let l be n(-3). Let d = -6 - l. Let k = d - 3. Which is bigger: -1/4 or k?
k
Let f(w) = -w**2 + 0 - w + 5*w + 4. Suppose 4*s + 6 = 26. Let z be f(s). Which is smaller: z or -2/7?
z
Let n be (0 + (-1)/(-8))*(-20)/70. Is n < -1?
False
Let c(t) = 13*t + 2. Let d be c(3). Let k = d + -163/4. Suppose -3*j = -0*j - x - 3, -4*x = 5*j - 5. Is j bigger than k?
True
Suppose -o = -5*j + 18 + 42, 0 = 3*j + o - 28. Let q = j - 15. Which is smaller: q or -3?
q
Let z = 42 - 30. Which is smaller: z or -1/2?
-1/2
Let b = 3 - 3. Let l = b + 9. Let o be (-1)/(l/(-2)) - 0. Is o equal to 0?
False
Suppose c = 3*z + 13, -3*c = 2*z + 3 - 9. Suppose 21 = -n + 4*k, c*k = 5*n - 0 + 25. Suppose a = 4*p + 3, -2*a = 4*p + 2*a + 8. Is p smaller than n?
False
Let p = -175/3 - -58. Let x be (6/(-4))/((-9)/12). Does p = x?
False
Let l(d) = d + 30. Let b be l(-31). Is -1/64 <= b?
False
Let c be 70/(-42)*4/10. Which is bigger: -0.1 or c?
-0.1
Suppose 5*c = c. Suppose 6*x - 2*x = -20, -5*k - 4*x = c. Suppose k*y = b, -3*b + 8*b - 2*y = 0. Which is bigger: 1/3 or b?
1/3
Let l = -8 + 13. Suppose -4*a + l = -3. Let p be ((-12)/(-10))/(a/5). Which is bigger: 4 or p?
4
Let u(c) = -c**2 + 10*c - 11. Let p be u(9). Let h = p + 4. Suppose 0*s = s - 2. Is s != h?
False
Suppose -5*m = 22 + 113. Are -28 and m equal?
False
Let s = -15 + -15. Do s and 2 have different values?
True
Let m be ((-34)/(-18))/(2/(-16)). Let d = -34032058/63 + 540176. Let p = m - d. Is p greater than or equal to -1?
True
Let o = -0.11 - -4.71. Let n = -3 + o. Let y = -0.4 - n. Which is bigger: y or 0?
0
Let j = -0.02 + -0.98. Is j bigger than -0.2?
False
Let u = 12 - 22. Let t be 3 - -5*4/u. Is t at least as big as 3/17?
True
Suppose 0 = 2*u - 3*x - 4, 0 = -x - 4*x. Let j be (-7)/(-2) + (-1)/2. Suppose 3 = u*l - 3*m, j*l - 4*m + 4 = 8. Is 2/9 greater than l?
True
Let p be ((-18)/(-15))/((-6)/(-10)). Which is greater: p or 1/14?
p
Let f = 0.1 + 0. Let r(a) = a**2 - 2*a + 1. Let c be r(5). Let y be (8/(-20))/(c/(-10)). Is y bigger than f