 f or 1.3?
f
Let w = 16.9 - 17. Let o be (6/5)/3 - 0. Which is smaller: o or w?
w
Let w(x) = 2*x**2 + 5. Let j(c) = 2*c**2 + 4. Let b(d) = -5*j(d) + 4*w(d). Let h be b(-1). Let f be (-4)/25*5/h. Are f and -1 unequal?
True
Let v = 59/481 - -4/37. Which is smaller: -1 or v?
-1
Let u = -171 - -1883/11. Let n = 1 - 0. Let o = n + -1. Is u at most o?
False
Let l(x) be the first derivative of x**4/4 - x**3/3 + x**2/2 - 2*x + 2. Let w be l(0). Which is greater: 0 or w?
0
Let f = -0.5 - 1.3. Let b = f + 2. Let t = b + 0. Which is smaller: t or 1?
t
Let r = -3 - -7. Suppose -4*a - 4*j - 15 = -55, -3*j + 39 = r*a. Which is smaller: 2/7 or a?
2/7
Let h = 0.3 + -0.2. Suppose 2*m + 84 = -36. Let s be (-2)/4 + (-10)/m. Is h not equal to s?
True
Let q(x) = x - 4. Let j be q(5). Suppose -r = -0 - j. Let b = 1 + r. Is 1 >= b?
False
Let y = -3 - -6. Suppose 0 = 5*l - 2*b - y*b - 15, 5*b = 20. Suppose -4*r - 3 = -l. Is r less than 2?
True
Let n(b) = 4*b - 1. Let f be n(1). Suppose 5*m - 8 - 8 = -3*r, m = 5*r - 8. Which is greater: m or f?
f
Let t = -170.3 - -178. Let r = 7.17 - 0.17. Let q = t - r. Is q != 2/5?
True
Let f = -13 + 14. Is -1/62 smaller than f?
True
Let c be -9 - (-2 + 6/3). Let a(r) = -r - 11. Let k be a(c). Let n = -1 + 0. Which is bigger: k or n?
n
Suppose -2 = -9*z + 11*z. Suppose 5*d + 5*a + 75 = 0, 37 + 47 = -4*d + 4*a. Let c be -1*(0 + (-2)/d). Which is greater: z or c?
c
Suppose 2*r - 3*g - 19 = 0, -3*g - 2 + 3 = 2*r. Suppose j - u = 2, -6 = -5*j - 4*u + r*u. Let p be 0/(-3) - j/(-10). Is p greater than or equal to 0?
True
Let u(x) = x**3 + 1 - 3*x + 0*x**3 + 2*x. Let o be u(1). Suppose o = 4*r - 3. Is r bigger than 1/6?
True
Let k be 81/(-18)*(-2)/3. Suppose 0*g - g = -k. Are 2/3 and g equal?
False
Let z = -16 + 15. Suppose 0 = -5*o - 4*c - 8, 0*o - 14 = 2*o - 2*c. Let l(u) = u + 2. Let m be l(o). Do z and m have different values?
True
Let k be 2/(-8) + 111/12. Which is smaller: k or 19/2?
k
Let b = 49/60 - 3/4. Let w be 2/(-5)*(-21)/(-14). Let l = w - b. Which is bigger: l or 0?
0
Let x = -1 - -5. Suppose 0 = 2*w + p - 21, x*p = -2*w + 6*w - 60. Let d be (-1)/(-1 + w/9). Is d smaller than -1?
True
Let d(b) = 4*b + 3 + 3 - 2. Let y be d(-4). Let c be (-2 + y/(-5))/(-1). Which is bigger: c or -1?
c
Suppose 0 = 2*c + y - 5, 2*c - 11 = -c + 2*y. Which is smaller: 1 or c?
1
Let s be (-3 + 5)/(-1 + 0). Let c be 0/(-1)*(-1)/s. Is c bigger than -2/3?
True
Let g(p) = p - 1 + p**2 - p**2 + p**2. Let q be g(-2). Let x be 4/(-130)*1/2*10. Which is greater: x or q?
q
Let t(q) = -1. Let y(x) = x. Let l(s) = t(s) - y(s). Let h be l(-2). Is 6/7 at most h?
True
Suppose -4*m - 14 = -2*i, 3*i - 4 = 5*m + 16. Let r = 2 + -7/4. Which is smaller: m or r?
m
Let m be (2 + 13)*(-2)/5. Let p(t) = t**3 + 2*t**2 + 3*t - 3. Let s be p(2). Suppose 0 = 4*r + s + 9. Which is greater: r or m?
m
Let o = 0.17 - 22.17. Let c = o + 22.1. Let p = -5 + 5.3. Is p less than c?
False
Suppose 9 - 4 = 5*h. Suppose -c = -2*w - h - 2, -w - 15 = 4*c. Is c at most as big as -3?
True
Let i be 5/(2/(-4) - 3/(-2)). Suppose -z = -4*z. Are i and z equal?
False
Let q be (-5)/30 - (-5)/(-6). Let w be (-4 - q)*7/(-42). Which is smaller: 1/6 or w?
1/6
Suppose -u = 4*u - 20, -2*u - 60 = 4*v. Is v less than -18?
False
Suppose -3 = -3*s, 0*s + 5 = -3*u + 5*s. Suppose 2*y + 4*r = 2, 0 = -2*y + 5*r + 2 - u. Which is greater: 0 or y?
y
Let b = 2 - 1. Let k = b - 4. Let j = -3 - k. Which is greater: j or 1?
1
Suppose 29 + 13 = -3*k. Is -15 at least k?
False
Let h(z) = z**2 - 4*z - 5. Let l be h(5). Suppose 13 = 2*u + n, -3*u + u + n + 11 = l. Suppose -o - 2*v + u = 3, 3 = 3*v. Is o < -1?
False
Let n = 37 + -37.05. Let y = -0.9 + 1. Which is bigger: y or n?
y
Let d be 2 + (1 - 6/2). Suppose d = 5*i + 11 - 31. Which is smaller: i or 5?
i
Let z = -157 + 155. Let l = 1 - 1. Let n = -4 + l. Which is smaller: n or z?
n
Let n = 0.024 + 22.976. Let g = -23.4 + n. Is 0.4 greater than g?
True
Let t be (2/65)/((-2)/(-10)). Let a be (-250)/18 - (-4)/18. Let x = a + 14. Which is bigger: x or t?
x
Let y = 11 - 13. Let l = y - -2. Is 1/36 at least as big as l?
True
Let t be 3 - 22/(-4)*2. Suppose -3*g + t = -g. Suppose -5*h + 5*l - 27 = -g, -2*h + 3*l = 12. Which is bigger: -1 or h?
h
Suppose 0*p - p = -4*u - 64993, -4*u = 0. Let w = -455716/7 + p. Let y = w + 109. Which is bigger: 1 or y?
1
Let h = 3 + 0. Let o = -8 - -8. Suppose h*r + o*r = -3. Which is greater: r or 2/7?
2/7
Let y = 0.4 + -0.3. Let r = 23706/55 + -431. Let a = -1/5 + r. Does a = y?
False
Let i(f) = f**2 - f - 1. Let g be i(2). Let q(y) = y**2 + 5*y + 2. Let r be q(-5). Suppose l = 2*h, -r*l = -5*l - 5*h. Is g at least as big as l?
True
Let l = 31 - 127/4. Which is smaller: 0 or l?
l
Let k = 1.23 - 1.3. Let u = k + -0.13. Is u > -0.2?
False
Let d = 15 - 14.8. Are d and -5 nonequal?
True
Let d be (-182)/154 - 2/(-11). Is -2 != d?
True
Let x be (-52)/112 + (-4)/14. Suppose -5*z = -0*z + 5. Does x = z?
False
Let s be (2 - 0)*(-32)/288. Let c(d) = 2*d**2 - 1. Let l be c(-1). Which is bigger: s or l?
l
Let i(u) = -u**3 - u**2 - u + 10. Let g be i(0). Suppose -g*n + 6*n = 36. Are -8 and n nonequal?
True
Let f be (2 + -1 - 3) + 6. Let s be f/(-6)*3/(-16). Let q = 0.01 - 0.01. Is s greater than or equal to q?
True
Let f = 52 + -261/5. Is f smaller than -1?
False
Let a(g) = -2*g. Let o be a(1). Let p be (-1 + -2 - o) + -2. Which is smaller: -2 or p?
p
Let s = 71/68 - 5/17. Which is bigger: 1 or s?
1
Suppose 43 = -6*z + z + 4*o, 3*z + 4*o = -45. Which is smaller: -12 or z?
-12
Let u(f) = -17*f**2 + 13*f - 1. Let q be u(-2). Which is greater: q or -96?
q
Suppose 4*p + 21 = 4*w + 3*p, 2*w = 4*p + 28. Suppose 2*i - w = -0. Suppose -8 = -2*y + 3*g, -6*y - 2*g - 16 = -i*y. Which is bigger: -1 or y?
-1
Let r = 7.9 - 2.9. Let q = 0 + -1. Which is bigger: r or q?
r
Let c = -1348 + 25606/19. Is -1 smaller than c?
True
Let n = -0.01 - -0.01. Let c = 22 - 19.7. Let z = -0.3 + c. Which is smaller: z or n?
n
Let y = -0.9 + 1.8. Let u = y + -1. Is u greater than or equal to -2/11?
True
Let q = -8.6 + 10. Let x = q - 2.3. Let m = x + 1. Is m at least as big as -2/5?
True
Let s be (-18)/(-54)*6/(-136). Which is smaller: s or 1?
s
Let z(i) = i**3 - 6*i**2 + 6*i - 3. Let c(h) = h**3 + h + 5. Let d be c(0). Let f be z(d). Let x = -92/3 + 32. Do f and x have the same value?
False
Let k = 5 + -2. Suppose -c - 4 = w - 4*c, -4 = -5*w + k*c. Suppose 4*b = -6 - w. Is -2 <= b?
True
Suppose a + 1 = -3*i, 2*i - 16 = -6*a + 2*a. Which is smaller: -5 or i?
-5
Suppose -3*y + 3*c = -0*y + 9, -3*c = 2*y - 14. Suppose -q + 18 = -0*q - 4*r, -r = -3*q - y. Is -1 > q?
True
Suppose -6*i + 36 = -10*i. Let o be 1/2*(-1 - i). Suppose -4 = -o*t - 12. Which is greater: -1 or t?
-1
Let f = -11.4 + 0.4. Let g = 8 + f. Which is greater: 1 or g?
1
Let h = -996/5 + 198. Which is bigger: -1 or h?
-1
Let s = 36 + -36. Is -2/101 at most as big as s?
True
Suppose -i = 2*i. Let t = i + -4. Let o be (-7 - -1)*t/(-18). Which is smaller: o or -2/5?
o
Let q = 19 - 13. Is q at least 5?
True
Let g = -8 - -13. Suppose -80 = g*c - c. Let d be c/11 + (1 - -1). Are 1 and d unequal?
True
Suppose 0 = -3*t - 0*f + 4*f - 50, -5*f = -t - 24. Let v be (-2)/55*(t - 1). Which is bigger: 1 or v?
1
Suppose -2*d + 0*d + 8 = 0. Let m = -4 + d. Is m at most as big as 0?
True
Let v = 0.1 + -0.2. Let i = 0.3 + 0.5. Let m = i - 5.8. Which is greater: v or m?
v
Let g = 0.7 + -0.8. Is g less than 33?
True
Let s be 7 - 5 - (4 + 0). Let v be 6/8*s/(-3). Which is greater: v or 1?
1
Let g be (-2691)/(-22310) + (-1)/10. Which is smaller: g or 1?
g
Let h be 279/(-3) - 1 - 3. Let q = h - -1258/13. Which is greater: 1 or q?
1
Let m = 7 - 37. Let k be (-958)/m + (-1)/3. Let l = -32 + k. Which is smaller: l or -0.3?
l
Suppose 34*i = 29*i + 15. Is i equal to -1?
False
Let c = 0 - -3. Suppose -c*o - o = -8. Do 3 and o have different values?
True
Let l = 20 - 23. Are 2/3 and l nonequal?
True
Suppose 4*o - 3*q = -7*q + 12, 0 = 5*o - 5*q + 5. Suppose o = -2*i - 3. Is i equal to -2?
True
Let b be 3*(-1)/(-9)*3. Is -1/6 equal to b?
False
Let o be 2 + -2*(2 + -1). Let c(u) = -u**3 + 12*u**2 - 12*u - 8. Let r be c(11). Let s be (-3)/12 + r/(-44). Is o less than s?
True
Let j = -27 + 24. Which is smaller: j or -14/5?
j
Let o = 16.4 - 16.4. Which is bi