et l = g + i. Are 2/5 and l unequal?
True
Suppose -119*y + 115*y - 104 = 0. Are -25 and y equal?
False
Let n(b) = b**3 + 2*b**2 - 3*b. Let h be n(-3). Let v be ((-5)/(-10)*-1)/(-5). Is v equal to h?
False
Let k be ((-2)/7)/(9/21). Suppose -15 - 7 = -3*o + 5*r, 5*o + 2*r + 15 = 0. Is o less than k?
True
Suppose -3*a + a = 3*r - 16, r = 5*a - 74. Is 14 less than or equal to a?
True
Let k = -2 - -2.1. Let r = -0.318 - -0.118. Which is smaller: r or k?
r
Suppose s - 2*f + 4 = 0, -2*f - 3*f = 2*s - 37. Suppose -3*j + s*j = 0. Suppose 2*y + 3 + 1 = j. Is y less than 0?
True
Let c(u) = u - 7. Let t be c(9). Do t and 1 have different values?
True
Let w(c) = -c**2 - c. Let k be w(2). Let b = -5 - k. Is b at least as big as 4/5?
True
Let v = 14.6 + -0.6. Which is smaller: v or 0.1?
0.1
Let h = 5.03 - 5. Let d = 0.01 + h. Which is bigger: 0 or d?
d
Let s = 2921/21 - 139. Is s bigger than 0?
True
Let b be (2/14)/(1/3). Suppose -i - 18 = -3*i. Suppose -i*l = -8*l. Which is smaller: l or b?
l
Let t(c) = c**3 - 8*c**2 + 6*c - 8. Let n be t(7). Let x = -10 - n. Is 4 greater than or equal to x?
False
Let r(h) = -h - 2. Let l be r(-2). Let o = -2 + 1. Let z = -0.8 - o. Is l <= z?
True
Suppose 0 = 2*q + 40 - 50. Which is smaller: q or 7?
q
Suppose 20 - 70 = 2*u - 4*d, -4 = -d. Let n = 14 + u. Is 3/5 greater than n?
True
Let p = -2 + 1. Let q be 4/(-10)*41/(-8). Let u = q + -9/5. Which is greater: p or u?
u
Suppose 0 = 5*j + c + 13, -5*j - c + 2*c - 17 = 0. Let q be 22/20 - (j - -4). Which is bigger: q or 0?
q
Let g(k) = 8*k**3 - k**2 + 4*k - 3. Let s be g(2). Let i be 1/15 + 39/s. Is i not equal to 0?
True
Suppose 5*l + 4 = -26. Which is greater: -5 or l?
-5
Let x = 2812/7 + -401. Do x and 2 have the same value?
False
Suppose 0 = 4*c - 5*h - 0*h - 1, -5 = 5*h. Let z be 33/22*(-2)/51. Which is smaller: c or z?
c
Suppose 0 = -3*q + 4*o - 13, -2*q = o + 2*o - 14. Which is bigger: q or 1/42?
q
Let u = 1.1 - 1. Suppose -5*z = -3*i + 57, -7*i + 3*i = 2*z + 28. Let o = z + 10. Which is bigger: u or o?
u
Suppose -107 = -4*u + 89. Do u and 49 have different values?
False
Suppose 4 = -3*m + 4*f, -3*m - f - 3*f = -4. Let s be (0 - m) + 0 + -2. Let t(y) = -2*y - 3. Let p be t(s). Which is greater: p or 2/5?
p
Let t = 0.2 - 0.6. Let p = t + -0.6. Let u = 2 + p. Is u not equal to 0.1?
True
Let n(r) be the second derivative of -r**5/20 - 5*r**4/12 + r**3 - 3*r. Let c be n(-6). Is 2/7 equal to c?
False
Let t(s) = s**2 - 4*s + 2. Let g be t(4). Which is greater: 8/11 or g?
g
Let u(h) be the second derivative of h**5/20 - 5*h**4/12 - 7*h**3/6 + 7*h**2/2 + 2*h. Let c be u(6). Which is smaller: c or 3/2?
c
Let y = 218 + -217. Is y at least as big as 11?
False
Let l = -1 + 2. Let c be l*(6/1)/2. Suppose 101*g = 104*g - 12. Is g > c?
True
Let a(c) = -c**3 + 7*c**2 - 5*c - 4. Let i be a(6). Is 2 equal to i?
True
Let w be -2 + 2 + -1 + -4. Let b(z) = z**3 - z**2 - 7. Let c be b(0). Which is smaller: w or c?
c
Suppose 4*d + 4*m = -8, 3*m = -9 - 3. Suppose d*b = b. Suppose 5 = 2*s + 7. Is s less than b?
True
Let g be 4/(-6)*(-30)/4. Suppose -13 = -g*k - 3. Suppose 3*v = k*v. Are 0 and v unequal?
False
Let v = 0.05 - -0.05. Is v > 8?
False
Suppose 0 = 3*s + 8 + 1. Let u = -67 + 76. Let w = s + u. Which is smaller: w or 5?
5
Let l be 15/12 - 2/8. Is -1/36 greater than or equal to l?
False
Let u(x) = x**2 + 5*x - 6. Let w be u(-6). Suppose c + c = 5*a - 11, w = 4*a + 4*c + 8. Which is bigger: a or -2/15?
a
Let u = -51 - -40. Is -12 at least as big as u?
False
Let m be (3/(-702))/((-2)/320). Let r = m + -2/117. Suppose -19*v + 8 = -15*v. Is v smaller than r?
False
Let w(l) be the first derivative of 5*l**3 + 2. Let h be w(-2). Let j be 3/6 + h/8. Is 8 smaller than j?
False
Let t = 9 - -1. Let o(i) = 2*i**2 + 6*i - 16. Let l be o(-5). Suppose l*f + f - t = 0. Which is bigger: 0 or f?
f
Let o = -95/3 - -31. Suppose 0*i - 2*i + r - 4 = 0, 4 = -2*i + 5*r. Which is smaller: i or o?
i
Suppose -11 - 9 = 4*g. Suppose -5*a + 8 = -2. Let s = a + g. Which is smaller: s or -2?
s
Suppose -8*t + 7 = -1. Which is smaller: t or 1.4?
t
Let k = 13/14 - -5/21. Which is smaller: 2 or k?
k
Let v = -1/10145 - 15542131/91305. Let p = 170 + v. Which is greater: p or 1?
1
Let c = 2.9 + 1.1. Let a = c + -6. Let t = 1 + a. Is t > -1/4?
False
Suppose -4*c = k + 6, -2 - 2 = -3*c - 5*k. Which is smaller: c or -5/4?
c
Suppose 0 = -5*q + n + 83 + 40, 4*q = -4*n + 108. Let b = -51/2 + q. Which is smaller: 0 or b?
b
Let i be (2/(-14))/(3/(-9)). Let y be (-10)/3*(-15)/(-10). Let m = y + 5. Which is greater: i or m?
i
Suppose o = 3*t - 6, -o + 4*t - 5 - 3 = 0. Which is smaller: 5/11 or o?
o
Suppose -3*s + 31 = -5*p, 25 = 2*s - 5*p - 4. Suppose 0 - s = -2*d. Suppose d + 4 = -5*w. Do -1/3 and w have the same value?
False
Suppose 5*t = 4*t - 1. Which is smaller: t or 6?
t
Let c = 13 - -1. Suppose 16 = -4*l, 2*k + 2 = 4*l + c. Which is bigger: -5/2 or k?
k
Let w(b) = -b + 16. Let t be w(8). Suppose -2*l - a = l - 22, t = 2*a. Let z = -5 + l. Which is smaller: -1 or z?
-1
Suppose -i + 4*i = -6. Let m be 1/i*(-3 + 3). Is -1 less than or equal to m?
True
Let c = -15 - -19. Is c less than -1/3?
False
Let f = -1.6 - -1.7. Is 0.13 greater than f?
True
Let m = -0.15 - 1.15. Let p = 1.6 + m. Let v = 0.1 - 1.1. Which is smaller: v or p?
v
Let f = -0.7 - -0.9. Let g = f + -0.3. Let j = -4 + 3. Which is bigger: j or g?
g
Let b = -0.4 + -0.2. Let l = b - -0.5. Which is smaller: 4 or l?
l
Let u = 76 - 79. Is u != -11?
True
Let z = 26 - 10. Which is smaller: z or 17?
z
Let a be 7/5 + (-24)/24. Is 0 > a?
False
Let l = -10 - -23. Which is greater: 3 or l?
l
Let q = 1/3 + -5/6. Suppose x - 2 = d - 6, 2*d - 11 = 5*x. Which is smaller: q or x?
x
Let k(a) = a**3 + 8*a**2 - 7*a + 12. Let j be k(-9). Let v be (-3 - (-27)/j)/(-6). Are v and 0.1 equal?
False
Suppose 0 = 5*y - 2*y. Let o = 2 - y. Is o greater than 3?
False
Let l be 2/4 - 42/(-4). Suppose i + 3*k - 2*k - 3 = 0, -l = -5*i - 4*k. Which is bigger: i or 3/10?
3/10
Suppose 4*s + 55 = 5*s. Suppose 5*i - 4*b + s = 0, 5*i + 0*b = -3*b - 55. Is -11 not equal to i?
False
Let o = 8 + -7.6. Let a = -0.2 + o. Let u = 2.9 + -3. Which is smaller: a or u?
u
Let d be (87/(-58))/(6/8). Let x = 1/49 - 254/441. Which is smaller: d or x?
d
Let g = 0 + -0.2. Let r = 0.3 - 4.3. Let m = 5 + r. Is m less than g?
False
Let a be 453*(24/(-15) + 1). Let t = -15429/55 - a. Let l = t - -502/55. Which is smaller: l or 0?
0
Let w(n) = -n**3 + 6*n**2 - 5*n + 3. Let x be w(5). Suppose 0 = -7*h + x*h + 8. Which is bigger: h or 0?
h
Let a(h) = 12*h + 8. Let t be a(-5). Is t at most -51?
True
Let z be (-2)/(-7) + (-36)/(-21). Suppose z*k = -k + 9. Suppose 4 = -3*q - q, 3*q + 6 = k*i. Which is smaller: i or -0.1?
-0.1
Let z(c) = c**3 - c - 1. Let n(h) = -h**3 + 5*h**2 + 2. Let a be n(5). Let v be z(a). Let w(s) = s**2 - 5*s + 5. Let m be w(v). Is 5 smaller than m?
False
Let k = 1 - 4. Let d = 3.02 + k. Which is greater: 1/4 or d?
1/4
Let l(r) = -r**3 + 5*r**2 - 1. Let h be l(5). Let m = -3 + 3. Let c = m + h. Which is greater: c or -2/11?
-2/11
Suppose 2*y + 3 + 23 = 0. Does -13 = y?
True
Let y = -3 - -10. Let n = 3 - y. Suppose 2*v - 4*r + 14 = 3*v, 2*r = -2*v + 4. Is n at least as big as v?
False
Let b = -26 - -18. Is b greater than -8?
False
Suppose 0*a - 20 = 5*a. Suppose -4*y + 3*y - 4 = 0. Let c = a - y. Is c bigger than -2/15?
True
Let x be -1 + (-4)/(8/(-6)). Suppose -i - x*u = 2*u - 26, 4*u + 4 = 4*i. Is -1/2 not equal to i?
True
Let r be ((-2)/(-10))/((-3)/6). Suppose 2*x - 1 - 9 = 0. Suppose 0*s - x = -i - 2*s, 2 = i + s. Which is smaller: r or i?
i
Let n = -12.2 - 3.8. Let q = 15 + n. Which is smaller: q or 0.6?
q
Suppose 3*r - 468 = 16*r. Is r > -36?
False
Suppose 22852 = -i + 2*g, 2*g - 60958 = 3*i + 7586. Let r = i - -1005267/44. Let c = 8/11 - r. Does 0.3 = c?
False
Let u be (0 + -4)*(-2)/(-12). Let r be ((-2)/(-4))/((-5)/10). Let a be ((-2)/(-2))/(0 - r). Is a greater than u?
True
Let m = -1/3939 + -129111/2626. Let j = m - -49. Do -1 and j have the same value?
False
Suppose j + 1 = 4*h - 2, 5*j + 2*h = 7. Let u be j/2*3/12. Let z be (-3)/2*12/18. Which is smaller: z or u?
z
Suppose 4*o - 1 = 35. Suppose 3*j = -2*j + 20. Let q be -3*((-12)/o)/j. Which is smaller: q or 3?
q
Let g = 42 + -49. Which is small