 ((-9)/516)/(12/(-48)). Is 0 < d?
True
Let w(r) = 7*r + 7. Let d be w(-1). Which is smaller: d or -1/21?
-1/21
Let w be (-4)/(-10) - (-18420)/(-50). Let b be (-3)/5 + w/20. Do b and -19 have the same value?
True
Let m(u) = -108*u + 24 + 104*u + 18. Let i be m(12). Let n = -0.9 - -1. Which is greater: i or n?
n
Let k(x) = -x**2 + 11*x - 4. Let n be k(0). Is n less than -20?
False
Let i(r) = r**3 - 2*r**2 - r + 2. Suppose 0 = 8*z - 5 - 3. Let q be i(z). Is 2/37 not equal to q?
True
Let w be (-81)/(-3) - (1 - -1). Let x be ((-15)/w)/(2/(-10)). Suppose 0 = 6*n - x*n - 36. Is n at most as big as 1?
False
Suppose 2*m + 299 - 507 = 0. Is m > -4?
True
Let q = -2/13465 - -70032/94255. Let l = q + -3/5. Does l = -0.04?
False
Let l = -61499/435 - -707/5. Let k = 1886 + -1886. Which is smaller: k or l?
k
Let y be (4 + -2 + -1)*32. Let n be -2 - (-3 + -26 + -4). Which is greater: n or y?
y
Let q(a) = -a - 1. Let f be q(1). Let k be f/(1*(-4)/16). Suppose -5*z + 2*y = 6*y - 34, 3*z - 4*y - 46 = 0. Which is smaller: z or k?
k
Let n = -104710 + 491822868/4697. Are n and -1 nonequal?
True
Let o(i) = 35*i**3 - i**2 + i - 1. Let d be o(1). Which is greater: 1/3 or d?
d
Suppose -4*v - 8 = -28. Let l(h) = 6*h + 4 - 4*h - 2 - v. Let t be l(5). Which is smaller: t or 8?
t
Suppose 6*t = 10*t - 84. Suppose -4*i = -4*v + 96, i = -v + 19 - 3. Is t at most v?
False
Let m = -0.37 - -0.351. Let x = 0.211 - m. Let l = x + 0.77. Which is smaller: l or -0.18?
-0.18
Suppose 4 = -3*d + 7*d. Let w(o) = o**3 - 9*o**2 + 16*o - 9. Let c be w(7). Suppose -1 + 6 = c*v. Is d greater than or equal to v?
True
Let m(f) = -2*f + 1. Let h be m(-1). Suppose 5 + 1 = h*o. Is o greater than or equal to 1?
True
Let x(o) = 5*o - 1. Let n be x(-7). Let w be (n/(-10))/(34/85). Is 8 smaller than w?
True
Suppose g = -r + 9, g + 5*r - 35 = -2*g. Suppose -5*z - g*z = -190. Which is greater: 17 or z?
z
Let d = -2538.464 - -2539. Which is smaller: d or 3?
d
Let j = -229/117696 + -2/613. Let w = -407/4416 - j. Is w greater than or equal to 1?
False
Let x = -143/3 - -12593/264. Let t = -145/1672 + x. Which is smaller: -1 or t?
-1
Let k(q) = -q**2 + 4*q + 5. Let f be k(4). Suppose 2*z + 0*n - f*n + 3 = 0, 5*n = -5. Which is smaller: z or -5?
-5
Let j = -137/5 - -1288/45. Which is smaller: 1 or j?
1
Let l be ((-14)/70)/(8/10). Let n = 6 + -10. Let m = n + 12. Which is bigger: l or m?
m
Suppose 2*n + 6 + 0 = 0. Let q = -4 - n. Which is greater: q or 1?
1
Let u(w) = w**3 - 5*w**2 - 10*w - 12. Let t be u(7). Let k be (1 - 21)*28/t. Do k and -34 have the same value?
False
Let f(a) = -a - 8. Let p be f(-9). Let h be -4 + 1 + 185/61. Does p = h?
False
Let r be (-25)/(-35) + 5/(-5)*1. Is r less than or equal to -5.9?
False
Let p = 0 - -2/5. Does p = -3.4?
False
Suppose 1350 = 2*v + 13*v. Let b be (-15)/v + (-94)/(-4). Is b less than 23?
False
Suppose -46*f + 52*f + 162 = 0. Is f >= 0.15?
False
Let n = -14 + 20. Let t(z) = z**3 - 7*z**2 + 6*z. Let b be t(n). Suppose -3*u = -2*u, -f = 2*u + 1. Which is smaller: f or b?
f
Let m(f) = -5*f - 1. Let b(n) = n. Let j(y) = 11*b(y) + 2*m(y). Let v be j(10). Suppose 2*s + 2*d + v = -0*d, 0 = 2*s + d + 8. Which is greater: -3 or s?
-3
Let x = -0.014 + -46.986. Let l = 42 + x. Which is smaller: -10 or l?
-10
Let c = 10939/13 - 841. Let y = 44 + -25. Let x = y + -19. Which is smaller: x or c?
x
Let b = 0.14 - 3.14. Let a = b + 3.02. Let w = 0.07 - a. Does w = 1/3?
False
Let t = 54 + -82. Let p be ((-1)/(-2))/((-15)/(-30)). Is p > t?
True
Suppose 5*r - 27 = -2. Let m be (-1)/((-28)/52) - -2. Which is bigger: m or r?
r
Suppose 0 = -2*z - 0*z + 50. Suppose 0 = -5*q + z + 50. Suppose b = -4*b + q. Is b at least -1?
True
Let k = -14.6 - -2.6. Let w = k - -11.7. Which is smaller: -12 or w?
-12
Let b be 3/((9/(-165))/((-1)/5)). Let t(a) = -a - 10. Let p be t(7). Let x = -5 - p. Is x at least as big as b?
True
Let g(l) = 219*l + 1096. Let n be g(-5). Let k be (-2)/(-4)*4/(-17). Does k = n?
False
Let p = 55 - 83. Let l be p/20 + (2 - 1). Let q = -2 - -3. Is l smaller than q?
True
Suppose 50 = -2*w + 3*w - z, -z - 3 = 0. Let g = -79 + w. Which is smaller: g or -33?
-33
Suppose 0 = 4*u + 20, 28 = 3*t - 4*u - 4. Suppose 2*h - 1 = 3. Suppose 7 = -t*i + 5*j, 3*i + 0*j = -h*j + 12. Which is smaller: 1 or i?
1
Let v(j) = j**3 + 13*j**2 + 9*j + 32. Let k be v(-10). Is 242 > k?
False
Let c(b) = -10 + 4 + b + 0. Let p be c(7). Suppose 3*d + 3 = 3*g, g + 6 = -g. Which is smaller: p or d?
d
Let p(h) = h - 11. Let z be p(5). Let t be 1*3*4/z. Let w = 431/2 - 216. Are t and w non-equal?
True
Let w = -1613.8 + 1614. Are 208 and w equal?
False
Let l be (-14)/(-6) - (-4)/6. Suppose 3*c + 3 = 4*c - 4*z, -5*c - 3*z + 15 = 0. Is l bigger than c?
False
Let v = 54 + -59. Let i be ((-48)/(-420))/(2/v). Are 0.5 and i nonequal?
True
Suppose -12 - 3 = 5*s, 5*o = 3*s + 14. Let y = 283 + -282. Is y bigger than o?
False
Let q be 1 + (0 - 1)/1. Let a(g) = 12*g. Let k be a(-1). Which is smaller: k or q?
k
Let z = 67 + -337/5. Which is greater: 4 or z?
4
Let c = -50 - -56. Let g be c/(-15) - 2/(-5). Which is smaller: g or 2/19?
g
Suppose 5*l + 130 - 120 = 0. Which is smaller: -16/15 or l?
l
Let r = -1001/60 - 91/15. Is -24 >= r?
False
Suppose 0 = -3*b - 27 + 9. Let f be (-12)/10*185/(-37). Let n = b + f. Is n >= -5/6?
True
Let o(l) be the second derivative of -43*l**3 - 3*l**2/2 + 10*l. Let k be o(1). Let s be (-192)/k - 6/9. Which is bigger: -1 or s?
s
Let b = 5 - -1. Suppose 2*y = -0*y. Let x be 3*4/b - y. Which is bigger: x or -1?
x
Let q be 14 - -8 - -112 - (1 + -3). Is 136 at least q?
True
Let a(t) = t**3 - 5*t**2 + 5*t - 1. Let k be a(4). Let u be (-2)/10 + ((-6)/(-15))/2. Suppose u = 5*n + 4 + 6, -3*n = -k*i + 6. Is -1 less than or equal to i?
True
Let l be 0 - (-3)/(-1)*-1. Let k be (7 - (l - -1)) + -2. Which is bigger: 1/11 or k?
k
Suppose -m - m + 6 = 2*k, -4*m + 12 = -k. Let j(z) = -z**3 + 3*z**2 + 51*z - 17. Let d be j(-6). Which is bigger: k or d?
d
Suppose -12 = 3*t - 180. Suppose 0*p - 117 = -2*f + p, 7*f + 4*p = 402. Which is greater: f or t?
f
Let s = -7.2 + 10. Let d = s - 3.1. Let q = -0.3 - d. Is -0.1 at least as big as q?
False
Let r be 20/(-100) + 26/30. Which is bigger: r or 40?
40
Let k be (60/12 - -2) + (-4 - -1). Which is bigger: 64/13 or k?
64/13
Let n = -1.6 + -72.4. Let w = n + 74. Which is smaller: 0.004 or w?
w
Let h = -1091/44 - -97/4. Is h smaller than 0?
True
Let x be 3/(-1)*3116/627. Which is smaller: -14 or x?
x
Suppose -15*w - 162 = -17*w. Suppose -3*s = -3*g + w, -s = 3*s + 4*g + 140. Is -29 > s?
True
Let b = -51/205 - -2/41. Let x = 0.066 + -0.086. Which is smaller: x or b?
b
Let z be (2/(-8))/(-2 + 5 - 2). Let k(o) = o + 9. Let t be k(-6). Suppose t*d + 4 = d, -d = -2*m - 2. Which is greater: z or m?
z
Suppose 0 = -29*w + 729 + 1185. Is 65 smaller than w?
True
Let n = -15.5 - -78.5. Is 1/4 greater than n?
False
Let f be ((-3)/5)/((-9)/30). Let v(d) = -6*d**2 - 1. Let y be v(f). Is -26 less than y?
True
Suppose -4*k = -3*c + 55, 5*k + 33 = 2*c - 41. Let o be -3*(-5)/((-60)/8). Let j be 8*(-4)/k*o. Which is greater: j or -1?
-1
Let h = -106 - -178. Let d be 4 + (-7)/(21/h). Are d and -20 equal?
True
Let q = -0.181 - 0.119. Is -19/4 equal to q?
False
Let m(b) = -10*b + 54. Let o be m(20). Is -2/5 greater than or equal to o?
True
Let r(w) = -w**3 - 8*w**2 - 5*w + 5. Let y be r(-6). Let s = 53 + y. Suppose -2*l - 4*o = -3*o - 27, -5 = o. Are s and l equal?
True
Let k(a) = a - 6. Let i be k(17). Suppose 2*y + 1 = -i. Let n be (9/y)/((-12)/(-32)). Is n > -16/3?
True
Let l be ((-204)/119)/(4/42). Let f be (-2)/9 - l/27. Does f = -1?
False
Let i = 0.182 + -0.182. Which is smaller: 47/4 or i?
i
Suppose 2 = 4*c - 2. Let d be -5*(-156)/(-806)*2/6. Which is greater: c or d?
c
Suppose 2*i + 3*i = 10. Let k be -1*i*(-2)/24. Let y = -423 - -425. Is y at most k?
False
Let l(c) = c**3 + 9*c**2 - c - 3. Let b be l(-9). Let r be 8 - b - (2 + 0). Suppose 3*t - f = -5, -f + r*f = 5*t + 11. Is 0 greater than or equal to t?
True
Let h = 992/7 + -142. Let b = 110 + -109.92. Is h greater than b?
False
Let v = -6.27 + 6.34. Is v less than 2/29?
False
Let b = -16.8 + -91.2. Is 1/3 <= b?
False
Let f be (-18)/27 - 14/6. Let k be (-6)/9 + (-65)/f. Let a be (-1 + -8)*(-28)/k. Is a < 14?
True
Let m = -3 - 