 smaller: f or n?
f
Let p = 0.02 - 0.02. Let q = -0.06 - p. Let n = q - -0.36. Are n and -2 equal?
False
Suppose 3 = -2*k + 3*k. Suppose -17 = x + 3*h, 0 = -5*x - 0*h - k*h - 49. Let z be ((-2)/16)/((-6)/x). Are z and -1 unequal?
True
Let b(v) = -v**3 + 3*v**2 - v + 4. Let o be b(3). Is 6 smaller than o?
False
Suppose 3*l + 129 = -0*l. Is l < -43?
False
Let b be 2/4*12/(-32). Is 1 greater than or equal to b?
True
Let q = 2.016 + -0.016. Suppose 4*u - 12 = 4. Are q and u nonequal?
True
Let r be 5/4 - (15/(-20))/(-3). Is 11/5 smaller than r?
False
Suppose -3*i + 11 = 5*w, 0 = w - 3*i - 12 - 1. Suppose -m + 5*s = -1, -m + w = 3*s + 3. Which is greater: -1/9 or m?
m
Let f = 3 + -3. Let o = 0.6 - 0.5. Is o greater than f?
True
Let z = 4 - 3.94. Let r = -0.04 - z. Which is smaller: r or 2/3?
r
Let w = -11 - -33. Let v = w + -21. Let b be (-3 - -1) + (-17)/(-9). Does v = b?
False
Suppose 12*u + 36 = 3*u. Suppose t - 40 + 8 = 5*m, -3*t - 24 = 5*m. Which is bigger: u or m?
u
Let v(i) = -i**2 - 15*i - 43. Let l be v(-18). Are -96 and l nonequal?
True
Let m = 14 + -6. Let v = m - 6. Suppose 2*w = -v*w. Is -2/9 < w?
True
Let m = -7 - -5. Let f be 78/(-21) + m/7. Let h = 4 + f. Does h = 3?
False
Suppose -3*t - 1 = 5*x - 8, -4*x + 5 = 3*t. Is -1 less than t?
False
Let x = -7 + 10. Suppose -2 = -5*b + s, 2*s = 3*b - 0*s + x. Which is smaller: b or -0.09?
-0.09
Let n = 261 + -103. Which is greater: n or 159?
159
Let g = -534 - -290. Let s = g - -2194/9. Which is greater: -1 or s?
s
Let q be (-14256)/(-112) - (-3)/((-63)/6). Which is smaller: -0.1 or q?
-0.1
Let d(a) = -a**2 + a + 1. Let i(l) = -3*l**2 + 6*l - 1. Let r(w) = -2*d(w) + i(w). Let m be r(5). Are m and -9 non-equal?
True
Let s = -21 - -15. Let q(v) = v**3 + 6*v**2 - v - 4. Let g be q(s). Which is smaller: g or -2?
-2
Let x = 8/15 - 118/165. Is x >= -1?
True
Let b(u) be the third derivative of u**4/24 - u**3/2 + u**2. Suppose -c = -t - 0*t - 9, 4*t = -2*c - 12. Let v be b(c). Is v at most as big as 2/5?
False
Let l be 7/10 + (-1)/5. Which is greater: -0.17 or l?
l
Suppose -q = h - 4*h - 3, 5*h - 11 = -q. Suppose 5*t = q*t. Suppose t*y + 2*y = 0. Which is smaller: y or -1?
-1
Let y be 3 + (2 - 37)/(-1). Suppose -2*v - 2*k + 6 = 0, 5*v + 3*k = -15 + y. Let p = -10 + v. Is -4 <= p?
True
Let n = 595 - 4181/7. Which is smaller: n or -1?
n
Suppose -2*h = -0*h + 4*i - 22, 0 = 4*i - 20. Suppose 0 = -f - 0 + h. Which is bigger: -1/7 or f?
f
Let k be -2 - 2 - 62/(-14). Which is greater: 1/2 or k?
1/2
Let v(b) = b**2 + 4*b - 1. Let y be v(-5). Suppose 2*l - y = 6*l. Let o be ((-2)/(-12))/(l/(-3)). Do o and 2 have different values?
True
Let u be 41*4/(-52) - -3. Is u at least 0?
False
Suppose 0*d = d. Suppose d = 4*f + 4*s + 24, -5*s - 23 = f - 3*f. Let w = 22 - 68/3. Is w at least as big as f?
True
Let t(j) = 5*j**2 - 1. Let m be t(1). Is m smaller than 4?
False
Suppose 4*p - 2*d = 0, 0 = -2*d + d + 4. Suppose -2*c = -3 + 1. Let h be (c/6)/(1/3). Which is smaller: p or h?
h
Suppose 3*r = -r - 36. Let w be (3/2)/((-1)/6*1). Is w at least r?
True
Let z be ((-10)/(-15))/((-4)/(-6)). Which is bigger: 1/9 or z?
z
Suppose -5*f = -2*f. Suppose 0 = -3*r - f*r + 3. Let u = 0 - -0.1. Which is smaller: r or u?
u
Let j(n) = -n - 11. Let i(w) = -2*w + 14. Let l be i(10). Let q be j(l). Let h = 7 - 10. Which is smaller: q or h?
q
Let l = -60.94 - -59. Let v = -0.2 - -0.14. Let n = v + l. Are 1 and n non-equal?
True
Let q = 3.76 - -0.24. Let s = 6 - q. Does s = 1?
False
Suppose 5*y + 0*t = 4*t + 36, 2*y + 2*t = 0. Let h(m) = m**2 - 5*m + 3. Let p be h(y). Let u be 1*9/(-15)*p. Is u smaller than 2?
True
Let n = 7 + -4. Let x = 0 - 4. Let y = x + 8. Is y less than n?
False
Let c be 2/6 - 9/20. Let w = c - 2/15. Suppose 2*b = b - 8*b. Which is smaller: w or b?
w
Let h be -12*(-4)/81*204. Let x = -121 + h. Which is bigger: 0 or x?
0
Let f be 6/(-21) + (-15)/(-175). Is f at most 2?
True
Let n(u) = 2*u**2 - 4*u + 3. Let b be n(3). Which is smaller: 39/4 or b?
b
Let d(c) = 2*c + 11. Let v be d(3). Is 14 bigger than v?
False
Let z = -37 - -37. Which is smaller: z or 1/70?
z
Let h be (-1)/(-6)*(2 + 4). Let n = -7 - -10. Suppose 4*j - 4*q = 16, -7 = q - n. Which is bigger: j or h?
h
Suppose 4*j = 3*f + 1 - 2, 1 = -2*f + j. Do -4/7 and f have the same value?
False
Suppose 3*c - 19 = -5*w, 5*c + 6*w = 2*w + 10. Let s be ((-8)/(-60))/(c/3). Which is bigger: s or -1?
s
Let z(d) = d**2 - 7*d + 7. Let g be z(5). Which is smaller: g or -11/3?
-11/3
Suppose -2*c + 4*h - 1 = -7, 0 = -3*c - 3*h + 54. Let p = -7 + c. Suppose p*i = 3*i + 18. Which is bigger: i or 1?
i
Suppose 0 = -4*p - 0 - 12. Let t = 7 + -22. Let g be 2/p*t/20. Are g and -3 unequal?
True
Let z be 10/48 + (-12)/(-18). Let p = z + -3/8. Let k = -0.6 + 0.4. Do p and k have different values?
True
Let f(t) = t**2 - 4*t + 6. Let g be f(0). Is 6 at most g?
True
Let v = -11 - -16. Suppose -5*n + v = 2*p, -p + n + 16 = 2*p. Let r be 11/p + 2/(-10). Which is smaller: 1 or r?
1
Suppose 8*x - 85 = 67. Is x greater than 56/3?
True
Let b = -8 + 7. Which is greater: b or -3?
b
Let n = -9853712/77007 - -23/3667. Let h = -386/3 - n. Is -1 at least h?
False
Let w be 8/6 - (-407)/66. Which is bigger: w or 8?
8
Let m = 14.2 - 14.1. Which is greater: m or 28?
28
Suppose m + 30 = -5*b, -4*m - 6*b - 48 = -4*b. Suppose 26 = -3*o - 7. Which is smaller: o or m?
o
Let j be -2*((-5)/4)/(-5). Is 1/8 at most as big as j?
False
Let h(z) be the second derivative of -1/20*z**5 - z + 5/2*z**2 - 1/2*z**4 + 0 - 2/3*z**3. Let y be h(-5). Which is greater: y or -1?
y
Suppose 0 = -5*s - 5 + 25. Suppose 3*g - 16 = -10. Is s at least as big as g?
True
Let r = 0.2 + 3.8. Let f = 1.3 - 0.3. Which is greater: f or r?
r
Let n = -2 - -3. Let l(i) be the third derivative of -i**5/60 - 7*i**4/24 - 5*i**3/6 - 2*i**2. Let m be l(-6). Is m != n?
False
Let u(n) = -n + 11. Let f be u(11). Let m = 161/6 - 27. Is m > f?
False
Let r be ((-5)/1)/(3/(-3)). Suppose r*v - 15 = -0. Let w be (v/(-2) + 2)/4. Is -1 smaller than w?
True
Suppose 2*i - 4*n + 8 = -2*i, -i - 6 = -2*n. Is 9 <= i?
False
Let z(l) = -l**3. Let y(f) = 4*f**3 + 6*f**2 + 5*f + 7. Let a(d) = -y(d) - 3*z(d). Let o be a(-5). Is -6 <= o?
False
Let z be (0 + 2 - 0) + (-8 - 1). Are z and -7 equal?
True
Suppose 3 + 2 = 5*k. Which is greater: 6/31 or k?
k
Let w be 11*1*(5 - 36). Let t = w + 4087/12. Let m = -49/60 - t. Is m <= 0?
True
Let b(u) = -4*u**2 - u. Let a be b(1). Let d = 5 + a. Let z = d - 0. Is 0 != z?
False
Let l(f) = -19*f**2 - 3*f. Let z be l(-2). Let w be 6/15 + 8/z. Suppose 4*t - t + 3 = 0. Which is smaller: w or t?
t
Let q = 0.74 - -0.26. Let b = 16 - 11. Suppose -b*x = n - 19, x + 2*n - 1 = -n. Which is smaller: q or x?
q
Let z be 0 - (4/(56/(-118)) - -1). Which is greater: 6 or z?
z
Suppose -2*i = -5*n - 0*n + 9, 0 = 5*i + 10. Suppose -9 = 5*l + n. Let o be (l + 1)/(-1*1). Is 2 less than o?
False
Let l be (-1 - 0 - -1) + -1. Let a be l - -2 - 44/32. Which is smaller: a or 1?
a
Suppose 8*h - 10 = 14. Are h and 3 equal?
True
Let k = 8750153 + -24159172069/2761. Let n = k - 47378/96635. Let q = n - -4/55. Do q and 1 have the same value?
False
Let t = -35 + 34. Which is greater: t or -1/24?
-1/24
Suppose p = 3*p + 8. Let o = p + 5. Which is bigger: o or -1/7?
o
Suppose 0 = 4*v + 3*m + 12, -4 = -v - 3*v + m. Let c = -1 - v. Suppose -4*l + 5*j = 10, -j - 4*j = -10. Is c at most l?
True
Let y = 116 + -137. Which is smaller: y or -67/3?
-67/3
Suppose c + 0*n = -4*n + 5, 0 = 4*c + n - 5. Suppose -3*s + 10 = -5. Which is bigger: c or s?
s
Let m = -486 - -5352/11. Which is smaller: m or 0?
0
Let c = -13 - -18. Suppose 0 = -5*p + c + 10. Suppose 7*f + p = 6*f. Are f and -4 non-equal?
True
Let g(c) = -8*c + 25. Let w(p) = -2*p + 6. Let h(i) = -2*g(i) + 9*w(i). Let d be h(6). Is d smaller than -1/2?
True
Suppose 3*l + 0*l + 6 = 0. Let o = l - -2. Which is smaller: o or 4/9?
o
Let z be 4/(240/35) + (-1)/3. Which is greater: 0 or z?
z
Let n = 104 + -829/8. Which is greater: n or 0?
n
Let s = 15.8 - 7.7. Let b = 8 - s. Let y = -0.2 + 0.4. Which is greater: y or b?
y
Let p = 0 - 0.1. Let v = -0.74 - -1. Let s = 0.04 + v. Is p not equal to s?
True
Let r = -6.02 - -6. Let x = r - -0.02. Let t = 0.1 - x. Is t > 0.1?
False
Let l = -33 - -36.2. Let x = l - -0.8. Which is bigg