Is v greater than p?
True
Suppose 10 = -h - 2*n, 4*n - 4 = 4*h - 0*n. Let x be (-1)/((-4)/(16/h)). Let z be (-48)/(-1716) + 2/(-11). Is z > x?
True
Let f = 27/13 + 8/65. Suppose -5*v + 0*x = x - 11, -2*x = -v. Which is smaller: v or f?
v
Let f(n) = 9*n**3 - 2*n**2 + 1. Let k be f(1). Let r be ((-9)/(-12))/((-1)/k). Let s be (-1 + r/(-9))*0. Which is smaller: s or 1/2?
s
Let l(x) = x**3 - 7*x**2 + 8*x - 8. Let m be l(6). Suppose 131*i = 176*i - 315. Which is smaller: m or i?
m
Let a be ((-18)/(-4))/(8/16). Let p = 11 - a. Let z be (p/4)/(4/8). Is z at most as big as -3/14?
False
Suppose 0 = b + 2*b + 2*c - 19, 2*b + 4*c - 10 = 0. Suppose 3*a = -3*m + 45, -2*m = -m. Which is bigger: a or b?
a
Suppose -3*p + p = 18. Let t(r) = 1 + 1 + 9*r + 5*r**2 - 4*r**2 + 1. Let l be t(p). Which is smaller: l or 1?
1
Suppose 4*d + 360 + 4 = 0. Let n be -3 - (6/(-21) - 99/21). Let u be 52/d*(-1)/n. Is -2/7 < u?
True
Let l(a) = -3*a**2 + 9*a - 7. Let n be l(2). Is -12/65 less than or equal to n?
False
Let w be (((-81)/(-17) - 1) + -4)/6. Which is smaller: w or -2?
-2
Suppose 5*p + 17 = -o, 3*o - p + 2 = -1. Let s be (-49)/63 + (o - -3). Let k = -2 - -2. Does s = k?
False
Let n be (-3380)/30*(-1)/2. Let g = 56 - n. Which is smaller: -1.1 or g?
-1.1
Let d = 66 - 1121/17. Suppose -120*g = -107*g - 13. Is d >= g?
False
Let l = 0.3 + -0.8. Let s = l + 2.5. Let y = -1.9 + s. Is 2/7 less than y?
False
Let g = 2158 + -6476/3. Is g >= 213?
False
Suppose 126*z - 132*z - 4650 = 0. Are -774 and z nonequal?
True
Let r be (-12)/(7/(84/8)). Let b = r + 20. Which is smaller: 3/5 or b?
3/5
Suppose 2 = -2*x + 8. Let g(a) = -175*a**2 + a. Let u be g(1). Let r be u/(-70) + 2/(-7). Are r and x nonequal?
True
Let f = 4.8 + -0.6. Let j = f - 0.2. Let a = 113/20 + -21/4. Which is greater: a or j?
j
Let t(z) = 28*z - 2. Let c be t(1). Let q(u) = -2*u + 43. Let s be q(8). Do c and s have the same value?
False
Let u = 2511 - 12547/5. Let k be (-3 - -2) + (-3)/(-5). Is u at least as big as k?
True
Let d(v) = 8*v + 2. Let w be d(1). Let s = -9 + w. Let t be 3/(-6)*0 + -1. Do t and s have different values?
True
Suppose 4*m + 4*h - 15 = -199, -3*m - 146 = 5*h. Which is smaller: m or -83/2?
m
Let x = 368 + -1951/5. Let i = x - -22. Which is bigger: -23 or i?
i
Let t = -151 - 25. Let v be (2/t)/(11/66). Let a = -1/4 - v. Which is smaller: a or 0?
a
Let o = -67 - -70. Which is smaller: o or 2/43?
2/43
Let q = -1.198 + 1.898. Which is smaller: q or 0?
0
Suppose -4*z - 390 = -o, 4*o - 90 = 19*z - 18*z. Are -98 and z unequal?
False
Let q(b) = b**2 + b + 17. Let z be q(0). Suppose z = -2*o + 3*v, 3*o - 3*v - v + 23 = 0. Let n be o + 2 - (-204)/(-192). Is n at most 0?
True
Suppose -4*s - 8 = 4. Let c(d) = -78*d + 2883. Let k be c(37). Is s not equal to k?
False
Let h be (15/(-3))/(-75) + (-2)/5. Let c = -0.7 - -0.8. Does h = c?
False
Let l be 11/4 - 13/(-52). Let n be (l/(-2) - -1)*2. Let u = 0.5 - 0.62. Are u and n nonequal?
True
Suppose 0 = 2*p + 10, -3*c + 50 = -2*p - 2*p. Let g be 3/4 + (-115)/c. Is g greater than or equal to -11?
True
Suppose 2488 = 49*a - 41*a. Which is smaller: 310 or a?
310
Let x be (-3)/(-4) + (-8)/32. Let w = -4 + 4. Let d = w - -7. Which is greater: d or x?
d
Let r(t) be the third derivative of t**4/24 - 2*t**2. Let j be 5 - (1 - (-3)/3). Let f be r(j). Which is smaller: f or 0?
0
Suppose -5*n = -5 - 0. Which is smaller: -3/931 or n?
-3/931
Let z = 3.8 + -1. Let m = z + -5.8. Which is smaller: m or 7?
m
Let x(f) be the first derivative of f**4/2 + 2*f**3/3 - f + 12. Let t(h) = h + 4. Let l be t(-5). Let k be x(l). Do k and -1 have different values?
False
Let p = 100 - 66. Let s = 32 - p. Let k = 5 + -4.93. Is k at least s?
True
Suppose -5*k + 2*s - 46 - 4 = 0, -3*s = 15. Let n be 2/72*-22 + (-18)/k. Which is smaller: 0 or n?
0
Let w = -0.08 + 0.98. Let y = w + -0.9. Is 16 >= y?
True
Suppose 10*o - 51 + 1 = 0. Suppose a = -6*g + 11*g - 82, 0 = -4*g - o*a + 54. Which is smaller: g or 15?
15
Let x(b) = b**3 - 8*b**2 - 9*b + 10. Let n be x(9). Suppose -3*u + n = -41. Which is smaller: 15 or u?
15
Let f be 291584/187 - (-2 - 1). Let b = 1567 - f. Is b < 6?
True
Let m be ((-57)/76209)/(4/(-70)). Which is smaller: -1 or m?
-1
Let v be 3/(-7) + 224/294. Suppose 2*b = -5*y + 18, b + 0 = y + 2. Which is smaller: b or v?
v
Let p be ((-5)/20)/((3/(-20))/3). Suppose -28 = p*b - 13. Which is bigger: 0 or b?
0
Let o be ((-144)/28)/(-2) - 2. Let z = 2.5 + -1.5. Is o less than or equal to z?
True
Let p be ((-6)/3)/2 + 3. Suppose -33 = 3*z + 3*g, 4 - 41 = 3*z + p*g. Let c be 524/(-32) + 9/24. Is z not equal to c?
True
Let c(u) = 2*u**2 - 18*u + 29. Let d be c(12). Which is bigger: 102 or d?
102
Let i = -248625392/129 - -5784284/3. Suppose -1475 = -3*k + 823. Let w = i - k. Are w and 1 equal?
False
Let y = -92 + 114. Is -8 at most as big as y?
True
Let j be (1 - (-2 + 3)) + 21. Let x = 39 - j. Let i be 2/(-4) - (-9)/x. Is i != 1?
True
Let v = -27 - -27.74. Let t = v - 0.74. Is t > -1/5?
True
Let i = 0.781 + -0.781. Are -32.5 and i equal?
False
Suppose 0 = -53*p - 60 + 7. Which is smaller: p or -2/2621?
p
Let o = -155/11 - -162/11. Which is smaller: 2 or o?
o
Let t = 2.13 + -2.239. Let q = 0.091 - t. Is -2/37 >= q?
False
Let t = -1 + 0. Let s = -6 - t. Let g = 67/80 - 7/16. Which is smaller: s or g?
s
Let w(z) = -z + 7. Let v be w(8). Let c be 2 + 4/v + 2. Suppose 6*m - 4*m + 58 = c. Are m and -30 equal?
False
Let o = -62.3 - 158.7. Which is smaller: o or 0.1?
o
Suppose -2*i + k - 3 = -0*k, -9 = 2*i - 3*k. Let y be (-820)/(-6) - (-2)/6. Let q = 827/6 - y. Is i bigger than q?
False
Let k = 270 + -290. Which is greater: k or -4?
-4
Let r = 1/155 + 269/6355. Let q = -9 + 14. Suppose 2*c + i - q = 0, 0*c - 4*c = -5*i + 11. Which is smaller: r or c?
r
Let q be (-7406)/(-70)*(-2 + (-6)/(-8)). Let x = q + 132. Which is greater: x or 10.9?
10.9
Let h = -78 - -130. Let q = h + -56. Which is smaller: q or 0.2?
q
Suppose 72 = -19*h + h. Which is greater: -12 or h?
h
Let f = 130/387 - 24/43. Which is bigger: 0 or f?
0
Let v be 4389/(-35) - 3/5. Let a be 6/(-8) - v/112. Which is smaller: a or -1?
-1
Suppose -5*n + 13 + 12 = 0. Suppose 3*v + 3*y - 71 = -2*v, -n*v + y = -63. Let a = v + -13. Is a smaller than -5/7?
False
Let p be (-24)/(-90)*25*(-18)/15. Which is bigger: p or -159/20?
-159/20
Let r(v) = -v**2 + 12*v + 13. Let z be r(12). Let b = -10 + z. Let j be 20/8 - (-3)/2. Is j less than or equal to b?
False
Let o = 4771/7 - 683. Suppose -4*b - y = -28 + 37, 2*y - 2 = 2*b. Are b and o unequal?
True
Suppose -3*f = 2*f + q - 2, 3*f + 3*q = -6. Which is greater: 30/41 or f?
f
Suppose -92 - 32 = -2*w. Let g = -56 + w. Are g and 4 unequal?
True
Let c = -437 - -2645/6. Suppose 2*f - 9 = 1. Is c less than or equal to f?
True
Let q(m) = -m**2 - 10*m - 13. Let d be q(-7). Let t be 0 - 4/d*(-28)/6. Which is smaller: 3 or t?
t
Let l = -3 + 3. Let k(i) = i**2 - 4*i - 154. Let u be k(-11). Which is greater: u or l?
u
Let f(s) = -15*s**3 + 3*s**2 + 3*s + 2. Let o(w) = -w**3 - 8*w**2 - w - 6. Let q be o(-8). Let x be f(q). Is -100 smaller than x?
False
Let v(z) = z**3 - 11*z**2 + z - 8. Let h be v(11). Let l(f) = f**3 - f**2 - 6*f + 5. Let u be l(h). Is 6 > u?
True
Suppose r = 4*y - 4, -r = 4*y + 3*r - 4. Which is smaller: 3/79 or y?
3/79
Let f = -0.6 - 2.38. Let n = -0.02 + f. Is -6 greater than n?
False
Let f = 178 + -180. Let y = -0.32 - -3.22. Is y less than f?
False
Let k be (-1)/3 - 3887/(-267). Let t = 174362/445 - k. Let m = -375 + t. Which is greater: 2 or m?
m
Let g(k) = -2*k**3 + 8*k**2 - 2*k + 5. Let j be g(4). Is j less than -49/12?
False
Let h = 114 + -169. Let u be (-21)/h + 2/(-10). Let t = -41 + 42. Is t greater than or equal to u?
True
Let p be 288/162 + 4/18. Let o be (p + (-12)/5)*-5. Is o < -0.18?
False
Let g be 2 + 2 + (-11)/((-77)/1666). Is g less than or equal to 242?
True
Let k(l) = 5*l + 9. Let g be k(4). Suppose -4*s = 8*z - 4*z + 24, 0 = -4*s - 5*z - g. Which is greater: s or -3/11?
-3/11
Suppose 0*a - 180 = -3*a. Suppose -a = -2*l - l. Suppose 4*k + l = 4*t, 15 = -3*k + t + t. Is -5 greater than k?
False
Let i(m) = 7*m + 7*m**2 - 2 + m**2 - 6*m**2. Let c be i(-5). Let v = 12 - c. Is v < 1?
True
Suppose -4*x - 4*y - y - 23 = 0, 3*x - 4*y + 25 = 0. Let i = 162 + -164. Is x greater than