/(3 - 2). Let d = -2 + 8. Let w be (u/(-18))/(4/d). Is w > 1?
False
Let h be 4 + -4 + (-12)/44. Which is smaller: 0 or h?
h
Suppose 0 = -k + 6*k. Which is greater: k or -1/10?
k
Let l be 3/(3/(-10)) - -1. Let x = l + 7. Is -0.1 < x?
False
Suppose -a = -0*a + 1. Let v be (-24)/(-5)*a*-5. Suppose -5*n + 4 = v. Are n and -4 unequal?
False
Let z = 30.9 + -31. Which is bigger: 28 or z?
28
Let v = 6/227 + 1296/2497. Do v and 0 have different values?
True
Suppose -t = -5*l - 13, -2*t + 10 = l - 3*l. Suppose -2*j = 3*c - t*j + 22, 16 = -c - 4*j. Let z = -8 - c. Is z smaller than -2/7?
False
Let j(u) = 3*u - 1. Let a be 4 + -1 - (-4 - -5). Let l be j(a). Is l bigger than 0?
True
Let v = 6 - 2. Let k(c) = 6 + 0*c - 2*c + 4 - 4. Let n be k(v). Does n = -2?
True
Suppose -5 + 1 = -2*p. Suppose -4*u + 6*u + p*f - 16 = 0, 5*u - 2*f = 5. Let z be 2 - 6*u/6. Is -2 less than z?
True
Let q = 0.5 + -2.5. Which is greater: 7 or q?
7
Suppose 0 = 2*s + 6 - 8. Let i be 52/(-64) - -1*1. Which is smaller: i or s?
i
Let v(j) = j + 6. Let a be v(-6). Which is smaller: -4 or a?
-4
Let j be (-46)/(-248) + (-2)/8. Suppose 2 = -k - 3*l + 4, 5*k + 4*l = -1. Is k greater than j?
False
Suppose 0 = s - 2*s + 2. Let f = 4 - s. Suppose f = 3*t - 1. Which is smaller: t or -1/4?
-1/4
Suppose 4 + 3 = -n. Let f(l) = -l - 17. Let t be f(n). Which is smaller: t or -9?
t
Let l = 0.2 + 11.8. Let g = l + -12.11. Let p = g - -0.01. Is p greater than 3/8?
False
Let d = 0.012 - 0.042. Let b = -4.7 - -5. Is d >= b?
False
Suppose -2*u + 20 = 4*t, -4*u - t + 4*t = 15. Which is greater: 3 or u?
3
Let x(p) = p + 7. Let o be x(-8). Is -2 >= o?
False
Let g(n) = -n**2 + 8*n - 7. Let p be g(6). Let c be p + (-4)/2 + -2. Let o = c - -4. Which is smaller: o or 4?
4
Let x = -2.3 - -2. Let h = 0.4 + x. Let g(j) = -2*j**3 - 9*j**2 - 6*j - 6. Let t be g(-4). Which is smaller: t or h?
h
Suppose l = 3*l + z - 13, 0 = -4*z + 12. Let w(j) = -j**3 - 2*j + 4. Let p be w(0). Suppose -4*t + 4*d = -28, -2*t + d + p + l = 0. Which is smaller: 1 or t?
1
Let k = 1.24 - 0.24. Let z be ((-10)/3)/((-1)/(-3)). Let s be 4/z + 3/20. Is s at least k?
False
Suppose g = 5*t - 3*g - 30, -g = -3*t + 18. Let a(x) = x**2 + 4*x - 1. Let s be a(-5). Is s at most as big as t?
True
Let v be 3/306*-3*-2. Which is greater: 0 or v?
v
Suppose 4*j - 2 - 14 = 0. Let m be 11/(55/12) - 2/5. Is m at most j?
True
Let b = -13 + 20. Let i = b + -6. Do i and 2 have the same value?
False
Suppose 3*k = -0*k + 12. Let d = -5 + k. Which is smaller: d or 1?
d
Let i be 23/(-38) + (-5)/(-10). Suppose 4*c = -4*j + 8, -3*c + 4*c + 2*j = 4. Is i <= c?
True
Let c(v) be the first derivative of -v**4/4 + 2*v**3 + v**2/2 - 5. Let g be c(6). Is g not equal to 8?
True
Let j be (4/(-51))/((-4)/(-6)). Let n(i) = -i**2 - 6*i + 9. Let v be n(-7). Let b be (0/v)/(3/(-3)). Which is bigger: b or j?
b
Let t(p) = -p**3 - p**2 + 3*p - 1. Let q be t(-3). Let j = q - 11. Let h be 6*(-1)/(-2 - -4). Is h equal to j?
True
Let y = 4.34 - 4.2. Are 2/7 and y equal?
False
Let r = -9 - -9. Let m = -3803/9 - -423. Are m and r nonequal?
True
Let o be -1 - (0 - (4 - 2)). Let g be (2*3/(-6))/(-1). Do o and g have different values?
False
Suppose -z + 6 = -2*n, 0*n = -5*z - n - 14. Which is greater: 0 or z?
0
Let g = 298 + -296. Let w be (-5)/4 + 2 + 0. Is w at least g?
False
Let q(h) = -h**3 + 0 + 0 + 2*h + 4*h**2 + 1 - 4. Let v be q(4). Suppose 3*n - v = -2. Which is smaller: 0 or n?
0
Let v = 4.97 - 5. Let r = v - -0.13. Which is smaller: r or -1?
-1
Let r(b) = b**3 - 10*b**2 + 11*b - 11. Let h be r(9). Suppose -5*l - 3*m = -2*m - 8, h = -5*l + 4*m. Let u = -2/369 + -692/8487. Is u at most l?
True
Let g be (21 + -8)*2/(-40). Let a = g + 9/10. Which is smaller: a or 1?
a
Let d = 26 - 28. Are d and -8 unequal?
True
Let a be (1 - -24)*10/(-125)*-5. Are 4 and a equal?
False
Let q be ((-6)/(-4))/(45/(-4)). Let u be (-6)/(-12) - 11/(-2). Let n = u - 7. Is n at least as big as q?
False
Let s = -18254/27 - -676. Is -1 equal to s?
False
Let q be (-8)/14 - (-4)/14. Suppose 0 = 3*t + d + 1 - 6, 0 = 5*t + 3*d - 15. Are q and t equal?
False
Let p = 453 - 2244/5. Suppose 22 = 3*a - 2*d, 2*a + 4*d = -0*d - 12. Which is bigger: p or a?
p
Let x = 379/182 + -28/13. Is 0 < x?
False
Let x(f) = -2*f**2 - 31*f + 17. Let t be x(-16). Let k = -10877/4 + 2655. Let o = 64 + k. Is t smaller than o?
False
Let p = 45 + -269/6. Suppose 2*x - 2*t = -10, x - 3*t - 2*t + 25 = 0. Are x and p equal?
False
Let m be (-6)/(-15)*((-7)/6 - -2). Which is smaller: m or -50?
-50
Suppose -2*c = -8 + 10. Let w(v) = -v - 7. Let p be w(-5). Let b be (2 + (-5 - p))*0. Is b less than or equal to c?
False
Let w be (-20)/130 + 112/559. Which is bigger: w or 0?
w
Suppose 0 = -5*q - 4 - 21. Let r = q - -5. Is r > -2/3?
True
Suppose v - 3 = -2*v. Let r be (-1)/4 - (-14)/(-8). Let n be r/1 + (-10)/(-4). Is v at least n?
True
Let j = -46.1 + 46. Which is smaller: j or -7?
-7
Let b be 0 + -2 + (18 - 7). Let r(p) = -p**2 + 10*p - 9. Let k be r(b). Is 2/3 less than k?
False
Let l(o) = 15*o - 2. Let r be l(1). Which is smaller: r or 15?
r
Let g = 18.077 - 18. Let h = g - 7.177. Let a = 7 + h. Is -0.1 <= a?
True
Suppose 3 = -h - 3*v - 2, -10 = 5*v. Is h equal to 4/49?
False
Let o(k) = k + 2. Let i be o(0). Let l be i + ((-2)/4)/1. Is l bigger than -0.1?
True
Let i = 139386 - 1256036/9. Let o(p) = 20*p - 14. Let a be o(-8). Let s = a - i. Which is bigger: -1 or s?
s
Let h = -1.25 + 0.33. Let m = -0.08 + h. Let y = 1 - -1. Is m != y?
True
Suppose y + j = -5, -j + 2 = 2*y + 7. Suppose 0 = 4*l - 3*k - 8, 3*l - 8 = -l - k. Does l = y?
False
Let b be (-14)/12*45/(-42). Let p = b + -1. Which is bigger: p or 0.03?
p
Let x = -9 - -15. Which is greater: -1 or x?
x
Suppose 0*g - 27 = -a + 3*g, -5*a + 5*g = -135. Let h = 299/11 - a. Let y = 47 + -187/4. Is y > h?
True
Let j(k) = -k**2 + 3*k - 2. Let c be j(2). Let d be (-2 - c)*(-2)/4. Which is smaller: 2 or d?
d
Suppose 4*k - 25 = -k. Suppose 4*t - 7 = k. Suppose t*w = -w + 8. Is w at most 1/2?
False
Let y(g) = -2*g**2 + 1. Let p(o) = -o**2 + 6*o + 6. Let x = 3 + 4. Let l be p(x). Let a be y(l). Which is smaller: a or -2/5?
a
Let k = 17/12 + -193/60. Suppose 2*b = 7*b + 15, -2*d + 4 = -2*b. Is d greater than k?
True
Suppose 2*g - 5*a + 6*a = 12, 4*g - a = 12. Suppose -3*d = -2*v + 8, 3*d + g = -2. Is -4/11 bigger than v?
False
Let f(g) = g**3 - g**2 - g. Let k be f(2). Let d(s) = s + 3. Let b be d(-3). Which is smaller: b or k?
b
Let d(q) = q - 9. Let l be d(9). Let k be 1/7*(9 + -8). Which is greater: k or l?
k
Let k(g) = -g**2 - 6*g - 2. Let d be k(-2). Let w = -4 - 2. Let h be 4 - (-3)/w*-2. Which is smaller: h or d?
h
Let w = 0.06 + -2.06. Is w >= -1/5?
False
Let z be 6/8*24/(-10). Suppose 5*r - 6 = -4*p, -4*p + 15 = -2*r - 5. Which is bigger: z or r?
z
Let i be (-15)/(-3)*(4 - 3). Suppose -w + 2*y = -i, y + 7 = 3*w + 2*w. Let s be (2/20)/((-12)/15). Is s at least as big as w?
False
Let w be (504/(-39))/7 + (-4)/26. Let h(p) = -4*p - 2. Let l be h(3). Let d be (-2)/7 + 24/l. Is w smaller than d?
False
Let n(v) be the first derivative of -v**4/24 + 5*v**3/6 - 2*v**2 + 2. Let w(i) be the second derivative of n(i). Let u be w(6). Is 2 not equal to u?
True
Let g be 2/(-2)*(-4)/(-6). Let y = -2 - -7. Let j(d) = d**3 - 5*d**2 + d - 7. Let u be j(y). Is g less than or equal to u?
False
Suppose 5*w = 2*w. Let o(n) = -n**2 - 2*n + 2. Let u be o(-3). Is u greater than w?
False
Let g(r) = 26*r**2 - r - 2. Let j be g(3). Let k = j - 679/3. Which is smaller: 3 or k?
k
Let n(x) = x**2 - 2*x - 20. Let u be n(-8). Which is bigger: u or 61?
61
Let v(w) = 19*w - 11. Let n(t) = -9*t + 5. Let f(p) = -5*n(p) - 2*v(p). Let y be f(4). Let c = y - 126/5. Which is greater: c or -1?
c
Let s = 5 + -4.9. Suppose 4*n - 4*a = -156, -5*n = -2*a + 180 + 24. Let w = 125/3 + n. Is s <= w?
False
Let v = 537/7 + -77. Is 0 greater than v?
True
Let w = -8.13 - -0.13. Let u = -9 - w. Which is smaller: u or -2/5?
u
Suppose 2*g + 0*u = 2*u - 4, 2*u + 8 = -4*g. Suppose 24 = 6*p - 2*p. Let n be g/5*(-5)/p. Is n < -0.1?
False
Let l = -8 - -20. Suppose 3*h - 5*h - l = 0. Is h at least as big as -6?
True
Let d(x) = x**3 - x + 1. Let b(w) = 4*w**3 - 11*w**2 - 16*w + 14. Let f(o) = -b(o) + 3*d(o). Let i be f(12). Which is smaller: i or 2/15?
2/1