 - 11. Let o = 1.6 + d. Are j and o equal?
False
Let f be -1 - ((-14)/20 - 0). Suppose 0 = 5*k - 16 - 4. Let i be (-7)/(14/k) - -3. Which is greater: f or i?
i
Let z = -3.0057 - -0.0157. Let q = z + -0.01. Suppose -4*n = -12, 4*n - 9 = -0*x + x. Which is smaller: x or q?
q
Let u = -1566/13 - -4685/39. Which is smaller: u or -170/11?
-170/11
Let a(c) = -4*c - 8. Suppose -k + 4*v = 13, 2*k - 3*v - v = -18. Let s be a(k). Does 12 = s?
True
Let m be -2 + 12/7 + 130/(-35). Let b be 1/2 + 70/m. Let t = -10 + -6. Is b smaller than t?
True
Let x = -6 + 5.22. Let s = x - -1.84. Let g = 0.06 - s. Is g greater than or equal to -0.06?
False
Let z = -117 + 272. Suppose 0 = h - 6*h + z. Let v be -3 - (-3)/27*h. Is -1 at most v?
True
Suppose -m = 4*o - 14, 2*m = -3*m - 4*o + 6. Let r = 5 + m. Let q be ((-6)/(-8))/((-1)/(-4)). Is r >= q?
True
Let a be (131/(-6))/(1/3). Let b = -2487/38 - a. Is b > -1?
True
Suppose 0 = -t + 2*t + 1. Let f be (28 - -4)/(t + 3). Let u = 29 - f. Is 12 at most as big as u?
True
Let l = 1674 - 1048. Are 0 and l equal?
False
Let h = -47 + 33. Let o = 16 + h. Suppose -5*f = -o*f - 3. Which is smaller: 2/15 or f?
2/15
Let s = -24674 - -1110374/45. Let u = 7/9 - s. Which is bigger: 0 or u?
0
Let f = 1 - 1.32. Let w = f - -1.32. Which is bigger: w or -0.2?
w
Let r = 36 - 12. Let u be ((r/(-20))/(-2) - 1) + -1. Is -1 greater than u?
True
Let r = -0.309 + -34.591. Let n = -34.31 - 0.69. Let x = r - n. Do x and 1/15 have different values?
True
Let y(x) = -x**3 + 11*x**2 + 15*x - 33. Let l be y(12). Which is greater: l or 18/5?
18/5
Let i = 497 + -498. Is i not equal to 24?
True
Let m = 365 - 299. Is m at most 3?
False
Let r = 0.02 + -0.11. Let s = 6.02 + -0.02. Let j = s + -6. Which is smaller: j or r?
r
Let i(c) = -c**2 + 24*c - 31. Let b be i(22). Which is greater: b or 19?
19
Suppose 3*q - 1909 = -v, -6*q = -7*q - 5*v + 613. Is 638 less than q?
False
Let u = 1 + -1. Let x = 0.4 + u. Is x > 2?
False
Let w(g) = 2*g + 3. Let o be w(-2). Let i be 5 - (-5 + (-288)/(-29)). Is o smaller than i?
True
Let q(g) = -g**3 + 6*g**2 + 4. Let f be q(6). Suppose 0 = -2*x - f*a - 20, -2*x + 4 = -3*a - 11. Suppose x = -6*s + 3*s + 21. Do 7 and s have the same value?
True
Let x(w) = 2*w**3 + 80*w**2 - 5*w - 201. Let j be x(-40). Let s = -9/20 - -173/340. Is s greater than or equal to j?
True
Let b = -122.66 - -123. Let s = b - 2.04. Is 0.2 less than or equal to s?
False
Let x(n) = -19*n**2 - n. Let r(h) = h**2 + 3*h - 1. Let p be r(-3). Let d be x(p). Suppose 5*q - 115 = 3*b + 2*b, -84 = 4*b - 2*q. Which is smaller: d or b?
b
Suppose 3*x + 7 = -53. Which is greater: -18 or x?
-18
Let v = 13 - -9. Let x = 23 - v. Are 12/7 and x equal?
False
Let a = -339 - -3055/9. Which is smaller: a or 1?
a
Let b = -52 + 76. Let p = b + -7. Let i = p + -17. Which is greater: i or -9?
i
Suppose 5*m + 12 = 12. Let f be (3 + 5)/(0 - -1). Suppose m = -4*h + f*h + 12. Is -3 less than or equal to h?
True
Suppose -690 = 293*l - 299*l. Which is smaller: 117 or l?
l
Let d = -98 + 227. Let j be (1 - -257)*2/4. Are j and d nonequal?
False
Let y = 918 + -915. Is -2/41 greater than or equal to y?
False
Suppose -2*n = 5 - 1, -3*h - 5*n = 4. Let u be (-1)/h*0/3. Is u bigger than -1?
True
Let j = 775 - 777. Is j greater than 3/38?
False
Suppose -3180 = 13*a + 1162. Is -334 at most a?
True
Let o(y) = y**3 - y + 4. Let v be o(4). Let g be v/(-70) + 2/(-7). Let z = -722 - -722. Is g < z?
True
Let g(j) = 4*j**2 - 45*j - 123. Let r be g(-3). Which is smaller: 140/3 or r?
140/3
Suppose -3*u + 4 = -2*x, 4*x + 5*u - 2*u = 28. Let g be (-730)/(-1430) + (-2)/(-44)*x. Do 2 and g have the same value?
False
Let n(v) = -4*v**3 - 3*v**2 - v + 2. Let l(w) = 19*w**3 + 15*w**2 + 5*w - 9. Let o(j) = -2*l(j) - 11*n(j). Let q be o(-2). Which is smaller: q or -43?
-43
Let v = -36 - -41. Let a(n) = n**2 + 4*n - 3. Let s be 2 - 7/(3 + -2). Let l be a(s). Is v < l?
False
Let u = 120 - 120.1. Is u less than 1?
True
Suppose -5*l - 32 = -m - 103, -2*m - 3*l = 142. Let u = -132 - -61. Is u smaller than m?
False
Let v = -1049 - -1050. Let p be (4/6 + -1)*-3. Is v greater than or equal to p?
True
Let a = -15/2 - -145/26. Which is bigger: a or -2?
a
Let a = 107 + -316/3. Which is smaller: -1 or a?
-1
Let u be (-4)/(-72)*4 - 76/18. Let p be u/2*((-6)/(-10) - 0). Which is bigger: p or -1?
-1
Let g(b) = b**2 - 3*b - 22. Let q be g(7). Suppose -8*p - 3*p = -66. Is p bigger than q?
False
Let n be (2/5)/(1/(0 - 20)). Which is greater: n or -111/14?
-111/14
Suppose 5*t - 15 - 10 = 0. Suppose -o - l = -4*o, 3*l + 4 = t*o. Which is greater: 4 or o?
4
Let k = 54.54 + -0.54. Let p = k + -59. Let x be 4/14 + (-8)/14. Which is greater: p or x?
x
Let d be 1550/3384 + (-1 - (-49)/63). Let z be 10/12*(-12)/705. Let l = d - z. Is l != -1/15?
True
Let u = -379 + 201. Let p = u - -153. Let y(o) = 24*o**3 - o**2 + 1. Let a be y(-1). Which is smaller: a or p?
p
Suppose 7*r - 21 = 2*r + 2*y, -r = 3*y + 6. Suppose -q = -r*q - 12. Which is smaller: q or 1?
q
Let u(b) = b**2 - 2*b - 3. Let v be u(3). Let h = v - 4. Let w(t) = t**3 - 5*t**2 + 18*t - 39. Let m be w(3). Which is greater: h or m?
m
Suppose -8*z + 14 = -22*z. Is -3/31 != z?
True
Let j be (6 - 7)*2*2. Let m = j + 7. Suppose 3*t + 3*q = 0, -m*q + 3 + 1 = 5*t. Is -1 >= t?
False
Suppose -2*d = -13 - 5. Suppose 216 = -d*n - 180. Is n at least -44?
True
Let g = -1656/7 - -237. Let u = 8.04 + -8. Let r = -0.14 + u. Which is bigger: g or r?
g
Let m be 1 - (-3 + 4)*1. Let c = 105 - 147. Let q be ((-3)/(-6))/(c/72). Does q = m?
False
Suppose -2*o + 2*d = 6*d + 12, -o + 3 = -d. Which is bigger: 1/466 or o?
1/466
Let q be -5 + (-5 - (3 - 14)). Let t be -2 - -4 - 98/48. Which is smaller: q or t?
t
Let j = 5681/4 + -1412. Which is smaller: 8 or j?
8
Let w = 6438 + -70885/11. Which is smaller: w or -6?
w
Let o(k) = -k**2 - k + 15. Let m be o(3). Suppose -4*u + 5*a - 25 = 0, u - 3 - 12 = -3*a. Suppose u*c - 25 = -5*c. Which is smaller: m or c?
m
Let m = -0.075 + 0.175. Is m < -58?
False
Suppose -96 = 3*h + 5*c - 2, 0 = 5*h - 5*c + 170. Let b(o) = -6*o - 2. Let r be b(-2). Let f be (-440)/h*12/r. Does f = 16?
True
Let t = -30 + 18. Let r be 1/((-1)/2) - t/5. Which is smaller: r or 6/13?
r
Let a be (-1)/(-1) - (220 - 27). Which is greater: a or -1?
-1
Let g be (3 - 123/39) + 5963/(-195). Let v = -31 - g. Let w(x) = -x - 6. Let m be w(-5). Is m < v?
True
Suppose -d - 3*j = -0*d - 19, -d + j = 1. Let a(y) = 8*y**2 + y + 2. Let v be a(-1). Suppose 7*z = v*z - 2. Are z and d equal?
False
Let k = 26/7 - 5881/1589. Which is greater: k or 1?
1
Let b = 0.0262 + 0.0738. Is b at most -2/233?
False
Let o = -55.74 + 0.74. Let m = 62 + o. Which is smaller: -0.3 or m?
-0.3
Let q(g) = 12*g + 330. Let t be q(-29). Is t >= -15?
False
Suppose -l + 778 = -22. Which is greater: -1 or l?
l
Suppose 14*s + 44 = 10*s. Let a = -2 - s. Let w be 6 - (-3 - (0 + 0)). Is a bigger than w?
False
Let m = 41 - 236. Is 0.1 greater than m?
True
Let t = -13 - -25. Let u be -2 + 26/t + 2/4. Is u at least as big as 0.1?
True
Let x(u) = -u + 7. Let t be x(3). Let c(b) = -2*b**3 - 3*b**2 + b + 3. Let o be c(-2). Suppose q - o = -t. Is -1/10 at least as big as q?
False
Let g be (-516)/(-1326) + 14/(-91). Which is greater: g or 1?
1
Let j = 109 + -103.3. Let n = 14.8 + j. Let i = 20 - n. Is -1 > i?
False
Let c = -0.6 + -15.4. Let w = -14 - c. Let t = -1 + w. Which is smaller: t or -13?
-13
Let t be ((-3 - -5) + -11)*1. Let r = -44 - -43.8. Which is smaller: r or t?
t
Let l(n) = -2*n + 7. Let o be l(6). Let t be (-2 - 0)/(8/o). Suppose 0 = 10*h - 10. Which is greater: h or t?
t
Let s be (-1)/((-32)/(-36) - 1). Let u = s - 6. Let f = 8 + -12. Which is smaller: u or f?
f
Suppose 3*t - 1 - 15 = -5*h, 3*h + 5*t - 16 = 0. Suppose -h*r = 2*f + 28, 3*f + 40 = -3*r - f. Let o be (r/(-10) + -2)*10. Are o and -5 nonequal?
True
Let o(g) = g**3 + 12*g**2 - 8*g + 64. Let u be o(-13). Which is smaller: u or 3/67?
u
Let y = 0.066 - 0.1. Does y = -0.3?
False
Let j be -3*34/(-2567)*(-4)/18. Is j < 1?
True
Let v = -43 - 5. Let r be 30/195 - v/26. Is -1 < r?
True
Let o = 694834/143 + -4859. Let t = o + 724/429. Which is smaller: 2/5 or t?
2/5
Suppose 75 = 11*l - 134. Let b be (5 + -3)/(-2 + l - -1). Which is smaller: 1 or b?
b
Let w be ((-10)/(-12))/(3/30).