d = -5.7 - -5.6. Which is smaller: -4.3 or d?
-4.3
Let t = -12 - -14. Is t >= -2?
True
Let c = -4 + 1. Let o = 3 + c. Is 0 <= o?
True
Let n = -13 - -6. Let t be 0 + (1 - (7 - 0)). Which is greater: t or n?
t
Suppose 0 = 3*m - 2*a - 13, -3*m - 4*a + 0 = -1. Let g = -3 - -6. Let d be (-3 + (1 - g))*-1. Is d not equal to m?
True
Suppose 2*k - 48 = -4*k. Let s be ((-4)/k)/(1/6). Is s at least as big as -4?
True
Let k = 46 + -43. Let g be 36/21 + (-2)/(-7). Let p(x) = 2*x. Let h be p(g). Which is smaller: k or h?
k
Suppose -2*r - 2*l = -6, -4*r - l = -5*l - 36. Which is smaller: r or 4?
4
Suppose k = -0 + 5, 2*m = -k + 5. Is 1/52 equal to m?
False
Let t be 4/(-16) + (-130)/(-40). Let x = -1 - -4. Is t greater than or equal to x?
True
Suppose -12*m - 80 = -17*m. Is m <= 18?
True
Let t(o) = o**2 - 3*o - 4. Let u be t(4). Suppose 3*c = c + 2, s + 3*c - 1 = u. Which is greater: s or -3?
s
Let v = -1.8 - -1.54. Let d = v + 0.66. Which is smaller: 1 or d?
d
Let x be 0 + 1 + (-3 - -2). Let q = 302 + -5740/19. Which is smaller: q or x?
q
Let c be (54/10*-1)/((-96)/(-64)). Which is bigger: c or -5?
c
Let r = -388/5 + 78. Are 2/5 and r nonequal?
False
Let f = 6291/2245 - 1/449. Let z = f + -93/35. Let i(b) = -b**3 + b**2 - b. Let o be i(1). Which is greater: z or o?
z
Suppose -4 + 28 = 3*r. Let c = 9 - r. Does c = -2/41?
False
Let g = 16/1539 + -2/57. Which is smaller: g or 1?
g
Suppose 7 = a + j - 3, 5*j = -4*a + 45. Let o = a - 4. Which is smaller: 2 or o?
o
Suppose s = 4*n - 3*s + 108, 5*s - 75 = 3*n. Let g(z) = -z**3 + 20*z**2 - 19*z + 2. Let w be g(19). Let t be w/n - 10/(-25). Is -2 <= t?
True
Let a = 7.85 - -0.15. Let u = 7 - a. Is u at most -3/2?
False
Let v be 58/145 + 11/(-15). Which is greater: -1 or v?
v
Let y = 32 + -9. Let x = -91/4 + y. Is x at least as big as 0.1?
True
Let u = 0.1 + -1.1. Let s = -0.1 - -0.4. Let w = 1.7 + s. Which is greater: w or u?
w
Let q be (4/7 - 1)/(9/(-6)). Which is greater: -3/22 or q?
q
Let u = -11 + 10.9. Let y = 0.13 - -4.87. Which is smaller: u or y?
u
Let w = 9133 - 45253/5. Let t = -84 + w. Let o = 21/10 + t. Is 1 greater than or equal to o?
True
Let t = 27 + -7. Do t and 20 have different values?
False
Suppose -4*b + 37 = 9. Is 6 greater than b?
False
Let n = 1.66 - 1.7. Are n and -1/2 equal?
False
Let a(c) = c**2 - 9*c + 2. Let k be a(9). Let v be k/(-4)*0/3. Suppose -3*p = -p. Is p <= v?
True
Let n = 6.94 - 7. Let u = n + 0.11. Let j = u - -1.95. Is j > -2?
True
Suppose -n - 2*n = -3. Let g be (12 - 14) + 24/10. Which is smaller: g or n?
g
Let w be (0 - 2)*3/6. Let z be (w - 0)/(4/(-20)). Let x = 4 - z. Which is smaller: 2/7 or x?
x
Let l = -2.4 + 1. Let w = 2.4 + l. Is w smaller than -10?
False
Let p(m) be the third derivative of -m**5/60 - 5*m**4/24 + 2*m**3/3 - 4*m**2. Let i be p(-6). Is -1 not equal to i?
True
Let i(b) = b + 13. Let f be i(0). Let a be (15 - 0) + (-1 - 0). Which is smaller: f or a?
f
Let h(g) = 5 - 5*g + g + 5*g. Let b be h(-4). Let z be (-2)/28*-10 + -1. Which is greater: b or z?
b
Suppose -7 = -2*s + 3. Let x = 8 - s. Suppose x*a = -a - 8. Is a != -2?
False
Let t = 41 - 61. Let b be (t/6)/(4/(-6)). Let r = b - 6. Which is smaller: r or -4/7?
r
Suppose 5*n - 8 = -5*a + 3*n, -8 = 3*a - 2*n. Is 51 greater than a?
True
Let d = -192/19 + 3066/247. Let h = 64/39 - d. Suppose 3*g + 3 = 2*g - 2*a, -2 = -g + 3*a. Which is smaller: g or h?
g
Suppose -7 = -2*q + 7. Suppose 5 + q = -4*k. Is -4 smaller than k?
True
Let s(p) = -2*p + 18. Let m be s(9). Is 2 equal to m?
False
Let v = -0.5 - 0.1. Let t = -0.7 - v. Let x = 0.3 + -0.2. Is x >= t?
True
Let z = -10 - -13. Suppose z*d + d = -4. Let p = -41/112 + -1/16. Is d < p?
True
Let x = 0.5 + -0.3. Let y(t) = t**3 + 3*t**2 + 2. Let w be y(-3). Suppose 0 = 2*q - 2*u - 6, -w*q + 0*u = -4*u - 6. Which is bigger: q or x?
q
Let h = 2/225 - -659/1800. Let m(z) = -z**2 - 5*z - 4. Let v be m(-4). Which is bigger: h or v?
h
Let t = 0.19 - 0.2. Let i = 38 - 37.71. Let q = t - i. Is -1 at least as big as q?
False
Let h be (-6)/((-168)/244) - (-6)/(-2). Is 5 greater than or equal to h?
False
Let m be (102/4)/1*-2. Let o be (-769)/(-15) + 4/10. Let z = o + m. Do 2 and z have the same value?
False
Suppose -2*n = 5*g - 28, 2*g - 4 = n - 0. Let p = 2 - g. Let s be 2/(p + (-2 - 3)). Which is smaller: s or 0?
s
Let k be 1*(1 + 5/(-10)). Let n = 4 - 3. Suppose 5*v = 5*a, 5*v - a - n = 3. Are k and v unequal?
True
Let c be (12/24)/((-1)/(-2)). Which is greater: -1.1 or c?
c
Let d = 1712/9 - 192. Are d and -3 equal?
False
Suppose -z = -4 - 0. Let h = 2 - z. Let u = h - -2. Is u smaller than -1/2?
False
Let v = 94 - 79.2. Let k = 15 - v. Which is smaller: k or 3?
k
Let z be 106/34 - (1 - -2). Suppose -5*p - 9 = -4*r, 2 - 1 = -3*p - 2*r. Is p at most z?
True
Let t = -2/5 - 1/10. Is t less than -2?
False
Let s be (-12)/(-10)*(-20)/(-6). Let i(p) = 2*p**2 - 4*p - 13. Let h be i(-2). Which is smaller: h or s?
h
Let y = -4 + 1. Let a be y/(1/(-1)) - 3. Is a at least 1/4?
False
Suppose -5 + 0 = 5*s. Which is smaller: -1/20 or s?
s
Let f be 24/32*(-4)/(-111). Is f not equal to 0.1?
True
Let z = 0.01 - -0.19. Is z greater than 0.07?
True
Let f be 6*(-6)/24*296/18. Which is smaller: -26 or f?
-26
Let s = 6 - 5.8. Which is bigger: -0.2 or s?
s
Let m = -0.9 - -1. Let g = -40.8 + 19.8. Is m smaller than g?
False
Let h = 0.4 - 0.42. Let p = h - -3.02. Let m = -2 + p. Is m at least as big as 1?
True
Let r = -2 - -1.98. Let f = r - 0.08. Which is smaller: 2 or f?
f
Let t = -5/12 + 7/4. Which is greater: t or 1/3?
t
Let h = -16 + 18.4. Let p = h + -0.4. Which is greater: 2/11 or p?
p
Suppose 0 = 8*f - 4*f + 52. Are f and -13 unequal?
False
Suppose 5*w - 8 = -f, w + 8 = 2*f - 7*f. Suppose -10 = -w*x - 5*a, -1 = -2*x - 2*a + 3. Does 1 = x?
False
Suppose -2*o + 6 = -4*o. Let s = o - -3. Let y be -2*(s + (-2)/(-4)). Which is greater: -1/2 or y?
-1/2
Suppose 3*x - 5*x = -6. Suppose -5*b - 51 = -3*q, 3*b - 2*q + 19 = -6*q. Let n = -6 - b. Is x greater than n?
False
Suppose 2*u = 2*t + 4 - 2, -5*u = -3*t + 1. Let j(d) = d**2 + 2*d + 1. Let r be j(u). Is r at least as big as 3/2?
False
Let n be (-6)/(-4*(-5)/(-30)). Which is bigger: n or 3?
n
Suppose 3*m + 5 = -4*l - 7, 0 = 5*m + 3*l + 9. Are m and -22 unequal?
True
Let d(h) = -h**3 - 10*h**2 - 11*h - 13. Let q be d(-9). Which is greater: q or 4?
q
Suppose -3 = -s + 10. Suppose -s = 2*g - 1. Are -7 and g equal?
False
Suppose 3*h + 2 = -2*f + h, 4*f + 4 = h. Let j be (-5 + 3)*f/(-5). Which is smaller: 0 or j?
j
Let q = -3/391 + 941/20723. Which is smaller: q or -1?
-1
Suppose 2*m + 4 = 6. Which is greater: m or -3/28?
m
Suppose r = -z - 4, 2*z - 7 = 6*z + r. Let n be z/((4/6)/(-2)). Suppose -2*y = -n*h - 15, 3*y = 5*h + 27 - 1. Is h smaller than -6?
True
Suppose 2*h = 5*h. Which is smaller: -2 or h?
-2
Let f = -8/21 - -1/21. Is f less than 9/7?
True
Let h be 2 + -1 + 0/(-2). Let a = h - 7/5. Suppose -3*d + 3 = -0*d + 3*m, -4*d + 4 = 2*m. Which is smaller: d or a?
a
Suppose -4*w = 2*g - 4*g - 2, -3*w - 3*g - 3 = 0. Let c = 10 - 10. Is c at least as big as w?
True
Let c = 4 + -2. Let h = 8 + -10. Let g = h + 3. Which is smaller: g or c?
g
Suppose 5*q + 15 = 5*y, -y - 1 = 3*q - 16. Suppose -y + 18 = -4*g. Is g greater than or equal to -4?
True
Let m(s) = -11*s**2 - 1. Let n be m(1). Let a = 8 + n. Suppose 5*u + 4 = -21. Is u bigger than a?
False
Let c = 2 - 2. Let x(f) = -f**2 + 8*f - 5. Let z be x(9). Let o = -9 - z. Which is greater: c or o?
o
Let q = 8 + -9. Are 2 and q unequal?
True
Let r(z) = -z**2 + z + 2. Let k be r(2). Let b = -4344/13 + 334. Is b at least k?
False
Let y be 1/(-2)*(-1)/101. Which is smaller: -1 or y?
-1
Let j(r) = -r - 3 + 0*r + 0*r + 0. Let l be j(-5). Which is smaller: 0.1 or l?
0.1
Suppose 2*s - 9 = b, -2*b - 5*s = 40 - 4. Is b greater than or equal to -13?
True
Let z = 0 + 0. Is 4/73 at least as big as z?
True
Let d be (-2)/(-8)*(-68)/14. Let q = d - -227/210. Let o be ((-2)/(-4) - -1)/(-3). Are o and q unequal?
True
Let c = -9 - -15. Let x(i) = i**2 - 6*i. Let n be x(c). Which is smaller: -5/4 or n?
-5/4
Let z = -50 - -49.2. Is z smaller than -1?
False
Let v be (3/39)/((-1)/2). Is v < 0?
True
Let r(j) be the second derivative of j**5/20 - j**4/12 + j**3/6 - 9*j**2/2 - j. Let v be r(0). Which is bigger: -10 or v?
v
L