 = 1 - p. Which is greater: 1 or m?
1
Suppose 5*q - 5 + 0 = 0. Let r(a) = -a**2 + 3*a - 2. Let z be r(3). Let c be -1 - ((-3)/(-5) + z). Which is greater: c or q?
q
Let o = 0.2 - -0.8. Suppose 3*p + 4*q = 17, -5*p + 10 = -0*q + 3*q. Which is smaller: p or o?
p
Suppose 7*v - 4 = 6*v. Let x be -2 - (v + (0 - 0)). Is -5 at most x?
False
Suppose 4*g + 46 = -a, -4*g - 3*a + 0*a = 50. Is g at least -13?
True
Suppose 0 = 5*z - 5*t, -2 = 5*z + t + 4. Let y be -1 + 3 - (-1 + -6). Suppose y = -3*s - 0. Is z != s?
True
Let a = 11 - 20. Let n be a/(-12)*8/7. Is n != 0?
True
Let a(i) = 17*i**3 + 3*i + 2. Let c be a(-1). Let j(u) = 13*u**3 + u**2 + u. Let h be j(-1). Let x = h - c. Is x greater than 4?
True
Let v = -0.02 + 0.06. Let f = 0.06 + v. Is 1/2 < f?
False
Suppose c - 15 = -4*p, -5*p - 2*c + 12 = -3*p. Suppose -p*i + 3 = 0, -i + 4 = 3*a - 3*i. Let y = 2 - a. Is 2 bigger than y?
True
Let z(h) = 0*h + 1 + h**2 - h + 2. Let a be z(0). Suppose -2*f + 2 = -4*u - 0, -a*u + 2 = 2*f. Which is bigger: -1 or f?
f
Let u = -281 - -131. Let l be u/35 + 2/7. Are -6 and l equal?
False
Suppose -29 = -4*g + 5*q + 7, 2*q - 8 = -4*g. Suppose -g*r + 4 = -4*p, p + 2*p - 4*r + 3 = 0. Are -1/4 and p non-equal?
True
Suppose 0 = -p + 2*f + 4, p - 10 - 4 = -3*f. Let g be p/4 + 2*-1. Which is smaller: -2/43 or g?
-2/43
Let p = -15 - -9. Let f be (8/(-10))/((-1)/5). Let o be f/10 + p/(-10). Is -1/4 > o?
False
Let g = -12 + 25. Is 13 greater than or equal to g?
True
Let t = -60 + 59.8. Let q = -6 - -4. Which is smaller: q or t?
q
Let u = -0.2 + 1.2. Suppose c + 2*h - 3 = 0, -11 = 5*c - 2*h - h. Which is bigger: u or c?
u
Let p be (-18)/4 + 1/2. Let x = -1 - -4. Let t = x + p. Is 2/5 at most as big as t?
False
Let f = 0.046 - -0.654. Which is bigger: f or -0.03?
f
Suppose -4*q + 12 = 0, 1 = u - 3*q + 7. Suppose -u*r = 2*r - 5. Suppose i - 2*i = 0. Which is smaller: i or r?
i
Suppose -1 = x + 1. Let i be 18/120*x/(-3). Which is smaller: 1 or i?
i
Let n be 4 - 1*(-9)/(-3). Suppose -2*c = -1 - n. Which is smaller: c or 1/3?
1/3
Let o(i) = 5*i**2 - 1. Let c be o(-1). Let t = -2 + c. Is 4/7 not equal to t?
True
Let t = 0.07 + 1.93. Let g = 4 - t. Which is greater: g or 3?
3
Let m be -1*4*20/16. Let d(i) = i**3 + 5*i**2 - 4*i + 7. Let a be d(-6). Is m less than or equal to a?
True
Let b = 1 - -4. Is b equal to 0.1?
False
Suppose 1 = -3*p + 4. Let u be (4/(-8))/(p/(-2)). Suppose 0*s + 25 = -2*s + 5*y, 3*s = y - 5. Which is smaller: u or s?
s
Let q be 1*30*1/4. Let r = q - 73/10. Is r != 1?
True
Let c = 641/5 + -2033/15. Is c greater than or equal to -8?
True
Let g = 4 - 6. Let o be (-4)/16*12/5. Which is bigger: o or g?
o
Let r(l) = 2*l**3 - 4*l + 3. Let q be r(2). Suppose 4*d + 7 - q = 0. Is d at most as big as 1?
True
Let m = 11 - 15. Let q(k) = k**2 + 6*k + 4. Let s be q(-6). Suppose -s*r - 16 + 0 = 0. Is r at most m?
True
Let w = -7.8 + 7.93. Which is smaller: -3 or w?
-3
Let c = -14 + 6. Let w = c - -9. Let h = -1.2 - -1. Which is greater: w or h?
w
Suppose -1 - 1 = i. Let t be 7 + -4 + (i - -4). Let f(w) = 3*w**2 - 4*w. Let o be f(2). Which is smaller: t or o?
o
Let i = 15 - 21. Let f be i/(-12)*(-6)/(-1). Which is greater: f or 2?
f
Let q = 8 + -6. Suppose -3*n - 5 + q = 0. Let f(h) = -h**3 - 10*h**2 - h - 10. Let b be f(-10). Is n less than b?
True
Let h = -0.16 - 1.54. Let y = 2 + h. Is -1/4 less than or equal to y?
True
Let x be -1 + 0/1 + 790/800. Which is greater: x or 1?
1
Let k = 5 + 7. Suppose -d - 11 = -k. Is d not equal to -1/5?
True
Suppose 7*i - 2*i - 55 = 0. Is 12 < i?
False
Let q be ((-4)/(-25))/((-7)/105). Which is bigger: q or 0.1?
0.1
Suppose 5*i = i + 5*f + 132, -3*i + 76 = 2*f. Suppose 4*a - 2*m - i = 0, -5*a - 4*m + 13 = -m. Suppose 4 = a*b - 1. Is -1 not equal to b?
True
Let q be 1*-12*1/(-1). Suppose 5*i - 16 = 5*y - 1, -3*y - 4*i + q = 0. Is y < -1?
False
Suppose 2*k - 3*y = -1, 0 = 2*y - 0*y + 2. Let h be -2*(-1)/k + 1. Is h greater than or equal to 2/11?
False
Let v = -3.1 + 3. Let k = 0 - -1.2. Let l = k - 5.2. Is l bigger than v?
False
Let i = -107/3 - -36. Let v = 1/6 + i. Is 3 < v?
False
Let f be (-45)/((-20)/8 + 1). Suppose 2*x + 3*x = -f. Let s = 43/78 - 2/39. Which is smaller: x or s?
x
Let s be 3/(84/8)*1 - 0. Is 1 bigger than s?
True
Let d be (-39)/(-9) - (-1)/(-3). Suppose -4*x - 12 = d*y, 5*x = -3*y - 5 - 0. Let r(u) = -u - 4. Let b be r(-5). Which is smaller: b or x?
b
Let w = -0.14 + 0.14. Let a = 2 + w. Is 0.04 bigger than a?
False
Let x(n) = 8*n**2 - n - 2. Let t be x(-1). Let k = 13 + -6. Is k at least as big as t?
True
Suppose a - j = -8, 2*a - 5*j + 20 = -a. Which is smaller: -9 or a?
a
Let x(i) = i**2 + i + 4. Let c be x(0). Let w be 2/12*15/c. Let l = w - 7/8. Which is greater: -0.3 or l?
l
Let g(z) = 10*z - 3. Let q be g(1). Is q at least 7?
True
Suppose -2*k + 11 = -5*v, v - 2 = -v. Is 8 less than k?
False
Let c be -1 + (-1)/(1/4). Let y be (-2)/c + 112/(-80). Let n = -0.09 - -0.1. Which is smaller: y or n?
y
Suppose -4*j + 77 = -51. Which is greater: j or 1?
j
Let h(g) = -g**3 + 3*g**2 + g + 5. Let x be h(4). Let i = -4 - x. Let k be -3*(8/i)/4. Is k at most as big as 1?
True
Suppose 11*r - 15*r = 24. Is r greater than -7?
True
Let y(z) = -z**2 + 4. Let q be y(0). Suppose 3*b - q*j - 17 = -6, -4*b = 2*j. Which is smaller: b or 0.11?
0.11
Let o(l) = l**3 + l**2 - 12*l + 5. Let r be o(3). Let f(p) = p**3 - 3*p**2 + p + 3. Let w be f(3). Which is smaller: r or w?
r
Let s = 21 + -11. Suppose 5*a + s = -0*a. Is -2 at least a?
True
Let a be ((-6)/20)/(144/60). Let w(t) = t**3 - 5*t**2 + 4*t + 1. Let h be w(4). Which is greater: a or h?
h
Let g(t) = t + 3. Let k be ((-2)/3)/(1/9). Let r = k - -3. Let u be g(r). Are 0 and u equal?
True
Let g = 2.95 + 0.05. Suppose 4*k + 14 = -2*a, -a + 13 = -5*a - 5*k. Suppose -a*s + u = 4 + 1, -u + 5 = 4*s. Is g greater than or equal to s?
True
Let r = -11/364 - -3/28. Let a(n) = -n**2 - n + 2. Let p be a(-2). Which is bigger: r or p?
r
Let p be 30/100*(-5)/6. Are 50 and p unequal?
True
Let v = 478739/316 - 1515. Let b = v - -1909/4108. Do b and -1 have the same value?
False
Suppose -8 = -2*x + 2, 0 = -5*v - 2*x - 200. Let l be (6/(-8))/(v/16). Is 2/7 > l?
False
Let y be 0/((-1)/(-3)*3). Suppose y*h = 5*h. Let s = 3 - 3. Do s and h have the same value?
True
Let z = -62 + 247/4. Which is smaller: z or 1?
z
Suppose -3*v - 34 = -t, t + 80 = -5*v - 2*t. Let z be (25 - -1)/(26/v). Which is bigger: -12 or z?
-12
Let m = -0.22 - 11.78. Let k = m + 14. Which is smaller: 0 or k?
0
Let f(c) = -c**3 + 5*c**2 + 6*c - 1. Let s be f(6). Which is greater: -4/59 or s?
-4/59
Let a be (4/(-32))/(2/(-44)). Which is smaller: 4 or a?
a
Let i = -53 + 58. Which is smaller: i or 7?
i
Suppose 4*s - 3*u - 22 = 1, -u = 2*s - 19. Let l = s + -11. Do l and -1 have the same value?
False
Let l = -9 - -22. Let d = -9 + l. Is d at most 1/3?
False
Suppose 0 = -599*x + 598*x - 4. Let q be (-2 + (2 - 1))*3. Is q > x?
True
Let x be 4/2*(5 + -4). Suppose 4*d - x*d = 2. Is 1/4 at most d?
True
Let n = -432/1463 + 2/209. Which is smaller: 0 or n?
n
Let t = 13.4 - 13. Let w = 3 - 2.64. Let m = t - w. Which is smaller: 1 or m?
m
Let b(j) = -j**2 - 5*j + 8. Let p be b(-7). Let y(h) = -4*h - 8. Let v be y(p). Let k be (-2)/(-8) + (-36)/v. Is -2 at least as big as k?
True
Suppose 2*k - 14 = -2*o, 0 = 2*o + o - 15. Which is smaller: k or -1?
-1
Let k be (5 - 3)*(2 - 1). Let v(x) = x**3 + 5*x**2 + 3*x - 3. Let d be v(-4). Which is smaller: d or k?
d
Suppose -20 = -0*l - 5*l, -3*l + 3 = -3*c. Suppose -16 = 2*n - 4*j, 5*n = -2*j - 3 - 37. Let i = n - -12. Which is smaller: c or i?
c
Let v be 6/27 - (-112)/(-18). Let d be (v/(-5))/(-2) + 1. Is d greater than 1?
False
Let c be (-2)/(2/3*-3). Let m = 123 + -120. Do m and c have the same value?
False
Let z be 1 + 2 + 53/(-17). Let d = 351 - 351. Is d at most z?
False
Let r be (-2)/8 + 4/80. Let h(i) = -i**2 + 3*i + 9. Let m be h(5). Which is greater: m or r?
r
Suppose 4*i + 34 = -4*m + 2*i, 5*m + 47 = 2*i. Let p = m - -2. Let w be (2/(-4))/(p/42). Do w and 3 have the same value?
True
Let c be 0/(-3*2/(-6)). Is -2/11 < c?
True
Let q = 639/4 + -159. Suppose 3 = -81*r + 84*r. Is q > r?
False
Let n = 12/31 - -116/341. Which is bigger: n or 1?
1
Let y = -5 - -8. Let p(g) = g**2 - 2*g - 1. Let x be p(3). Is y