- 4*p, -4*y - 4*p - 4 = 0. Suppose 5*o = y*f + 35, -3*f - 3*o = o + 3. Is -5 at most f?
True
Let k = 2 - -2. Let s be 0/(-2 + 1) + 5. Suppose -19 = -4*p - 4*f + 5, -s*p + 9 = -2*f. Which is smaller: p or k?
p
Let o = 5.8 + -0.8. Let h = -5 + o. Is h greater than or equal to -0.1?
True
Let i(p) = -p**3 + 8*p**2 + 3*p - 3. Let o be i(6). Let k = o + -607/7. Which is bigger: 1 or k?
1
Let m = 1740/19481 + -2/847. Does m = -1?
False
Let h be (3 - -1)/(-24) + (-19)/(-6). Is 19/6 greater than h?
True
Let r = -45 - -41. Are r and -2 non-equal?
True
Let f(x) = x**3 + 12*x**2 + 2. Let n be f(-12). Suppose -3*b - n*b = 25. Which is smaller: b or -4?
b
Let c be (-34 - -1)/((-6)/4). Suppose -c = 5*l + 8. Let r be l/(-4)*25/(-15). Which is smaller: -3 or r?
-3
Let v be (2/(-4))/(1/(-2)). Let q be 1 + 0 - 1/(-4). Let m = q + -9/20. Which is smaller: v or m?
m
Let p = 6.7 - 7. Suppose 25 = -3*m - 2*m, -5*m - 20 = 5*g. Let i be (3/(-6))/(g/4). Are p and i nonequal?
True
Let w = 0.02 - -0.04. Let u = w - 0.16. Is 2 >= u?
True
Let j(g) = g**3 + 17*g**2 - 2*g - 32. Let r be j(-17). Which is smaller: 5 or r?
r
Let g(v) = v. Let c be g(3). Let r be -6 + c + -3 - -3. Is -6 >= r?
False
Suppose 3*q = d + 5, 0 = -2*q - 5*d + 4*d. Let s be (-148)/(-28) - 2/7. Let i be 3/s - (-2)/5. Are q and i equal?
True
Let w = -26 - -18. Let r = 8.2 + w. Do r and -4 have the same value?
False
Let a be 3/9 - (-7)/15. Let d = -24 - -24. Is a at least as big as d?
True
Let z be 0 + (-3 - (-3 + 11)). Let l = z - -10. Let v = -4 + l. Which is smaller: v or -4?
v
Let b = -1987/5389 + 5/317. Is b > -1?
True
Suppose -m + 3*l = l + 10, 4*l - 20 = m. Let o = 0 - m. Let y = 3 - 3. Is y smaller than o?
False
Let a(w) = -w + 12. Let s be a(10). Which is bigger: s or 3?
3
Let a = -101/240 - -1/48. Which is bigger: 1 or a?
1
Suppose 4*y - 11 = 2*y + u, 3*y + 2*u - 6 = 0. Suppose 2*s + 4*i = 8, -y*i + 10 = -2*s + 2. Let h be (-2)/(-4)*(-2)/8. Is s equal to h?
False
Suppose 0*k = -5*k. Suppose 3*v + 0*v - 31 = -4*c, 2*c - 3*v + 7 = k. Suppose -2*m + 5 = 5*d - 2*d, -c*m = 20. Is d smaller than 4?
False
Let j be ((-1365)/54)/(-7) - 3. Let c be (2/(-6))/(2 - -1). Let l = c + j. Which is bigger: l or -0.02?
l
Let y be (-18)/4*4/3. Let f = y + 9. Which is greater: 1 or f?
f
Let i = -117 - -117. Which is bigger: -3 or i?
i
Let v(p) = p**3 + 16*p**2 - p - 16. Let b be v(-16). Which is smaller: b or -2/13?
-2/13
Let s = 0 - -1. Let o = 19/90 - -1/90. Which is smaller: o or s?
o
Suppose -6*d - 21 = -9. Let s be (4/(-9))/(3/18). Is d != s?
True
Let f(g) = 4*g**2 - 2*g + 1. Let i be f(1). Suppose -i*v + 4 = -2*v. Suppose -q - v = 3*q. Is -1 greater than or equal to q?
True
Suppose 3*j = 2*a + 14, a = -j - 4*a - 18. Suppose -2*m = j*m. Which is smaller: -2/29 or m?
-2/29
Suppose 3*k - 4*k = 2*h - 6, -3*k + 9 = -3*h. Which is smaller: k or 5/2?
5/2
Let o(r) = r**2 + 7*r + 8. Let z be o(-6). Let m(a) = 3*a**2 - a - 2. Let t be m(z). Which is greater: 7 or t?
t
Let a be (1 - (3 - 1)) + -1. Which is bigger: a or -8?
a
Let z be -4*1 + (-150)/(-35). Let j(r) = r - 5. Let k be j(6). Does z = k?
False
Suppose -3*x - d + 5*d + 59 = 0, 0 = -5*x + 4*d + 85. Suppose -4*n = -3*c - x, 0 = -n - 0*n - c + 5. Which is smaller: -1 or n?
-1
Let f be (9/(-6))/((-12)/184). Is f >= 23?
True
Suppose 20*t = 11*t + 9. Is 4/29 != t?
True
Let d = 5/6 - 7/6. Let z(o) = o - 2. Let i(m) = -m**3 + 4*m**2 + 5*m + 3. Let k be i(5). Let c be z(k). Which is smaller: c or d?
d
Let s be 3633/(-9)*(-4)/14. Let k = -117 + s. Suppose -7 = 12*t + 17. Which is bigger: t or k?
k
Let g be (-1 - 1) + 4/(-4). Which is greater: -2 or g?
-2
Let h = 58 + -103. Is -46 equal to h?
False
Let x(t) = -2*t + 8. Let n be x(4). Which is smaller: n or 3/5?
n
Let r be 1/((-18 - 2)*1/(-4)). Which is smaller: r or 0.4?
r
Let m = -78 - -58. Is -20 equal to m?
True
Suppose -5*h + 4*x - 8 = 17, 0 = 2*h - 3*x + 17. Is 5/39 less than h?
False
Let f = 15 - 11. Suppose 2*g - g = f. Is g at most 4?
True
Let f = 67/39 - 18/13. Let s be (-8)/36 + (-182)/(-360). Let w = s + 1/20. Is f at most as big as w?
True
Suppose -5*j = 15, c - 4*c + j = -15. Suppose 5*t - c - 11 = 0. Let d(n) = -n**3 + 12*n**2 + 3. Let l be d(12). Is l smaller than t?
False
Let y = 5.8 + 0.2. Do -0.2 and y have different values?
True
Let f = -5.3 - -11.3. Is f at least as big as 1?
True
Let r = 0.1 + -0.15. Let q = 4.85 - 2.8. Let a = q + r. Which is smaller: 3 or a?
a
Let u = -0.3 - -0.3. Let f = 5 - 6. Let t = f - -0.9. Which is smaller: t or u?
t
Let b(u) = -u**2 + u + 1. Suppose -1 = 7*d - 6*d. Let h be b(d). Let k be ((-4)/(-2))/(1 - 2). Is h <= k?
False
Let j = -9.4 + -1.6. Which is smaller: j or 1?
j
Let h = -6.05 - -6. Let p = h + -0.15. Which is smaller: 2 or p?
p
Let l(o) = 4*o**2 - 2*o + 2. Let k be l(1). Suppose 16 - k = -3*h. Is h smaller than -3?
True
Let m be (-2)/(-3 - 1)*2. Suppose o - m = -2. Is -2/61 at least o?
True
Let n = -145/14 - 1/7. Are -10 and n non-equal?
True
Suppose -4*v - 10 = -9*v. Suppose 0*s + v = -2*s. Is 1/7 at least s?
True
Let p = 34 + -56. Which is smaller: -112/5 or p?
-112/5
Let j be (-6)/(-15) + 74/(-35). Which is smaller: -1 or j?
j
Let f = -51 - -354/7. Is 0 at most f?
False
Let p = -3.1 - -3. Let m = -0.1 - p. Let v = -0.3 + m. Which is bigger: 1/3 or v?
1/3
Let h be 1 + -3 - (-3 + 1). Let w(z) = z**3 + z**2. Let t be w(-1). Suppose -c + 3*c - 5*r + 15 = t, c + 3 = r. Is h <= c?
True
Let q = 0.42 + 0.58. Which is smaller: q or 13?
q
Let z be (-4 + 3 + 0)*1. Is z > 8?
False
Let q = -19219/25 - -769. Is -1 greater than q?
False
Let l = 44 + -50. Which is bigger: -5 or l?
-5
Let k be 6/(-4) - (-56)/(-16). Let j = k + 4. Which is bigger: j or -2/31?
-2/31
Suppose 4*n - 20 = -n. Suppose 1 = n*z - 3. Are z and 1 equal?
True
Let z = -3825/14 - -274. Which is smaller: z or 2?
z
Let l = 328 - 325.01. Let y = l - -0.01. Do y and 0.2 have different values?
True
Let l = 23 + -22. Let v = -278 - -3070/11. Which is greater: v or l?
v
Let v = -30 + 17. Let t = v + 11. Does 1 = t?
False
Let i(c) = 2*c - 4 + 2 + 17 - 1. Let v be i(-6). Do -4/11 and v have different values?
True
Suppose x + 1 = 9. Suppose -4*c - 4 = -x*c. Let t be 4/1*(115/(-20) + 6). Does c = t?
True
Let l(s) = 20*s**2 - s - 1. Let f be l(-1). Suppose -5*y - 12 = -3*w - 2*y, -5*y - f = 0. Which is smaller: w or -2?
-2
Suppose -3*q = -4*g + 12, 6*q = q. Suppose 5*x - g*t = -t + 1, 3*x = t. Is x smaller than -1?
False
Let o = -185/24 + 25/3. Is -2/5 smaller than o?
True
Let z be (-3)/(-9) + (-11)/(-3). Suppose 0 = -u + 4*u - 4*a - 5, -5*u - z*a = 13. Let m = 6 + -6.3. Do m and u have the same value?
False
Let h be (6 - 6) + (-5)/(-2). Which is greater: 4 or h?
4
Let b = -1/5 - -3/5. Let d = 0.12 - 0.02. Which is greater: d or b?
b
Let v = 5 - 5.04. Let x = v - 0.06. Which is smaller: -1/2 or x?
-1/2
Let p(l) = -l**3 + 4*l**2 + 5*l. Let a be p(5). Suppose a = -3*h + 5*h + 14. Let s be ((-2)/h)/((-4)/(-28)). Is s at least 3?
False
Let x = -14.04 + 14. Let d = x + -0.06. Is -7 > d?
False
Let g be 3*(2/3)/1. Let c be ((-112)/35)/(1/(-10)). Let q = -31 + c. Is g at least q?
True
Let t = -2.6 + 0.6. Let k = 0 + t. Let l = k + 2. Which is smaller: l or 1?
l
Let u = 27 - 25. Is 4 at least as big as u?
True
Suppose 4*n + 5*s - 3 = 0, 2*n = -2*s - s + 3. Which is smaller: 0 or n?
n
Let w be (0 + (-1)/(-2))*(-5 - -5). Let s be (-3)/(-9) - (-5)/3. Are s and w nonequal?
True
Let y(w) = w. Let i(x) = 5*x - 7. Let m(h) = i(h) - 6*y(h). Let z be m(-5). Let a(c) = c + 15. Let f be a(-16). Which is smaller: f or z?
z
Suppose 0 = 2*a - 8 - 14. Do 11 and a have the same value?
True
Let t = -0.19 - -0.19. Are t and -2.6 unequal?
True
Let o = 10 + -8. Suppose -5*m = 2*k + 4 - 24, 4*k = -o*m + 8. Are k and -1/2 unequal?
True
Let z be (-1)/(-4) + (-282)/(-24). Is 12 greater than z?
False
Let d = 1 - 6. Let r be ((-3)/d)/(2/10). Suppose -r*g = -7*g - 4. Is g <= -3?
False
Let g(a) = -2*a - a + a + 8 + a. Suppose 0*y - 13 = -3*y - 2*m, -3*y = -4*m - 37. Let c be g(y). Is -2/21 <= c?
True
Let q be (-27)/36 + 83/20. Is 4 <= q?
False
Let v = -8 - -46. Let h = v + -41.1. Let n = h - -3. Which is greater: -0.3 or n?
n
Let u = -21 + 62/3. Let p = -26 - -30.2. Let x = p - 4. Which is smaller: u or x?
u
Suppose 5*o + 0*o = 0. Let k be o*2*(-3)/6.