 or p?
-4/11
Let p be 10/(-12) - ((-130)/(-60) + -2). Is -2/109 smaller than p?
False
Suppose -l - 3*l - 5*j - 5 = 0, 3*l = -5*j - 5. Let d be -1 - (69/(-60) + 2). Let g = d + 9/4. Is g greater than l?
True
Let a be (-2)/(-7) + 6/(-21). Suppose -5*k + 2*k = -r - 2, -5*r - 25 = 0. Are k and a non-equal?
True
Let z = -0.09 + -0.01. Which is smaller: 11 or z?
z
Let n be 22/(-40) + (-1)/(-4). Let p = -1 + 0. Is n equal to p?
False
Let r = -18 + 18.13. Is -0.1 at most as big as r?
True
Let r(j) = -j**3 - 6*j**2 - 4*j + 4. Suppose -2*b = -6*b - 5*d - 40, 4*b - 2*d = -12. Let u be r(b). Is u at least -2/5?
False
Let p(w) = -2*w - 9. Let l be p(-3). Are l and -13 non-equal?
True
Let c(w) = -w + 2. Let l be c(-4). Suppose -l*q = -q + 20. Let u = q + 5. Is u <= 3/4?
False
Let v(q) = q + 2. Let i be v(-2). Suppose i = -4*f - t - 0*t - 37, 5*t = -25. Let a be (-2)/(-7) + f/28. Is a bigger than 0?
False
Let p = 613/17290 - -2/665. Is p != -1?
True
Let f = 0 - 0. Let v = -0.2 + 0. Let c = -0.4 - v. Which is bigger: c or f?
f
Let v be 3*(-4)/(-6) + 2. Suppose 0 = 3*t - v*t - 1. Let b = 36 - 33. Which is smaller: t or b?
t
Let z = 0.02 - -2.98. Let b = -0.6 + 0.6. Is z at least as big as b?
True
Let n = -0.91 + 1. Let a = -35/2 - -18. Which is smaller: n or a?
n
Let t(a) be the first derivative of -a**4/4 - 2*a**3 - 3*a**2 - 6*a - 3. Let i be t(-5). Which is smaller: -1/5 or i?
i
Let y(v) = v**2 + v. Let t be y(-2). Let i be t/(-7) + (-6)/(-315). Which is bigger: i or -1?
i
Let x = -11 - -21. Suppose 2 = -c + 12. Is x smaller than c?
False
Suppose 5*z - 10 = 0, -z + 3*z + 52 = 4*i. Do i and 13 have the same value?
False
Suppose -3*f - 15 = -5*n, 5*n - n = 4*f + 12. Which is smaller: -1 or f?
-1
Let j(q) = 4*q**2 - 10*q + 9. Let t be 36/(-6) - (-2 + 1). Let n(r) = 5*r**2 - 11*r + 10. Let f(b) = t*n(b) + 6*j(b). Let c be f(-6). Is -2 at most as big as c?
True
Let h = 9 + -5. Let y = 6 - 10. Let d = y + h. Is 1 not equal to d?
True
Let o = -27745/48 + 578. Is o at most 0?
True
Let h(d) = -d + 2. Let i be h(0). Let s = i - 2. Is s > 0?
False
Let o = -23 + 15. Which is greater: o or -9?
o
Suppose 0*y + 18 = -y. Is y greater than -18?
False
Suppose 4*f + 1 = 3*s, -5*s + f = -4*f - 5. Let c be (s/2)/(-3)*0. Is c less than 2?
True
Let w be (-4)/(-316)*((3 - -1) + -2). Does -1 = w?
False
Suppose -5*x = -5*d - 13090, 3*d + x - 3272 = -11142. Let b be 2/(-7) - d/(-84). Let q = b - -31. Which is greater: 0 or q?
0
Let b = 2/49 - -125/539. Are 1 and b unequal?
True
Suppose -5*a + q - 2 = 0, -4*q + 2*q - 8 = 2*a. Let r be 9 + (-2 + 3)*-1. Let u = 6 - r. Are u and a nonequal?
True
Let k be -1 - 1/2*0. Let b be 1/4 + 36/(-16). Let i be (-9)/36 + b/8. Which is greater: k or i?
i
Let w(f) = -65*f**3 + f**2 + f - 2. Let v be w(1). Which is bigger: v or -64?
-64
Let c = -1604/9 - -178. Suppose 2*t - 2*k - 11 = 3*k, -2 = 2*k. Suppose 2*v + 19 = a - 2*v, t*a - v - 2 = 0. Which is smaller: c or a?
a
Suppose -f + 54 = 2*f. Suppose -c - f = -19. Which is bigger: 3/11 or c?
c
Let d = -13 + 15. Which is greater: d or 3?
3
Let v = -2051 + 533261/260. Is v != 1?
True
Let v = -4 + 2. Is -4/3 <= v?
False
Suppose -4*p + 136 = 3*q, -p - 2*q = 4*p - 163. Is 0.1 equal to p?
False
Let w = 11 - 7. Suppose -2*v = -5*d + 35, 3*v + 10 = 4*d - 5*d. Let m = -3 - v. Is m at least as big as w?
False
Suppose 18 = -7*c + 5*c. Which is greater: c or -8?
-8
Let l = 1 + 8. Is l >= 9?
True
Let v(a) = -a**2 - a + 1. Let k be v(-2). Which is greater: -11/9 or k?
k
Suppose 4*o + 48 = 16. Let p(v) = v + 1. Let d be p(5). Let u = o + d. Does u = -3/2?
False
Let a be ((-8)/(-12))/((-4)/(-6)). Which is smaller: 7/3 or a?
a
Let w = -21 + 23. Which is smaller: -2/7 or w?
-2/7
Let h = 106/7 + -2028/133. Which is greater: h or 0?
0
Let x = -59/5 - -403/35. Let r = -21 + 21.4. Is r < x?
False
Let g = -22 - -31. Let i be 3/g + (-2)/(-3). Which is smaller: i or 1/2?
1/2
Let g be 6*((-8)/(-6) - 0). Let p = 10 - g. Suppose 2*w + p = 6. Is 5/3 != w?
True
Let g = -1.7 + -1.3. Which is smaller: -0.5 or g?
g
Let j = -1166/7 + 166. Let n(v) = 2*v - 3*v - 2*v**3 + 2 + 5*v**2 + 3 + v**3. Let a be n(5). Is j less than a?
True
Let h = -1 - 8. Does -10 = h?
False
Suppose p + y - 3 = 0, 0 = -5*p - 5*y + 2*y + 9. Which is smaller: p or -1/9?
-1/9
Suppose 2*d + 1 = 5*c - 15, -3*d = -6. Suppose 0 = 2*m - 10, -c*j + 2 = -m + 3*m. Which is smaller: 0 or j?
j
Let x = -10 + 10. Let v = -1/21 - 2/7. Which is bigger: v or x?
x
Let j = 335/6 + -56. Let n(f) = -f - 6. Let p be n(-6). Suppose -2*h = 2 - p. Is h at most j?
True
Let p = 2 - 3. Let f be 0 + 4*p/(-18). Is -1 >= f?
False
Suppose 0 = 2*z - 5*w - 5, -2 = -2*z + 3*w - 3. Are z and -4 nonequal?
True
Let y be 82*(6/16 - 1). Let z = y - -51. Which is smaller: -2/5 or z?
-2/5
Let v be (4/(-6))/(2/(-3)). Suppose d - 2 = v. Which is greater: 1 or d?
d
Let u be (3 - 1) + 224/(-110). Is 1 > u?
True
Let n = -79/3 - -337/12. Which is smaller: n or 1?
1
Let g = 0.08 + 0.92. Let j = -1.4 - -0.4. Let f = j + -3. Which is greater: f or g?
g
Let l(p) = -1 - p - 2 + 2 - 3. Let n be l(-4). Let h = -2 + n. Which is bigger: h or -0.1?
-0.1
Suppose -6*n - 4*y + 28 = -2*n, 2*n + y - 11 = 0. Suppose -4*h - 2*p + 0 = -2, -n*p = 4. Is 3/7 greater than h?
False
Suppose 3*q + 4*o - 21 = 8*q, o = -4*q. Which is smaller: q or -3?
-3
Suppose -2*z + 4 - 2 = 0. Let o be z + -1*3 + 0. Suppose -9 = -3*a - 3*d, -4*a - 10 = -2*a - 2*d. Which is greater: o or a?
a
Let g be 2 - (3*-6 - 3). Let r(d) = 3*d + 12. Let b be r(4). Which is smaller: b or g?
g
Suppose -4*c - 2*o - 14 = 12, 0 = -2*c - 3*o - 7. Let b be (-3)/(-27)*(-2 - c). Are b and 3/8 nonequal?
True
Suppose -4*f = -3*f + 5. Let p be 3/(-1 + 7 + -7). Which is bigger: p or f?
p
Let l(z) = -z**3 - 5*z**2 - 2*z - 6. Let i be l(-5). Let a = i - 3. Let f = -70 - -70. Which is bigger: a or f?
a
Let x be (-1*(0 + 0))/(-1). Suppose p = -0*p. Suppose p = -s - 4*s. Is x at most s?
True
Suppose 6*k = -0*k + 18. Is 1 smaller than k?
True
Let t = 6/11 + -35/44. Suppose 0 = -2*g - 5*d + 25, -4*d = -2*g - 6 - 14. Are g and t nonequal?
True
Let p = 0 + 0.7. Let k = p + -1. Is k < 2?
True
Let o be (2/(-2))/(16 - 17). Which is smaller: o or 2?
o
Let c be 1*-1*(4 - 3). Is c > -4?
True
Let b be 4/6 + (-1)/(-3). Suppose 2*y - 6 = -y. Which is greater: b or y?
y
Suppose -3*j - l - l - 11 = 0, 0 = 2*j - 2*l + 24. Let n be 2/j - (-8)/14. Which is smaller: n or 0?
0
Let b = -0.03 - -20.03. Which is bigger: -2/7 or b?
b
Let b be 6/(-8) - (-19)/19. Is 23 >= b?
True
Let z = 91/3 - 449/15. Is -0.5 smaller than z?
True
Let i(u) = -2*u**2 - u + 2. Let q(w) = 0 + 3 + w**3 - 5. Let n be q(0). Let o be i(n). Is -3 smaller than o?
False
Let g = 31.94 - 32. Which is smaller: 0.1 or g?
g
Let d = 53772 + -8334763/155. Let q = -3288/31 + 106. Let m = d - q. Is -1 at least as big as m?
False
Let p be 45/10 + 3/(-2). Which is smaller: p or 2?
2
Suppose 2*h - 7*h - 2*o - 4 = 0, 4*o = -4*h + 4. Let d(j) = -9*j**3 + 2*j**2 + j. Let y be d(-1). Suppose y*g - 5*g + 5 = 0. Which is bigger: h or g?
g
Let p = 19 + -36. Let u be (-12)/8*-2 + p. Is -15 at least u?
False
Let p(g) = -g**2 + 5*g + 4. Let c be p(5). Suppose -c*b = -0*b + 12. Let j be 0/((b + 4)*-1). Which is bigger: 3/5 or j?
3/5
Suppose 0 = -12*u + 10*u + 52. Is 21 greater than u?
False
Suppose h + 5*p = 6, 0*h - 2*h = 4*p - 6. Is -1/5 greater than or equal to h?
False
Let a(l) = -l**2 - l - 1. Let b be a(0). Let n = 332 - 333. Is n < b?
False
Let z = -61/2 + 31. Which is bigger: z or -21?
z
Let b be 160/(-12) + (-1)/(-3). Let z(o) = o**3 + 13*o**2 + 1. Let n be z(b). Is n smaller than 1?
False
Let c be (-20)/(-28) + (-2)/(-7). Let f(v) = v**3 + 5*v**2 + 5*v + 5. Let a be f(-5). Let t be a/(-9) + -3 + c. Is -1 < t?
True
Let i be (2 + -3)/4*-4. Let c be (i/(-2))/((-84)/(-76)). Let j = c - 1/21. Is j less than or equal to 0.2?
True
Let s = -8 + -4. Let b be 5/(-15)*(2 + -3). Which is greater: b or s?
b
Suppose 3*g + 40 = -c, 4*c = 3*g + 1 + 49. Is -13 at most as big as g?
False
Let v = -72 - -72.1. Which is greater: 2 or v?
2
Let n(p) = p**2 - p - 2. Let v be n(-1). Suppose -4*f - 24 - 12 = v. Is -8 <= f?
False
Let h = -32 - -21. Is h equal to -2/5?
False
Let v = 6 + -5.7. Let i be 20/(-8)*6/(-5). Let n be (-2 - -2)/i - -1. Is n at most v?
False
Le