t a be v(4). Which is smaller: -36 or a?
-36
Suppose -z - 2*z + 19 = 5*k, 5*z + 3*k - 37 = 0. Suppose -o + z = -0*o. Suppose 5*n - 20 = -o*l + 3*l, 0 = n - 3*l + 12. Which is greater: n or -1/5?
n
Suppose -5*h + s = -25, 2*h - 4*h = -2*s - 18. Which is smaller: -6 or h?
-6
Let c(o) = -o**3 - 10*o**2 - 8*o + 12. Let b be c(-9). Let w be (-1)/3 + b/9. Let y = 4/41 + -81/410. Is y equal to w?
False
Let q = -16/55 + -1217/165. Which is greater: -8 or q?
q
Let j(g) = g**3 - 4*g**2 - 5*g + 2. Let x be j(5). Let m be (-56)/9 - x/(-9). Let h = m + 7. Which is smaller: h or 0?
0
Let k = -345/4 + 87. Let t(l) = l**3 - 5*l**2 + 4*l - 3. Let d be t(4). Let b be 1/(-3)*(-9 - d). Which is smaller: k or b?
k
Let x = -0.82 - -0.76. Which is greater: 10 or x?
10
Let i(o) = -o**2 + 4*o + 4. Let v be i(4). Let r = -3 + 4. Let k be -2 + v + -2 - r. Which is greater: 0 or k?
0
Let y = 7 + -8. Let l be 4 + (-41)/8 + 1. Which is smaller: y or l?
y
Suppose -c + 2*d = -2*d, 2*c - d = 0. Suppose 3*g = 4*w - 9, 2*g + 6 = -2*w + 14. Suppose w*o + 4 - 7 = c. Is o less than 4/5?
False
Suppose 5*o + 0*o - 755 = 0. Suppose -31 + o = -5*z. Let b be z/(-22)*(-4)/(-8). Which is smaller: 0 or b?
0
Let r = 7 + -9. Let z = 2.3 + r. Is -1 bigger than z?
False
Let b = 13 + -18. Let f = 0 - b. Suppose 2 = -2*t - 2*q, -14 = -4*t + f*q - 0. Is t <= 1/5?
False
Suppose 10 = -5*v + 25. Let b be 3/((-2)/8*v). Is -4 greater than or equal to b?
True
Suppose f - 5*h = 20, f - 2*f = 4*h + 16. Is f smaller than 3/13?
True
Let b be 3 - 1 - (-1 - -2). Let n = 1.8 + -1.58. Let k = n + -0.02. Is b < k?
False
Suppose 2*n + 5*l - 3 = 0, 0*l - 30 = -5*n - 5*l. Let h be (-2)/10 - n/30. Let g = 20 - 19. Which is smaller: g or h?
h
Let g be (-2)/4 + 63/6. Suppose 5*d - 1 + 0 = -2*s, -5*s - g = 0. Is d equal to -1?
False
Let b be -1*(-2)/(-8)*2. Let n = 24 - 18. Let y be n/(-21) + (-58)/(-56). Is b equal to y?
False
Suppose -4 - 8 = 4*f, -5*f - 35 = 4*g. Let v = 10 + 14. Let t be v/(-35) - 2/g. Is -1 not equal to t?
True
Let r = -5.6 - -0.6. Let u = r + 3. Is u != -1?
True
Let p = 17 + 3. Suppose u = 4*u - 3*r - 15, u + 4*r + p = 0. Are u and -1/12 nonequal?
True
Let z be 6/(-4)*(-55)/(-99). Let f be 0 - (-21)/(-36)*-2. Let n = f + z. Which is smaller: -0.05 or n?
-0.05
Let o = -1118 + 45841/41. Is 0 greater than o?
False
Let h = -63 - -377/6. Which is bigger: h or 1?
1
Let o = -99 + 889/9. Let d = -4 - -7. Suppose -d*s + 6 = 2*l + s, 3*l + 3*s - 6 = 0. Is o != l?
True
Let o = 3 + -1. Suppose -o*g + 15 = g. Which is smaller: g or 2?
2
Let b be (-1)/(-2)*600/26. Let x = 35403163/2861586 + -8/110061. Let w = x - b. Is 0 at least as big as w?
False
Let w = 43/5 + -8. Suppose 4*f = 4*a + 16, -3*f + 5*a + 15 = a. Is w greater than f?
False
Let g(c) = c**2 - 8*c - 8. Let y be g(9). Is 1 at least y?
True
Suppose 0*p = -2*p + 6. Let j = 82 + -79. Is j <= p?
True
Let w(n) be the first derivative of -n**2/2 + 1. Let j be w(0). Suppose 3*p + g + 4 = 0, 3*p + 2*g - 5*g = j. Which is greater: -3 or p?
p
Let o = 7 + -9. Is -9 smaller than o?
True
Let s be 0 - (5/(-4) - -2). Let j(v) = -v**2 - v. Suppose 4*f + z = 3, 2*f + z = 2*z - 3. Let n be j(f). Is n at most as big as s?
False
Let l = 0.2 - -1.8. Is l less than or equal to -0.1?
False
Let h = -101/147 - -1/49. Let a = -8 + 2. Which is smaller: h or a?
a
Suppose -5*w - 5*i + 35 = 0, 5*i + 0*i = 5*w + 15. Is 2 at most as big as w?
True
Let g = 1 + 0. Let b = 14 + -13. Let n = b - 1.2. Is g > n?
True
Let y = -0.4 + 0.8. Let p = -2.4 + y. Let l = 1 + -2. Which is smaller: p or l?
p
Let v = -30 - -23. Which is greater: v or -2?
-2
Suppose -4 - 1 = g. Let a(d) = -d**2 - 4*d + 7. Let t be a(g). Let k = -145/3 + 49. Is t less than or equal to k?
False
Let w be ((-177)/89 - -2) + -2 + 2. Does 1 = w?
False
Suppose 5*h + 3*o = -13, 3*h + 3*o = -h - 11. Let q be (0 - (-9)/(-2))*-2. Let k be -4 + q - (-6)/h. Which is greater: k or 0?
k
Suppose 3*n + 22 - 49 = 0. Let b = 16 - 7. Is b greater than or equal to n?
True
Let d = -11/17 - -101/51. Which is smaller: d or 2?
d
Suppose 4 = -2*i, 0*i - 3*i + 63 = -3*l. Is l != -23?
False
Let j(f) = -f**3 - 3 - 4*f**2 + 14*f - 7*f + 8. Let n be j(-5). Let l = 4 + n. Which is smaller: l or -2/5?
l
Let a be (-9)/(-3)*(-2)/(-24). Which is bigger: a or 0?
a
Let u = -5 + 8. Suppose -j - 5*s + 0*s = -11, -u*j + 2*s - 1 = 0. Which is smaller: 2/7 or j?
2/7
Let b = -31 - -21. Let d be (-4)/(-6)*(-6)/b. Which is smaller: 9 or d?
d
Suppose -2*g - 2*g + 8 = 0. Suppose -3*v + 5 = -10. Suppose 5*z + v - 3 = 4*d, 2*d + 4 = 5*z. Is d at least g?
True
Let t be (-32)/(-6) + (-6)/18. Are t and 60/17 non-equal?
True
Suppose 3*x = 3*a - 0*x + 129, 2*a + 3*x + 61 = 0. Does -38 = a?
True
Let b = -7 - -6.94. Let y = 2.5 - 2.6. Is b bigger than y?
True
Let x = -0.1 - -0.1. Let q(i) = i**3 - 2*i**2 + 3*i - 1. Let f be q(2). Let b be f/5 - (2 - 1). Is x at most as big as b?
True
Let c be 9/(-2) - 2/(-4). Let w be c*(1/(-50))/1. Is w less than or equal to -1/2?
False
Let l = 6 + -3. Suppose 0 = x + 2*x + l. Is x equal to 2/9?
False
Let u be (26/676)/((-1)/2). Is -1 bigger than u?
False
Let m(k) = k**3 - 8*k**2 - 18*k + 17. Let p be m(9). Is p greater than -65?
True
Let i = -5 + 43. Are 38 and i equal?
True
Let s = 50/57 + -4/19. Let r = s - 1/2. Which is smaller: r or 0?
0
Suppose 5*j - 2*b - 23 = 0, -4 = -0*b + b. Suppose -3*t = k, -j*k - k = -3*t. Suppose 3*o = -o + 4. Is k > o?
False
Suppose 2*o + t = 2*t + 11, -2*o = 3*t - 31. Let b = 37 + -30. Is b greater than or equal to o?
False
Let g = 0.3 + -0.4. Let l be -2 - (96/40)/((-9)/8). Is g less than l?
True
Let c = -3 + 10. Let g be -2 + 1/3*c. Is -7 at most as big as g?
True
Let q be ((-4)/6)/(12/(-8)). Let r(s) = s - 3. Let m be r(3). Is q equal to m?
False
Let u = -14 - -10. Let x = 0.13 + -0.03. Is u > x?
False
Suppose 0 = -6*i + 5*i + 4. Suppose i*w - 12 = -0. Is 2 equal to w?
False
Suppose 254 = 4*x - 494. Let i be (-1 - -1308)*3/(-21). Let n = x + i. Is 0 > n?
False
Suppose -g = -3*g + 3*s - 24, -3*s - 12 = 2*g. Which is bigger: 0 or g?
0
Let v(z) = z**2 - 3*z. Let h be v(3). Let j be h - -1 - (-2 - -4). Suppose 4*q - 2*q = 0. Is q less than j?
False
Suppose -5*o - 3*l = -4*l - 5, -2*o = l + 5. Which is smaller: 4/11 or o?
o
Suppose 3*l - m = 4*m - 8, 0 = 3*l - 4*m + 10. Which is smaller: l or -7?
-7
Suppose -l + 5 = -6*l. Which is bigger: 1/9 or l?
1/9
Let o = -680/63 - -334/21. Let h = o - 40/9. Is -3 greater than h?
False
Let s = -17 - -18. Is s less than 0.07?
False
Let w = -49/2 - -23. Let z(i) = -i**2 - 1. Let g be z(1). Do g and w have the same value?
False
Let a be ((-2)/8)/(3/(-12)). Let c be (0 - a)/((-8)/168). Let v be (-1 - (-78)/c) + -3. Which is greater: -0.1 or v?
-0.1
Let v(y) = -y - 1. Let o be v(0). Let d = -2 + 1. Let h be (7/2)/d - -3. Which is smaller: h or o?
o
Let k(m) = 4*m. Let r be k(1). Let x = 5 - 2. Suppose 11 = -4*y + 5*j, r*y - 2*j + x = y. Do y and -0.2 have different values?
True
Let y = 91 - 91. Let p(s) = s**3 + 2*s**2 - 4*s. Let v be p(-4). Let u = -31/2 - v. Which is smaller: u or y?
y
Let i be 87/24 + (-3 - 0). Which is bigger: i or -1/2?
i
Let t = 19 + -19. Which is smaller: t or -1/22?
-1/22
Let m = 0.34 + -0.47. Let d = -0.155 + 0.055. Is d <= m?
False
Let v(b) = -b**3 + 5*b**2 + 7*b - 3. Let l be v(6). Let s be 28/6 + (-8)/12. Let w = s - l. Which is smaller: w or 0.1?
0.1
Let c = -0.46 - -0.14. Let t = c + 0.3. Let k = t - 1.98. Which is smaller: k or -0.1?
k
Let u = -370/7 + 53. Let t = -29/60 + 3/20. Are t and u nonequal?
True
Suppose 24 = 2*x + 4*v, 2*v + 19 + 5 = 5*x. Which is smaller: 5 or x?
5
Let d(z) = -8*z - 1. Let i be d(-2). Let p = i + -9. Suppose -p*o + 9 = -3*o. Is o > 2?
True
Suppose -l + 3 = 2*d + 45, -3*d = 5*l + 77. Which is bigger: -18 or d?
-18
Let c = 0 + -11. Is c < -11?
False
Let f = -32 - -47. Suppose -24 = -4*b - 8. Suppose -2*j - 2*j = b*s - 20, -3*j = -f. Are s and 3/5 nonequal?
True
Let c be (16/(-10))/((-3)/(-15)). Suppose 2*k = -5*t - 2*k - 19, -23 = 5*t + 3*k. Are c and t equal?
False
Let m be 2/(-8) - (-3681)/(-12). Let k = -3375/11 - m. Is 1 <= k?
False
Let p(m) = m**2 - 3*m. Suppose -2*s + 10 = -n, 3*s + 5*n + 17 - 6 = 0. Let j be p(s). Are 6/13 and j equal?
False
Let l be (-19 - 2)/((-3)/16). Let i = l + -899/8. Which is gre