 27.04. Let s = -1.04 + y. Is s at least as big as 0.019?
False
Let s = 10 + -7. Suppose -s*y + w = 23 + 14, -y - 4 = -2*w. Is y at least as big as -12?
False
Let i = 21/11 + -169/77. Which is smaller: 46 or i?
i
Suppose 0 = -0*j - 2*j + 20. Let z = j + -84. Let f = z - -369/5. Which is smaller: f or 0?
f
Let f = -0.183 - -0.183. Let q = 164 - 1803/11. Which is smaller: f or q?
f
Let x = -7 + 2. Let r = -4 - x. Let h = -331/6 + 55. Does h = r?
False
Suppose 19 = -4*s - 37. Let r = -14 - s. Suppose -c + 1 - 3 = r. Is c at least -9/4?
True
Suppose 2*u + 3*u + 205 = 0. Let z = 41 + u. Which is smaller: z or 2/7?
z
Suppose 2*y + 81 = 11*y. Let s = -9 + y. Is -1/14 < s?
True
Let f = 0.17 + -0.05. Let z = 0.03 + f. Let a = z - 0.45. Which is bigger: a or -1/2?
a
Suppose 0*f + 7*f - 35 = 0. Let i be f/(-53)*2/(-5). Is 0 greater than i?
False
Let u = -221369/11 + 20109. Which is greater: -15 or u?
-15
Let s = 83.19 - -0.81. Let i = s - 115. Is 2 at least as big as i?
True
Let o = -21.7 - -103.7. Which is smaller: o or -4/3?
-4/3
Let c be (-531)/(-162) - (-2)/(-2). Let w = c - 16/9. Which is smaller: 1 or w?
w
Let d = 494 + -496.8. Is d at most -8?
False
Let o be (-164)/(-476) - 4/14. Suppose -10*v + 10 = -5*u - 5*v, -3*u - 5*v + 2 = 0. Are o and u unequal?
True
Let k = 0.08 - 0.05. Let s = 10.4 - -1.63. Let g = k - s. Which is bigger: -1 or g?
-1
Let r(j) = 4*j + 20. Let s be r(-6). Let c be (-9)/(-18)*3*s. Suppose 11 = -2*d + 1. Which is bigger: c or d?
d
Suppose -14*s + 41*s = 594. Which is greater: s or 24?
24
Let o(a) be the first derivative of -a**4/4 + 13*a**3/3 - a**2/2 + 14*a + 5. Let x be o(13). Which is smaller: x or 4?
x
Let c = -2/227 - -488/3859. Let f = -17 + 17. Is f >= c?
False
Let c = 107 + -99. Suppose -c*v + 3 = -53. Are 7 and v non-equal?
False
Let c(g) = 4*g**2 - g - 18. Let q be c(-4). Is 50 equal to q?
True
Let o(c) = 24*c + 106. Let p be o(-5). Are -13 and p unequal?
True
Suppose -10 = -26*u + 224. Do u and -3 have different values?
True
Let y = 0.36 - 0.4. Which is smaller: y or 10?
y
Suppose 0*j + j = -1. Let w = -660/749 + -28/107. Is j >= w?
True
Let i = 109.928 + -110. Let f = 0.928 - i. Which is smaller: 1.1 or f?
f
Let f = -3491150/511 + 6832. Suppose 71*a - 25 = 46*a. Which is smaller: a or f?
f
Suppose 5*r = -3*y + 9, -4*r + 6*r + 2*y = 6. Which is greater: -9 or r?
r
Let h = 121 + -48. Let z = h + -38. Is -0.1 smaller than z?
True
Let b = 1483 - 1483. Is -2/1305 > b?
False
Suppose -161 = 4*s - 505. Which is bigger: s or -4/9?
s
Let h(z) = z**3 - 5*z**2 + 6*z - 4. Let f be h(4). Let v be (1/(-5))/(f - 42/10). Which is smaller: v or 3?
v
Suppose -4*j + 2*s - 5*s = 1097, 4*j - 4*s + 1104 = 0. Let z = j + 386. Is 110 at least as big as z?
False
Let b = 1424 - 1433. Let m = 1.9 - 2. Which is smaller: m or b?
b
Let r = 9 - 7. Suppose r*p = p - 6. Let t = -12 - -6. Is p at least as big as t?
True
Let l = -1729 + 1239. Which is smaller: 0 or l?
l
Suppose 3*c = 5*p + 10, -6 = 2*c + 7*p - 4*p. Is c at least as big as 21?
False
Suppose 0 = -5*d + 257 + 323. Are d and 116 equal?
True
Let c be 4 - (-2 - 4)/(-2). Let k = 13 + -12. Let m be (c - 1)*k + 24. Which is smaller: m or 23?
23
Suppose 4*y - 8 = 5*y. Let c be (-2)/18*36/y. Let h(b) = -b + 1. Let j be h(1). Which is smaller: j or c?
j
Let x be (-2)/((-4)/(-3))*2. Let z = -2.736 + 1.736. Is z greater than or equal to x?
True
Let c = 2344/77 + -208/7. Which is smaller: c or 0?
0
Let m = -583/3 - -619/12. Which is smaller: -143 or m?
-143
Suppose 5*f - 105 = 2*f. Suppose 4*q + q - f = 0. Are 0.2 and q non-equal?
True
Let q(m) = -m**3 - 7*m**2 + 6*m - 9. Let s be q(-8). Suppose 3*d = 12*o - 13*o + s, -d = 3*o - 5. Is -3/28 <= o?
True
Let f = -14.003 + 14. Let g = f + 44.003. Let t = -31 + g. Is 2/3 <= t?
True
Let i be 18/24 + 34/8. Suppose -5*z + k + 3*k + 2 = 0, -k = i*z - 12. Suppose -z*y + 5*y = 12, 4*v + 24 = 4*y. Which is bigger: -4 or v?
v
Suppose -s - s - 5*z = -33, 5*s - 73 = -3*z. Suppose 0 = 16*m - s*m + 24. Is m at most as big as -13?
False
Let l = 420 - 420. Is l bigger than -1/781?
True
Let g be 4165/(-697) + 5 + 1. Are g and -0.2 equal?
False
Suppose 3*c - 3 = -2*h, -1 = c - 6*c - 2*h. Let g = c + -1. Let r = 1559 + -6247/4. Is r at least g?
False
Let o be 10 - 1 - (-2 + -1). Let x = 78 + -38. Suppose 0 = 3*k - s - x, 3*s = -k - k + 12. Is o bigger than k?
False
Let u = 108.51 + -140. Let h = u - -32. Which is bigger: h or -2/9?
h
Suppose 0 = -3*v + 8*v - 25. Suppose 0 = -v*s + 32 - 27. Which is bigger: 2/87 or s?
s
Suppose -58*h = -29*h + 783. Are h and 0.6 nonequal?
True
Let d be (-8)/(-172)*(-2)/4. Let b be (-6)/(-7) - (-318)/(-371). Which is smaller: b or d?
d
Let g = 0.774 - 0.8. Let m = g + 0.226. Is m less than or equal to -0.16?
False
Suppose -5*w = -3*l + 49, 0*w - 5*l = -w - 23. Let n(y) = -y - 2. Let g be n(w). Is 6 at least as big as g?
True
Suppose r + 3*t + 2*t - 11 = 0, -4*r - 28 = 2*t. Let o(u) = -3*u - 20. Let x(i) = -i - 7. Let n(y) = 4*o(y) - 11*x(y). Let g be n(r). Which is greater: 5 or g?
g
Let t = -13341442 + 4856290695/364. Let b = t + -206/13. Which is bigger: 1 or b?
1
Suppose -5*f = -23 - 7. Let k be ((-48)/(-20))/(f/75). Suppose n - k = -2*n. Do n and 11 have the same value?
False
Let f = 273.9 - 273.4. Let n = 6.2 - -0.8. Is f less than n?
True
Let o(l) = l**3 - 3*l**2 - 4*l + 1. Let b be o(4). Let q be 3*b + (-361)/(-19). Let m = q + -22. Which is smaller: -2/3 or m?
-2/3
Suppose 0 = -3*h + 7*h + 88. Let b(m) = m**3 - m**2 + 2*m - 21. Let j be b(0). Which is greater: j or h?
j
Let m be 4/14*((-1232)/20)/(-11). Suppose 0 = -4*u + 5 + 7. Suppose x + 3 = u*b + b, 2*x - 1 = b. Is m > b?
True
Suppose 2*v - 70 = 4*z, -3*z + 0*v - 50 = -v. Let t(b) = -126*b - 388. Let h be t(-3). Is z smaller than h?
True
Let o(w) = -w**3 - 8*w**2 - 6*w + 5. Let k be o(-7). Let m be (0 - k) + (-9 - -33). Let r be (-4)/((-48)/m) - 3. Is r greater than or equal to -1?
True
Let i = -149 + 220. Suppose 2*m = 6*m + 5*r - 53, 4*m - r = i. Let k = m - 17. Which is greater: k or -8/9?
k
Let d(r) = -15*r + 15 + 177*r**2 - 93*r**2 - 85*r**2. Let j be d(-17). Is -20 at least as big as j?
False
Suppose 554 + 118 = -8*j. Let o be (1 - 0)*j/567. Is o at most as big as -1?
False
Suppose -3*l + 5 = 14. Let s be 112/20 + l - 2. Let q be 2/7 + (-8)/224. Are s and q nonequal?
True
Let w be (-20)/(-70) - 51/7. Suppose 6 = m + m. Suppose 0 = -m*u - 4*d - 16, 4*u = -u - 5*d - 30. Is w bigger than u?
True
Let m(a) = -a**2 + 4*a + 6. Let o be m(5). Let v = 140821/126 + -7886/7. Let k = v + 17/2. Which is greater: o or k?
o
Let y be (276/(-15))/((-1)/(-15)). Is y at least -275?
False
Let k(q) = -q + 11. Let y be k(10). Suppose -t - y = -7. Suppose -t - 2 = 4*p, 3*n = -3*p - 15. Which is smaller: n or -4?
-4
Let k(b) = b**2 - 6*b + 1. Let h(w) = 2*w**2 - w + 1. Let z(i) = h(i) - k(i). Let l be 1/(-2) + 18/(-4). Let n be z(l). Is n bigger than 0.4?
False
Let g = -159.83 + 160.1. Is -8 smaller than g?
True
Let m = 11 + -9. Suppose m*y = y. Are 6/17 and y equal?
False
Let j = 0.634 - -0.366. Do j and 1.041 have the same value?
False
Suppose 4*u + 2*z = -200, -z = 3*z - 8. Let j = 49 + u. Which is smaller: -6/5 or j?
j
Suppose 4*x + 6 = -5*d - 6, 5*x - 22 = 3*d. Suppose 0 = -x*p - 3*p + 5. Is p < 2/9?
False
Suppose -5 = -5*f, -2*f = 2*p - 6*f - 6. Suppose 0 = 9*r + 834 - 69. Let i = r + 89. Which is greater: i or p?
p
Suppose -62 = 7*r + 8. Which is smaller: 11 or r?
r
Let b = 37/5 - 551/15. Is b at least as big as -30?
True
Let o(i) = -17 + 87*i - 168*i + 86*i. Let j be o(-6). Is -46 > j?
True
Let k = 12/19 + 2/57. Which is bigger: -76 or k?
k
Suppose 0*v - 2*v - 32 = 0. Let d = v + 24. Let n(l) = 180*l - 2512. Let t be n(14). Is t bigger than d?
False
Let t be 2/21*(2 - (-20)/(-4)). Let c(k) = -k**2 - 7*k - 5. Suppose h + 18 = -2*h. Let f be c(h). Which is bigger: f or t?
f
Let k = -451 - -74. Does k = -378?
False
Let s = -467 - -321. Which is smaller: -147 or s?
-147
Let h(z) be the first derivative of -z**5/60 + 5*z**3/6 - 9*z**2/2 - 2. Let q(a) be the second derivative of h(a). Let o be q(0). Is o greater than 5?
False
Let v = 94 - 168. Is v <= 1?
True
Suppose 0*u = u - 2*q - 3, -3*u - 6 = -q. Suppose -5*x + 2*p = 18, -2*p - p - 23 = 5*x. Let r be (-40)/18 + x/(-18). Which is gre