 most p?
True
Let a be 12/(-224)*-21*(-1)/21. Is a at most 1?
True
Let l = -24 - -69. Let r be ((-129)/l + 3)/(6/30). Let t = 136/3 + -45. Is t less than r?
True
Let x = -2401 - -103249/43. Is -1 smaller than x?
True
Let r(l) = 2*l - 4. Let d be r(3). Which is smaller: d or -4/85?
-4/85
Let b = 2 - -2. Let u be 16/6 - b - 1*-1. Which is smaller: -18 or u?
-18
Let z = 13.61 + -0.31. Let x = z - 12.3. Which is greater: 2/25 or x?
x
Let c(h) = -2*h + 33. Let k be c(0). Suppose k*w = 38*w - 10. Which is smaller: 0 or w?
0
Let x be -5 + (-12)/4*-1. Is -9 less than x?
True
Let z = -13.5 + -3.5. Let k = 2.34 - 2.14. Is k at most as big as z?
False
Suppose 9 = -4*s + f, 0 = s + f - 5*f + 21. Is 8/17 != s?
True
Let n be (7/(-3))/((-5)/30). Let d = -13 + n. Suppose -w - d = 2. Which is smaller: w or -2?
w
Let o be (((-2)/2)/4)/(95378/(-1648)). Which is bigger: o or 1?
1
Let k be (-2)/3*(-54)/(-4). Let f be (-2)/k + (-3)/54. Is 1 less than f?
False
Let m(a) = a**2 - 7*a + 6. Let v be m(6). Let n = 59 + -69. Let q be (42/18 + -3)/(n/(-6)). Are v and q equal?
False
Let p = 480 - 479. Which is smaller: -5 or p?
-5
Suppose -13*f - 1 + 27 = 0. Let n(x) = 27*x**3 - 2*x**2 + 1. Let w be n(1). Suppose 6 = f*m + w. Is m not equal to -11?
True
Let d be (-45)/11772*(-150)/(-8). Let k = 1/109 + d. Which is smaller: k or -1?
-1
Let d(g) = g**2 + 16*g + 72. Let i be d(-13). Is i greater than 26?
True
Let a be (-1)/(656/220 + -3). Suppose -3*g = -2*s + a, s - 1 = 4. Let f be 26/15 + 6/g. Which is smaller: 1 or f?
1
Let l = -5 - -5.01. Let n = -19 - -18.99. Let g = l + n. Which is smaller: -10 or g?
-10
Suppose -5*l + 24 = 2*o, 2*l = -5*o + l + 37. Let j be (3/4 - 8/(-96))*6. Do o and j have different values?
True
Let i be (-1397)/1778 - (-1)/2. Is -0.3 equal to i?
False
Let h(c) = -c**2 - 9*c - 2. Let i be h(-10). Suppose 41 = -9*t - 58. Are t and i unequal?
True
Let r = 10 + -9. Let x be (45/48 - 1)/(-1). Is x < r?
True
Suppose -4 = 4*c + 5*m - 3*m, -4*c = -5*m - 24. Let y be 1 - (c + -1)/(-4). Which is smaller: -19 or y?
-19
Let g = 208.7 - 209. Is -1/8 at least g?
True
Let u be (6/(-45))/(-1) - (-410)/300. Is u >= 39?
False
Suppose -2*m + 49 + 7 = 0. Suppose 168 - m = 5*h + 5*n, -91 = -3*h + 4*n. Let d = h + -33. Is d less than or equal to -3?
True
Let l(u) = 8*u + 41. Let d be l(-5). Let q(t) = -t**2 - 1. Let y be q(0). Let o be -7 - -6 - y/d. Is 6/7 >= o?
True
Let c(z) = -3*z - 11. Let w be c(-4). Which is greater: w or -4/21?
w
Let j be 12/16*144/(-135). Let f(k) be the second derivative of k**3/6 - 3*k**2/2 + 2*k. Let r be f(3). Which is bigger: r or j?
r
Suppose 2*q - 2 = 16. Let t be (144/27)/(4/6). Which is greater: t or q?
q
Let g = -173 + 171. Which is bigger: -1 or g?
-1
Let y(z) = z**3 - 14*z**2 + 11*z + 15. Let v be y(13). Let s be (0 + 4)*v/(-44). Is -2/133 > s?
False
Let m = -4372 + 4353. Let u = 34 + -56. Which is bigger: u or m?
m
Suppose 0 = -5*s - 4*l + 1, 5*s = -3*l - 1 + 3. Which is smaller: 30/31 or s?
30/31
Suppose -48 = -v - 49. Suppose x - 7 = 8. Suppose x = -3*d - 24. Which is smaller: d or v?
d
Let f = 1146/65 - 302/13. Is -7 at least f?
False
Let b = -75 + 7799/104. Which is bigger: 0 or b?
0
Let l be 8 + 3 + 2 + (-12)/4. Let s be (-84)/(-2590)*l/(-3). Is s > -2/5?
True
Let j = -1518 - -1529. Is -7 <= j?
True
Suppose -5*j + l + 112 = -j, 4*l = -16. Let m be ((-9)/j)/(2/42). Is m != -7?
False
Let o = -59 + 66. Let s be o/(350/(-4))*2. Which is greater: 1 or s?
1
Let y = 265 - 264.901. Do 1 and y have different values?
True
Let i(k) = k - 5. Let t be i(6). Let x = 6705/11 - 609. Let f = x - -9/44. Which is greater: t or f?
t
Let p = -8091 + 8084.947. Let i = -6.1 - p. Is i < -0.1?
False
Let p be -1 + 3 + (-15)/3. Let q be (-39)/(-6)*-5 - p. Let f = q - -30. Is f greater than 0?
True
Suppose 0 = 3*l - n + 104, -4*n - 92 = -4*l - 244. Let s = 45 + l. Suppose 11*g = s*g + 18. Which is greater: -1 or g?
-1
Let k(r) = 3*r**2 + 15*r - 4. Let n be k(6). Is 194 bigger than n?
False
Let w(i) = i**3 - 9*i**2 - i - 9. Let z be w(9). Let v be 3916/36 + (-4)/z. Let u be (v/(-56) + 2)*-4. Which is greater: 1 or u?
1
Let f(b) = b**2 + 15*b + 18. Let i be f(-12). Let t be i/12 - (-22)/12. Let c = 15.7 - 14. Which is greater: t or c?
c
Suppose 50 = -8*b + 3*b. Let p(f) = -f**2 - 14*f - 10. Let w be p(-15). Let k = 15 + w. Are b and k nonequal?
False
Suppose 340 = -13*m + 3*m. Which is greater: m or -32?
-32
Let r(z) = -z**2 + 4*z + 3. Let s be r(4). Suppose s*u = 5*u - 8. Suppose u*p + 6 = 4*v - 6, -4*v + 2 = p. Is -1 greater than p?
True
Suppose 10*l + 10 = -0*l. Let o be -1*(-4 - l - 1). Is 1 smaller than o?
True
Suppose -l - d = -4, 3*l - 5 = l - 3*d. Let r be 18/14 - 2/(l + -5). Which is smaller: r or -3?
-3
Let y be ((-552)/(-20))/(-3) - 7. Which is smaller: y or -16?
y
Suppose 0 = 12*m + 15*m + 297. Which is bigger: -52/5 or m?
-52/5
Let h(p) = -2*p + 1. Let b(o) = -o**2 + 10*o - 2. Let v be b(10). Let a be h(v). Suppose -4*y = -4*d - y + 15, 2*y = d. Which is bigger: d or a?
d
Let u = 498/5 + -100. Let p = -26 + 31. Suppose -p*r + 0*r = r. Is r > u?
True
Let n = 0 - -50. Let c = 50 - n. Is 6 at most c?
False
Let x be -1 - (-1 - 0/1). Let j(d) = -d + 14. Let l be j(10). Suppose l*s - 1 = 3*s. Which is greater: s or x?
s
Let p be 2 + 4 + (-20)/(-4). Suppose -2*q - 6 = l, -3*l - 15 = 5*q + 2*l. Is q bigger than p?
False
Suppose 6*k - 23 = -3*u + k, 4*k - 34 = -5*u. Suppose u*z = 14*z + 8*z. Do z and -2/57 have different values?
True
Suppose 0 = -45*m + 36*m - 2133. Which is bigger: m or -238?
m
Suppose -9*r + 5*r + 32 = 0. Let q be -2 + 0 + r - -3. Let s = -10 - -18. Do q and s have the same value?
False
Let y be (-1 + -1)/(50/200). Which is bigger: -2 or y?
-2
Let x = 2033 - 2032.963. Is x bigger than -2/3?
True
Let c be 5 - ((-216)/16 + -7). Which is smaller: 25 or c?
25
Let m = -16946 + 2355482/139. Which is greater: m or 0?
0
Suppose 1207 = -5*q - 3*t + 6491, -1061 = -q - 2*t. Is 1054 greater than q?
False
Let b = -1817/4 + 453. Which is smaller: b or 1?
b
Suppose -18 = 3*x - 21. Is 1/122 smaller than x?
True
Let j(h) = -3*h**2 + 12*h - 1. Let c be j(5). Let r = 4 + c. Is r < 0.1?
True
Let c = -8 + 1. Let u be c/12 - 4/(-12). Which is smaller: u or 2?
u
Let p = -1.5 + -45.5. Let v = -109/2 - -54. Is p < v?
True
Let r = 337.69 + -336. Is 0 equal to r?
False
Suppose 0 = -5*k + 3*u + 28, 4*k - 16 = -4*u - 0*u. Let b be 4 + (2 - 5) + 5. Suppose 0 = 3*m - m - b. Is k < m?
False
Let x(z) = z**2 + 9*z - 6. Let b be x(-9). Let c be (-3 + (-9)/b)*-2. Let p be c - (145/49 - 0). Which is greater: p or 0?
p
Let k be (-4)/12 + 172/534 + 0. Do k and -0.1 have different values?
True
Let x = -1577 - -1577.1. Which is greater: x or -1356?
x
Let n be (-26)/(3*10/15 - 1). Is n not equal to -28?
True
Let r = 710544 - 725465272/1021. Let t = r - -7429645/28588. Let h = -260 + t. Which is greater: 0 or h?
h
Suppose 0*a - 6 = -3*l + 3*a, -5*l + 19 = -2*a. Let m = l + -9. Let d be (-2 + 0)*(1 + 0). Which is bigger: m or d?
d
Let q = 49 + -48. Let x = -3 - -2.2. Let h = q + x. Is -2/3 less than h?
True
Suppose 38*n + 504 = 48. Is -14 at most n?
True
Let i = 420 + -322. Is -2 bigger than i?
False
Let y(u) = u - 10. Let m(l) = -2*l + 19. Let j(q) = 6*m(q) + 11*y(q). Let g be j(6). Let i = 1 - 3. Is g < i?
False
Let v = -733/2 - -330. Is v less than -36?
True
Let g = -5.34 + 5.121. Let k = g - -0.099. Which is smaller: 0 or k?
k
Let g = -289/57 - -90/19. Which is smaller: 0.557 or g?
g
Suppose -2*q = 49 - 11. Suppose 2*n + 2*o + 34 = -0*n, 2*n + 5*o + 22 = 0. Is q <= n?
False
Suppose 5*y - 3*y - 3*h - 8 = 0, 4 = y + h. Let v = -757 + 3801/5. Is y at least v?
True
Suppose -27 = y - 5*q, 4*y - q + 1 = -12. Let a be 8/(-6)*3/y. Let x = -16 + 17. Which is smaller: a or x?
x
Let s = 0 - -0.1. Let v = -11588.6 - -11580. Which is greater: s or v?
s
Suppose -48*b + 271 - 31 = 0. Suppose 2*j - 3*i - 6 = 2*i, -j + 3 = -3*i. Suppose -j*q = -8 - 13. Is b bigger than q?
False
Suppose t - 13 = -3*z, 4*z - 2 = -3*t + 37. Let x be (-2 + 1)*(t - (1 - 1)). Which is greater: -66/5 or x?
x
Let m be (-31266)/1008 - (51/24 - 2). Is -32 greater than or equal to m?
False
Suppose -4*t - 3*o - 87 = 100, -4*t - o - 185 = 0. Let n = 45 + t. Is -11/5 less than or equal to n?
True
Suppose -2*n + 13 = f