 - a. Suppose 5*w = 2 + c. Is 2/3 at most as big as w?
True
Suppose 3*u - 55 = -q + 5*q, 2*u + 5*q = 75. Is -2/5 >= u?
False
Let g(y) = -y - 3. Let b(h) = h**3 - 7*h**2 - 2*h + 3. Let v be b(7). Let w = v + 6. Let p be g(w). Which is bigger: 1 or p?
p
Let n = -70 - -161. Are n and 90 nonequal?
True
Suppose 3*p = g + 150, 3*g + 109 = 4*p - 86. Let k be (p/9 - 3) + -2. Which is smaller: 0 or k?
0
Let t be 9/11 + 1*-1. Let g be (-4)/(-18) + 280/(-45). Let a be (-35)/30 + (-1)/g. Which is smaller: t or a?
a
Let h = 112.95 - 113. Is h >= 0.1?
False
Let a = -1 - 0. Let u = a + 0.7. Which is bigger: u or -0.1?
-0.1
Let y = -4802776/25 - -192294. Let x = -183 + y. Which is smaller: -1 or x?
-1
Let z be 5/(75/(-6)) - 51/(-135). Is 0 >= z?
True
Suppose 0*g - 5*g - 5*c = 30, 0 = 2*c + 10. Is 3 at least g?
True
Let u = -16.04 + 12. Let f = u + 4. Let z = f + -0.36. Is z equal to -1/4?
False
Suppose 4*o = 4 + 4. Let x be -4*o/(-8)*-2. Which is greater: x or -4?
x
Let h be -5*2/(-8)*8/10. Let u(b) = b**3 + 5*b**2 - 5*b + 6. Let t be u(-6). Which is greater: t or h?
h
Let n = -141 - -134.3. Let v = 0.3 - -6.7. Let q = v + n. Which is smaller: 0.1 or q?
0.1
Let p be 6/(-21) - (-3)/(84/316). Does p = 9?
False
Let n(f) = -2*f**2 - 4*f - 2. Let o be n(-3). Let j(a) = -a**2 - 8*a. Let p be j(o). Let q be (-1)/2*7/(-14). Which is smaller: q or p?
p
Suppose -4*v - 3*w + 31 = 0, 10*w - 5*w = -5*v + 45. Suppose -t + 3 = 5*n, v*n = -3*t - 3 + 1. Is 1 at most n?
True
Suppose 6*o - 4 + 10 = 0. Is 2/47 at most as big as o?
False
Let i = 4.6 - -2.4. Which is smaller: 0.3 or i?
0.3
Let h be 49/(-28) - (-1)/(-4). Is h at most -1?
True
Suppose -6*q = -3*q + 4*x + 19, -5*x = -q + 19. Which is greater: -1/111 or q?
-1/111
Let u(w) = -4*w - 3. Let h be u(-2). Suppose -h*c - 2*k - 3 = 0, -2*k - 12 = -2*c - 2*c. Does 1/7 = c?
False
Let y = -7 + 1. Let f = -6.1 - y. Do f and -9 have the same value?
False
Let z be 1/(15/(-9) + 2). Let v be 22/(-6) + 2/z. Let g be 1 + (-4 + 3)*v. Is g at least 0?
True
Let b = -1.1 + 0.1. Let v = b - -2.2. Let u = v + -1. Is u less than 2/3?
True
Suppose -j + 4 = 3. Suppose w - j - 3 = 0. Let h be (-2)/6*(w + -1). Which is smaller: h or 0.3?
h
Let n = 39 - 29. Which is smaller: 1 or n?
1
Let s(p) = -2*p**2 + 4. Let n(w) = 3*w**2 - 7. Let d(c) = 6*n(c) + 10*s(c). Let g be d(-2). Let u = 5 + g. Which is greater: u or -4?
-4
Let r be (-3)/2*3/18. Let a = 7 + -6. Is r >= a?
False
Let z be ((-10)/(-8))/5*1. Suppose 3*p + 29 = -p + 5*t, p - 9 = -2*t. Is p at most z?
True
Let x be -4 + 12/4 - 37. Let n = x - -19. Is n greater than or equal to -20?
True
Let k = -0.014 + 2.014. Which is smaller: k or 12?
k
Let v be (-23)/7 + 6/21. Let o = -3 - v. Which is smaller: -3/5 or o?
-3/5
Let a(l) = -l**3 - 11*l**2 - 9*l - 6. Let y be a(-10). Is 1/3 bigger than y?
True
Let m = 3/124 + 1201/1612. Are m and 0 non-equal?
True
Let g = -0.31 + 0.42. Let i = 0.1 + -0.11. Let c = g + i. Which is smaller: 3 or c?
c
Let f(v) = -v - 12. Let s be f(-9). Let j(w) = -2*w**2 + 3*w - 2. Let h be j(2). Does h = s?
False
Let x = 1 + -1. Suppose x = -t + 5 - 1. Let p be ((-1)/t)/((-2)/8). Is p bigger than 1?
False
Let q = 205 + -201. Do 4 and q have different values?
False
Let h = -0.4 - -0.42. Let t = h + -2.02. Let q = t + 3. Do 3/2 and q have the same value?
False
Let h be ((-4)/(-3))/(-5 - (-1096)/216). Are h and 23 unequal?
True
Suppose 0 = -4*g + 4*b - 16, -2*g + 2*b = g + 9. Let a be (-6)/8*g/3. Is a < 1/2?
True
Let t be (-6 - -4)*122/24. Let h = -35/3 - t. Let d = -9.1 + 9. Is h greater than d?
False
Let z be (-16)/(-6) + (-6)/9. Suppose -o - 5 = o - 5*k, 4*o = z*k - 2. Suppose o = -c - 3 + 2. Which is smaller: 0 or c?
c
Let p(i) = -i**2 - 11*i - 10. Let g(l) = -3*l - 3. Let f(z) = -3*z - 4. Let a(b) = -2*f(b) + 3*g(b). Let y be a(3). Let v be p(y). Is 2 at least v?
True
Suppose -4*a + 2*q = -9*a - 4, -2*q = a + 4. Suppose 0 = 5*i - 9 + 39. Let j = i + 8. Which is greater: a or j?
j
Let i = -0.62 + 0.7. Let s = i + 0.02. Which is smaller: s or 2?
s
Let p = -7 + -15. Let q = -18 - p. Are q and 1/2 equal?
False
Let h = -0.9 + -0.1. Suppose -4*k + 19 = 5*b, 5*k = -0*b + 3*b - 4. Let t = -2 + k. Is t less than or equal to h?
True
Let v = 3334/15 + -222. Which is smaller: -3/4 or v?
-3/4
Let z(a) = 4*a + 25. Let x be z(-6). Is x at least 3?
False
Let t(o) = -6*o - 42. Let y be t(-8). Let p = 1 - -3. Which is greater: y or p?
y
Let a(f) = f. Let n be a(0). Let r = 7 + -17. Let i be (-1)/(-35) + (-4)/r. Which is bigger: n or i?
i
Let f(z) = 4*z**3 + 2*z**2 - 13*z. Let h(y) = -y**3 - y**2 + 4*y. Let x(l) = 2*f(l) + 7*h(l). Let q be x(2). Let a = 19/4 - 5. Which is smaller: a or q?
a
Let u be 10/195 - (-6)/(-9). Is -1 < u?
True
Let t be (-5)/2*25/((-375)/18). Is t smaller than 1?
False
Let z = -5.4 + 5.5. Which is greater: 4 or z?
4
Let t(d) = -d + 4. Suppose -3*k + 2 + 10 = 0. Let c be t(k). Let r(y) = y**2 + y + 2. Let f be r(c). Is f at most as big as -0.2?
False
Let z = -7 + 10. Let h(n) = 2*n + 6. Let p be h(-5). Let u = p + 6. Which is greater: z or u?
z
Let g = -10.9 - -8. Let p = -3 - g. Suppose -5*u - 1 = 14. Is p at least u?
True
Let h(k) = k**2 + 4*k - 4. Let g be h(-5). Let p be 2 + g + (-3 - -1). Is p at most -2/29?
False
Suppose -2*v = -5*b + 3, -2*b - 3*v + 5 = -0. Which is smaller: b or 2?
b
Let b be 8/(-12) + (0 - 0). Let y be 19/3 - 2/(-3). Suppose 5*p = c - 13, 2*c = y*c + 5*p + 25. Which is bigger: b or c?
b
Let b(t) be the second derivative of 1/6*t**3 - 2*t**2 - 3*t + 0. Let c be b(4). Which is smaller: c or 1?
c
Let b(h) = -3 - 8*h**2 + h**3 + 6*h**2 + 0*h**2 - h. Let w be b(3). Which is bigger: 2 or w?
w
Let m(u) = -u**3 - 2*u**2 + 2*u + 3. Let g be m(-2). Let s(w) = 3*w**2 - 1. Let t be s(g). Let q be -6*-1*1/t. Which is smaller: 2 or q?
2
Let v = -3 + 4. Let m = 2.05 - 0.05. Which is smaller: v or m?
v
Let z = 41.916 + 0.084. Is z at least as big as 2?
True
Let h be ((-2)/(-5))/((-4)/(-80)). Let m = -8 + h. Which is smaller: m or -1?
-1
Let w = -178942/3273 - -6/1091. Let c = -602/11 - w. Is c > 1?
False
Let r = -22.9 - -22. Let o = -2.9 - r. Let w = 1.8 + o. Which is bigger: w or 0?
0
Suppose 2*q - v - 1 = 0, -5 = -q - v - 0*v. Are q and 1 non-equal?
True
Let g = -0.11 + 0.17. Let u = -1 + 0. Which is bigger: g or u?
g
Let g = 0 - -1. Let n = -3.01 + 0.01. Is g bigger than n?
True
Let s = -0.02 - 1.98. Let i = 2.1 - s. Let z = 4 - i. Which is smaller: -0.3 or z?
-0.3
Let f = -25 - 24. Let w = f + 195/4. Which is greater: w or 1?
1
Let r(u) = u**2 + 2*u + 33. Let k be r(0). Which is smaller: 34 or k?
k
Suppose -1 - 3 = 3*s - 4*m, 0 = 2*s - 4*m + 4. Let g = 1/2 - s. Let o(y) = y**3 - y**2 + 1. Let r be o(1). Which is smaller: r or g?
g
Let l(c) = c**3 + 7*c**2 + c - 3. Let m be l(-6). Which is smaller: 28 or m?
m
Let i be (-369)/1365 + (-10)/(-35). Let k = i - -62/195. Let h be 2/4 - (-2)/(-4). Are h and k equal?
False
Let o(b) = 5*b**3 + 2*b + 2. Let z be o(-2). Let d be (596 - 5)*10/z. Let h = 141 + d. Is h smaller than 1?
True
Let q be ((-7)/7)/(-3 - (-42)/15). Is q greater than 9?
False
Let g(k) = 2*k**2 - 2 + 0*k**2 - 3*k**2 - 12 + 14*k. Let d be g(13). Let u = 0 + -1. Is d not equal to u?
False
Let w be 116/(-240) + 4/10. Let a be (0/(-2))/(-2 + 3). Which is smaller: w or a?
w
Let v be (-3)/(-6)*((-2)/1)/(-2). Which is bigger: v or 2?
2
Let g = -1.1 + 3.3. Let z = 0.2 - g. Let y be (1/(-2))/(5/8). Is y at most as big as z?
False
Let v(h) = -4*h + h - h + 1 + 6*h. Let b be v(-2). Do b and -4 have the same value?
False
Let o be (-2)/(-4) + (-50)/90. Which is greater: 0 or o?
0
Suppose 0 = -5*y - 3*g - 42, -y - 2*g = 5 + 2. Let d = y - -12. Are 7/4 and d equal?
False
Let c = -0.4 + 0.3. Let z = -0.56 - -0.5. Let y = 0.24 - z. Does c = y?
False
Let u be ((-48)/(-8))/(-12)*0. Let m be ((-1)/3)/((-19)/6). Which is smaller: u or m?
u
Let p = -5 - -6. Let a be 0/(1/p - 0). Let m be a*1*(-1)/2. Which is bigger: m or 2/3?
2/3
Let t be 13/((-507)/(-52)) - (-98)/(-60). Let c(k) = -k - 4. Let o be c(-3). Is o bigger than t?
False
Let u = 1.2 + -1. Let d = 9 + -9. Let r = d - u. Is -1 bigger than r?
False
Let i(q) = -23*q**2 - 7. Let o(u) = -12*u**2 - 4. Let l(w) = -3*i(w) + 5*o(w). Let g be l(1). Let b be g/25 + 8/(-45). Is -0.1 less than b?
True
Let n be (56/32)/