: i or d?
d
Suppose 0 = -5*p - 3*q + 23, -3*p + 13 = 16*q - 14*q. Which is greater: p or 8?
8
Let c = -54 - -65. Is 4 smaller than c?
True
Let c(s) = -15*s - 1. Let n be c(-3). Suppose -82 + 21 = -3*w + 5*b, 0 = 2*w - 4*b - n. Suppose d - 12 = -2*z - 2*d, 5*z + 3*d - w = 0. Is -1/2 >= z?
False
Let k = 11581/6780 - -1/4520. Let m be 6/16*11/3. Let v = m - k. Is -0.1 smaller than v?
False
Suppose -5*f + f = 0. Suppose -2*l + f*l - 30 = 0. Let z be 9/l + (-6)/(-10). Which is greater: 3/5 or z?
3/5
Let g be (-125)/30 + 4 + 1. Is 0 at most g?
True
Let u = 2 + 2. Suppose u = -b - 3*b. Which is greater: b or 2/23?
2/23
Suppose 0 = h - 3*h + 14. Let x = -13 - -18. Suppose -4*r + h*r + q + 5 = 0, 0 = 4*r - q - x. Which is smaller: r or 2/13?
r
Let o be -4 + 5 + -1 + -2. Is -4 >= o?
False
Let o = -35 - -35.1. Does o = -8?
False
Suppose -3*p = -5*w + 2*p + 5, -3*p = 5*w + 11. Let f be 31*1/2 - 2. Let q = -14 + f. Which is smaller: q or w?
w
Let m be (-3)/(-4) + 15/(-20). Suppose 0 = 2*c - 2*q + 6, 4*q - 1 - 3 = m. Is 1/6 < c?
False
Let x = 18 - 13. Let u = x - 6. Which is smaller: -2 or u?
-2
Suppose -m - 3*m - 4 = 4*w, 0 = 4*w + 2*m + 2. Let b = -1 + w. Let l be 9/(-12) - 0/b. Which is greater: l or 0?
0
Let k be 1*0*3/(-9). Is 3/14 != k?
True
Let o = -38/3 - -13. Which is smaller: 1/5 or o?
1/5
Suppose -2*x - 5*v = 8, -3 = 2*v + 1. Which is greater: -1/61 or x?
x
Let w(m) = m + 5. Let s be w(-4). Is 1/13 >= s?
False
Let z = -12 + 7. Let d = 2 + z. Which is smaller: d or -2/5?
d
Let q = -223868/3645 + 13/729. Let d = 61 + q. Let a = 0 + 1. Does d = a?
False
Let z = 19 - 18.9. Which is greater: 0.11 or z?
0.11
Let p = 48732 + -340344/7. Let w = 111 - p. Is w equal to 0?
False
Let q be ((-2)/3)/((-10)/15). Suppose 7 = 3*j - 2. Suppose 0 = -m + j - 2. Are q and m unequal?
False
Let y(i) = i + 8. Let o(f) = -2*f - 9. Let c(k) = 2*o(k) + 3*y(k). Let n = 9 + -1. Let v be c(n). Which is bigger: -3 or v?
v
Let q = 215.03 + -216. Let h = q + -0.03. Are h and -2/9 non-equal?
True
Let p = 2041/14 + -146. Let v = -19/42 + p. Let f be (4/(-6))/(-1)*-3. Which is bigger: f or v?
v
Let a be 1/(-3) - (5 - 5). Let i(g) = -g + 8. Let q be i(-7). Suppose -k - q = -4*k. Which is greater: a or k?
k
Let q(m) = 9*m**2 + 2. Let d be q(2). Suppose -d = -t - 5*s, -4*s - 57 = -2*t - t. Suppose f - t = -5*k, -k + 11 = -f - 2*f. Is -3 >= f?
False
Let t(g) = g - 5. Let h be t(5). Let l = -28 + 48. Let c = 20 - l. Is c smaller than h?
False
Let l(q) = 4 - 9*q**2 + 10*q**2 - 3*q**2 - q**3 + 4*q. Let x be l(-3). Suppose -z - x = 1. Is -1/3 at most as big as z?
False
Suppose -h - 2*h = 0. Suppose -a = 0, 5*r + h*a - a = 0. Is r less than -1?
False
Let l = -163/14 + 2015/42. Let o = l - 512/15. Do o and 2 have the same value?
False
Let k be -3 - (0 + (-28)/12). Is 0 greater than k?
True
Let q = 80 - 558/7. Let a = 13 - 10. Is a greater than or equal to q?
True
Let q(w) = 3*w - 1. Let h be q(-2). Let j = 2 + -10. Which is greater: h or j?
h
Suppose 0 = -16*v + 12*v + 20. Are v and 17/4 non-equal?
True
Suppose 3*t + 3*w - 900 = 0, 4*t - 3*w - 29 = 1199. Let a be 4 - (-1 - t/(-60)). Is a less than -1?
False
Let z = 2/13 + 9/26. Suppose -3*b = -7 + 1. Is z at least as big as b?
False
Let p(t) = 2*t**2 - 4*t - 1. Let i(b) = b**2 - 2*b. Let r(c) = 5*i(c) - 3*p(c). Let x be r(3). Is 9 greater than x?
True
Let s = 6 + -3. Let p = -6 + 8. Suppose -5*q - 16 = s*g, 3*q - 10 = 6*q + p*g. Which is greater: q or -0.3?
-0.3
Suppose 0 = -5*t - 185 + 90. Which is smaller: t or -20?
-20
Let l be 1/(-3) + -3 + 40/15. Let j = 3 + -2.8. Let t = 0 - j. Is l at least as big as t?
False
Let d(p) = 2*p**2 - 6*p + 1. Let h be d(4). Let o be h/18 - (-5)/2. Suppose -j = 2*v - 17 + o, -2*j + 23 = 3*v. Are v and 3 nonequal?
True
Let g = 37/4 + -3889/420. Let b = -11/70 + g. Which is smaller: -1 or b?
-1
Let t = 46 + -30. Which is smaller: 1/3 or t?
1/3
Let m be (6/(-2))/(1 - 0). Let i be (1*-1)/(4 + m). Let p = -28/195 + 1/13. Which is smaller: i or p?
i
Suppose 4*v + 26 = 3*k, 4*v + 9 + 7 = 2*k. Suppose -d + 5*w = 5, 0 = -5*d - 6*w + 3*w + 31. Let q be (-1)/2 - d/k. Is q bigger than -1?
False
Let l = -9 + 9.44. Let y = l - 0.04. Let k = -0.4 + y. Which is bigger: 2 or k?
2
Let z = -5 - -9. Which is smaller: 13/3 or z?
z
Suppose -4*h = 3*b + 14, -3*b - 4 = -2*h - 2. Is -3 <= b?
True
Let h = 0.04 + 5.96. Is h greater than or equal to -1?
True
Let o(h) = -h**3 - 5*h**2 + h + 1. Let f be o(-5). Which is bigger: -1 or f?
-1
Suppose 4*f - 13 - 55 = 0. Suppose f*q = 19*q + 4. Which is bigger: -5/7 or q?
-5/7
Let i = -0.04 - -0.24. Is i at most as big as -12?
False
Let g be 1/4*24/10. Which is smaller: g or 0?
0
Suppose 0*d = 4*d. Suppose 0 = -2*c - i + 4, 4 = i - d. Let o = -6 + 3. Are o and c unequal?
True
Let v = 21 + -30. Is -10 at least v?
False
Let u = -6 + 8. Let a = -4 - -10. Suppose -2*r = -a + u. Is r at most as big as 1?
False
Suppose 2*u - 3 = 2*l + 1, 5*l = 10. Let a = u + -12. Let z be (3/(-4))/((-21)/a). Is 1 greater than z?
True
Let w = 384473/49 + -7846. Let c = w - -9/49. Which is smaller: c or 2?
c
Let v(c) = -2*c - 12. Let b be v(-10). Let r be 1/(-27)*(-12)/b. Which is bigger: r or 0?
r
Let q = 61 + -62. Is q not equal to -9/4?
True
Let l = 0.08 - 0.08. Are l and -0.13 nonequal?
True
Suppose 19 = -4*c - 1. Let j be 3 + 24/c + 2. Let k = -34/5 + 296/45. Which is smaller: j or k?
k
Let q = -87 - -108. Which is greater: q or 20?
q
Let a be (5/(-30))/((-13)/(-4)). Let b be 18 - 16 - 2/2. Which is smaller: b or a?
a
Let z = 3542/20017 - 8/541. Which is smaller: 1 or z?
z
Let f be -4 + (315/(-12))/(-7). Is f smaller than 7?
True
Suppose 5*a = 34 + 1. Are a and 12 non-equal?
True
Let o(x) be the second derivative of -x**4/12 + 5*x**3/6 - 3*x**2/2 - 3*x. Let h be o(3). Suppose h = b + 2*b. Is b > 1/11?
True
Let n be 14/6 + (-4)/(-6). Let b be -3 - (-3)/3 - n. Which is smaller: -7 or b?
-7
Let c(o) = -3*o**2 + 11*o - 9. Let r(q) = -q**2 + q. Let j(v) = -c(v) + 4*r(v). Let y be j(-8). Suppose -1 - y = -2*z. Is z <= 2?
True
Let q(v) be the first derivative of -v**2/2 - 3*v - 3. Let j(m) = 2*m - 1. Let x be j(-3). Let n be q(x). Is 3 greater than n?
False
Let p = 50 + -35. Let j(r) = r**2 - 8*r - 9. Let x be j(9). Suppose x*d = -5*d + p. Which is smaller: d or 4?
d
Let o = 13 + -13.8. Which is bigger: -2 or o?
o
Let l be 26/(-52)*2/74. Is l equal to -1?
False
Let w = 36 + -35. Let m = 237 + -4265/18. Which is smaller: w or m?
m
Let t be ((-6)/8)/((-2)/8). Let o be t/(-2)*12/(-9). Let c be 0 - -2*2/4. Is o greater than c?
True
Let l be ((-32)/(-6) - 2)*-3. Let w be ((-2)/(-2))/((-15)/45). Let d be w/(-5) + l/(-25). Is 0 > d?
False
Let x be ((-6)/(-20))/((-3)/(-4)). Suppose 0 = -h - 0*h - 4. Let c = h - -4. Which is smaller: c or x?
c
Let b be 532/(-3080) + 2/(-20). Is -2 at least as big as b?
False
Let m = 98 + -96. Is m less than 0.08?
False
Let n(z) = z**3 - 6*z**2 + 7*z - 6. Let m be n(5). Let g(w) = w**3 - 5*w**2 - 6*w + 4. Let i be g(6). Is m less than i?
False
Let u = -4.14 + 0.14. Let q = u + 2. Is q > 2?
False
Suppose w + 5*f - 13 = -2*w, 4*f - 4 = -4*w. Let c(i) = 2*i + 6. Let m be c(w). Is -2 greater than m?
False
Let f(x) = 2*x**2 - 5*x + 6. Let q be f(3). Do q and 6 have different values?
True
Let l(t) be the second derivative of -t**3/6 + 9*t**2/2 - 4*t. Let m be l(0). Which is greater: m or 8?
m
Let l(u) = u**2 - 4*u. Let r(p) = p**3 + 7*p**2 + 6*p + 2. Let v be r(-6). Let f be l(v). Is f less than -2?
True
Let d(t) = t - 1. Suppose 4*y + 10 = 30. Suppose -5*o + y*c - 10 = 0, -3*c + 4*c - 1 = 0. Let w be d(o). Which is smaller: -1 or w?
w
Let u(s) = s**2 + s + 1. Let t(d) = d**2. Let m(y) = 2*t(y) - 3*u(y). Let z be m(-2). Let p(l) = -l**2. Let v be p(0). Is v < z?
False
Let k = -6 + 5.6. Let f = 0.9 + k. Let h = -1.5 + f. Is h at least 0?
False
Let g(o) = -o**2 + 6*o - 6. Let i be g(4). Suppose 0 = 5*n + 4*l + 5, -2*n - 4*l = -i*l + 2. Which is bigger: -2/5 or n?
-2/5
Let d = 8 - 0. Which is bigger: d or 1?
d
Suppose 2*t - 4 = t. Suppose b - t = -1. Which is smaller: b or 4?
b
Let t = 151/3 - 51. Which is smaller: t or -1/5?
t
Suppose 3*u + 0 = 9. Suppose r = u*r. Are r and 1/15 equal?
False
Let c be 0/(-2 + (2 - -1)). Let o(n) = n**2 + 2*n + 2. Let z be o(0). Which is smaller: c or z?
c
Let u = -