*r. Which is greater: 5 or r?
r
Let z = -11 - -11. Is 1 >= z?
True
Let u(p) = -p**3 - 3*p**2 - 3*p - 3. Let g be u(-2). Let v(k) = k + 2. Let m be v(6). Let t = m - 8. Which is smaller: t or g?
g
Let b(v) be the third derivative of -v**4/24 - v**3/6 + 2*v**2. Let j be b(0). Are -2 and j equal?
False
Let b be 1/((-3)/(1*6)). Suppose -5*i - o + 22 = -3, 3*i - 5*o - 15 = 0. Let y = i - 8. Do y and b have the same value?
False
Let s = 5 + -2. Suppose -20 = s*x - 2. Which is greater: x or -7?
x
Let l(g) = 3*g + 26. Let i be l(-10). Let w be 2/9 + 129/27. Suppose -2 = 2*u - 4*h, u - 5*h + 3 - w = 0. Which is greater: u or i?
u
Let k be 7206/(-1803) + 1 + (-6)/(-2). Is -1 >= k?
False
Let b = -28 + 25. Which is smaller: -2 or b?
b
Suppose 0 = 58*s - 57*s + 1. Are s and 1 non-equal?
True
Suppose -5*c - 6 = a, 6*c - 2*a = 4*c. Let g = 7 - 20/3. Which is greater: c or g?
g
Suppose -4*w + 3*w = 4. Let m be 2 + w + 0 + 2. Let j(h) = -h**3 - h - 2. Let t be j(0). Is m at least t?
True
Let g = -782 - -782. Let q(f) = f + 8. Let a be q(-6). Which is smaller: a or g?
g
Suppose -5*h + 6*h - y + 4 = 0, -3*y - 12 = 3*h. Let f = -8 - 7. Let t be 26/(-10) + 6/f. Is t at least as big as h?
True
Let s = 10 - 8. Suppose -3*w - 2*w + 15 = 0, s*w - 12 = -3*g. Which is smaller: 0 or g?
0
Suppose 5*s = s + 12. Let c = 9 - 5. Does s = c?
False
Let l(i) = -i**2 + 18*i - 82. Let w be l(10). Which is smaller: w or 2?
w
Suppose -3*o + 5*o = 10. Suppose -o*b = -b. Which is bigger: b or -5/6?
b
Let y be (5/3)/(2/6). Suppose 3*a + 16 + 36 = -2*o, 20 = -2*o + 5*a. Let p = -17 - o. Which is smaller: p or y?
p
Let h = 99 + -100. Are h and 2/115 equal?
False
Let v be (-2)/(-6)*5 + -2. Let x(c) = c**3 + 7*c**2 - 8*c + 1. Let y be x(-8). Which is greater: y or v?
y
Let d = 10 + 5. Let t = 6 - d. Let l = t + 10. Which is greater: l or -0.1?
l
Suppose 2*m + 2*m = 12. Let z be m - (3 + (0 - 2)). Let p be -3 + 4 - 4/4. Which is smaller: z or p?
p
Suppose 4 = -4*n + x, -n - 2 - 4 = x. Is n > -11/8?
False
Suppose 2*m + m = 9. Let q = m - 1. Let t be (3/(-24))/(q/(-4)). Are -1 and t unequal?
True
Let f = 0.06 + 0.94. Let k = -0.03 + 1.23. Let r = k - 0.2. Do f and r have the same value?
True
Suppose 5*r - 54 = -24. Is 7 >= r?
True
Let s = -111/235 + -6/47. Which is bigger: -2 or s?
s
Let y be 2 + -8 + (-2)/(-1). Let i = 3 - 5. Which is smaller: i or y?
y
Let b(n) = -n**3 + 2*n**2 + 4*n - 1. Let i be b(3). Suppose j + i*j - 4*a = -13, 0 = -j - 2*a - 1. Is -7/3 at least as big as j?
True
Let l(b) = -b + 2*b + 1 + 3 - 2*b. Let v be l(3). Is 1/4 bigger than v?
False
Suppose -96 = -10*w + 184. Which is bigger: w or 30?
30
Let z = 0.1 - -0.1. Let u = 0.1 - z. Let o(k) = k**2 + 7*k - 5. Let w be o(-8). Which is smaller: w or u?
u
Let k(l) = -l**2 - 2*l + 3. Let y be k(-3). Let w be (-8)/(-12) - (-7)/(-6). Is w smaller than y?
True
Let p = -5.4 - -0.2. Is -1/4 at least as big as p?
True
Let m = 72 - 72.7. Which is smaller: m or 3?
m
Suppose -2*f + 6 = -2*g + 2, -5*f - 4*g = 17. Let d = f - -2. Which is smaller: -1/15 or d?
-1/15
Let w = -23.1 - -23. Let p be (-1 - -2)*(1 - -4). Suppose -2*q + p*q + 9 = 0. Which is bigger: q or w?
w
Let w be -4 + -1 + 0 + 4. Let g(d) = d - 1. Let y be g(w). Which is smaller: y or -0.2?
y
Let s = 2.9 + -3. Suppose y + 2*p = 2, 4*p = y + 10 - 0. Is s at most y?
False
Let n = 18 + -17. Are n and 1/33 nonequal?
True
Let f be (-59)/(-3) + (-4)/6. Suppose -2 = 2*x + 4, 4*w - 5*x - f = 0. Which is greater: w or -4?
w
Let q = -327/5 + 10142/155. Which is smaller: 0.1 or q?
q
Let v be 5*23/(-93) - -2. Let z be (10/(-20))/((-31)/6). Let i = z - v. Which is smaller: -0.2 or i?
i
Let o be (4/(-2) + 1)*-2. Suppose o*b = r - 18, -r = r + 4*b + 4. Let w be 3/(-12) - (-2)/r. Which is greater: -1/4 or w?
w
Let g be (26 - (4 + -3)) + -2. Let v = g - 15. Is v not equal to 9?
True
Let r = -34 - -36. Is 0.6 <= r?
True
Suppose 3*y - 5 - 13 = 0. Let u(z) = z - 8. Let l be u(y). Which is smaller: -3 or l?
-3
Suppose -4*v + 4 = -l, 3*l + 2*v - 3*v = 32. Which is smaller: 37/3 or l?
l
Let z = -32 - -12. Let y be 2/6*3 - 22. Is y >= z?
False
Suppose 82 = 3*r - m, -2*r - 4*m + 36 = -r. Suppose 0 = b + b + r. Is b smaller than -14?
False
Suppose 4*l + 0 = -16, -2*h - 4*l - 14 = 0. Let q be (-2)/3 - (-70)/60. Which is greater: h or q?
h
Let i be (8 - 8)/(0 + 2). Does i = 0?
True
Let l be 4/(-120)*4/5. Do 0 and l have different values?
True
Let t = -3 - 0. Let m be t/9 + 7/3. Is 3 greater than m?
True
Suppose 0 = -p + 2*p - 3. Which is smaller: p or 2?
2
Let q be 7/(-4) - (-2)/(-8). Let r = 2.2 + -1.1. Let g = 1 - r. Which is smaller: q or g?
q
Suppose b + 4 = 2. Which is smaller: -5 or b?
-5
Suppose 2*g - 2*h - 5 = 1, -7 = 3*g + 5*h. Let o(p) = 3*p**2 - 2*p + 1. Let w be o(g). Are w and 4 unequal?
True
Let d = 9 + -8. Suppose 3*y - 7*y + 24 = 0. Suppose -y*q = -q. Which is greater: q or d?
d
Let a = -1/7 - 5/14. Let c(d) = -d**3 + 8*d**2 + d - 8. Let h be c(8). Is h at least as big as a?
True
Let b = 262/5 + -52. Is 0 equal to b?
False
Let a be (-6 - (-1089)/183)*(-4)/6. Is 1 not equal to a?
True
Let s be 1/1 + 7/(-5). Are -17/4 and s non-equal?
True
Suppose 3*m - 8*r = -3*r + 34, -5*m + 35 = -4*r. Suppose -5 = -m*y + 10. Let b = 8 - y. Is 3 equal to b?
True
Let d = 10.31 + -0.71. Let k = -9 + d. Let x = 0.4 + k. Is x != -1?
True
Let z(b) be the first derivative of -b**4/4 + 5*b**3/3 - 5*b**2/2 + 2*b + 2. Let d be z(4). Let a(g) = -g**3 + 4*g**2 - 5*g + 4. Let m be a(3). Is d != m?
False
Suppose 0 = 37*g - 44*g + 7. Is -2/17 less than or equal to g?
True
Let s = 23.5 + -23. Which is smaller: s or -0.3?
-0.3
Let j = 2 - 2. Let v = -11 + 11.05. Let m = 2.05 - v. Which is smaller: m or j?
j
Let a be ((-148)/(-10))/(-2) - -4. Which is smaller: a or -3?
a
Suppose -5*s + 0*s + 5 = 0. Let f be (-30)/(-44) + (-1)/2. Do f and s have the same value?
False
Suppose -3*j = -7*j. Which is smaller: -10 or j?
-10
Let w = 4 - 8. Let h(t) = -2*t + 4. Let r be h(w). Let o = r - 9. Which is smaller: o or 4?
o
Let i be -5*1 + (0 - -3). Let g(v) = -3*v - 1. Let r be g(i). Suppose -2*h = -3*d + 13, h - r*d = -0*h - 24. Which is bigger: 2/9 or h?
h
Let y be (561/570)/(3/(-4)). Let h = 2/95 - y. Which is bigger: h or -1?
h
Let f be 7 - (-4)/((-8)/4). Are 3 and f nonequal?
True
Let f be (-261)/(-81) - (-2)/(-9). Suppose 3*t = -30 + f. Is t less than or equal to -10?
False
Let q = 155 + -154.09. Let g = q - -0.09. Which is greater: -0.04 or g?
g
Let p = 13/4 - 3. Is p < 1?
True
Suppose -2*i = -2*r + 20, -r - i + 11 = -3*i. Is 9 greater than r?
False
Let q be (-6)/(-8) - (-351)/(-260). Do q and 0 have different values?
True
Let w = -22 - -20.6. Which is smaller: w or -1?
w
Suppose 3 = q - 1. Which is smaller: q or 0?
0
Let b = -9.8 + 1.8. Let k = -151 + 159.3. Let j = b + k. Are -1/2 and j unequal?
True
Suppose 3*v - 3*p + 45 = 0, -3*v + p - 52 + 1 = 0. Let z = v + 12. Is -6 > z?
False
Let x be 7 + (0 - (1 + -2)). Let w be (-2)/x + 14/24. Let h = -70 + 71. Is h bigger than w?
True
Let l(r) = r**3 + r**2 - 4. Let o be l(0). Let z be (-6)/4*o/12. Which is bigger: z or 0.1?
z
Let f = -15.6 - -16. Which is smaller: -1/3 or f?
-1/3
Let c be (0 + 18)*(-9)/300. Let f = -1/25 - c. Let i be 2/(-4)*4/(-1). Do i and f have the same value?
False
Let j = -50 - -25. Which is smaller: j or -23?
j
Let k = -56 - -62. Which is greater: k or 5?
k
Suppose -5*v + 6*w - w = 10, -8 = -2*v - 4*w. Which is greater: v or -39?
v
Let p be ((-1)/1)/((-10)/20). Let j be 1/p*6/12. Is -6 smaller than j?
True
Let p = -2 - 0. Let t = p - -7. Let v(x) = x - 4. Let r be v(t). Is r equal to -1/3?
False
Let b = -0.3 - 0. Let f = -0.5 - b. Which is smaller: 3/5 or f?
f
Let w be 1/(-4)*(-96)/9. Is 2 < w?
True
Let v = -23 + 19. Is -4 bigger than v?
False
Let u = -0.35 + 0.4. Let f = 0.04 - -0.01. Let p = f + u. Which is smaller: -1 or p?
-1
Let g(p) = p**3 - 3*p**2 - 3*p - 2. Let i be g(4). Suppose -i*r = -5*r + 3. Which is smaller: r or 5/4?
r
Let m(u) = -7*u - 1. Let p be m(-1). Let d be 8/p*6/(-4). Let f(z) = -z**2 + 12*z + 9. Let o be f(13). Which is bigger: o or d?
d
Let z be 5 + 2*5/(-5). Suppose 2*o - 4*d = -14, 5*o + 2*d - 16 = 3*o. Is o equal to z?
True
Let f be 818/1640 + (-1)/4. Let x = f + -2/41. Let m = 2/15 + x. Which is smaller: -1 or m?
-1
Let 