 - 1.11. Let j = -0.16 - x. Let b = j + 2.05. Which is greater: b or 2/5?
b
Let w be ((-32)/20)/(2/(-25)). Let d = 19 - w. Which is smaller: 4 or d?
d
Let w = 0.2 - 0.1. Let p(h) = h**2 + h - 16. Let i be p(-7). Let d = 105/4 - i. Is d smaller than w?
False
Suppose -5*u - 15 = 0, -8*l + 5*l = 3*u + 30. Is l > -6?
False
Let o = -37 - -25. Let w = 153 - 109. Let k be (4 + w/o)*-2. Which is bigger: 12 or k?
12
Let u = 1013 + -1009. Is u >= -1?
True
Let g be (-4)/((-124140)/84 - 1/7). Which is greater: g or 0?
g
Let g be ((-27)/12)/((-3)/8). Let y = -0.249 - 0.041. Let s = y + -1.71. Is s bigger than g?
False
Let w = 5 + -3. Let o = 15 - 19. Let q be o/7 - 75/(-21). Is w less than or equal to q?
True
Let s be ((-20)/(-14))/((-14)/(-49)). Suppose 0 = -5*i - s*r - 305, 6*r - 3*r + 315 = -5*i. Which is smaller: i or -65?
i
Suppose 4*t + m = 53, -3*m - 49 = -2*t - 2*t. Let b be (-26)/t*(-2 + (-70)/(-36)). Which is smaller: b or 7/2?
b
Let a(g) = g**2 - 2*g + 22. Let v be a(13). Let q be -1 + v/(-50) - -4. Which is smaller: q or 0?
q
Let n = -0.96 - 0.04. Let o = 828.07 + -840. Let h = o + 12. Which is smaller: n or h?
n
Let n = 10/41 + -155/1476. Which is smaller: n or 0?
0
Let u = -23 - -14. Let g = 7 + u. Is -2 <= g?
True
Let y(g) = 3*g - 1. Let x be y(5). Let i be 7/x + (-46)/4. Which is greater: 2 or i?
2
Let l = -141/40 - -41/8. Let p = 4 - 3. Which is smaller: l or p?
p
Let o be (2/(-9))/((-1)/(-21)). Suppose -12 = -32*v + 35*v. Which is bigger: v or o?
v
Suppose 16 = -4*j + 5*j - 2*d, 5*j = d + 62. Suppose -2*q - 4*q + j = 0. Is q smaller than 2?
False
Let s = 33 - 53. Let q = s + 25. Let g = 0 + 0.1. Which is greater: q or g?
q
Let r be 4/6*18/(-654). Suppose 4*q = -2*q - 0*q. Does r = q?
False
Let o = 2 - 2.04. Let q = 0.87 - 0.81. Let d = q - o. Which is smaller: -3/8 or d?
-3/8
Let n(f) = -f**2 + 7*f - 5. Let r be n(6). Let m be (-8 - -6) + 6*r. Suppose m*v - 42 - 26 = 0. Is v >= 17?
True
Let o = -1402/4215 + -1/1405. Do -31 and o have the same value?
False
Let w(u) = 4*u + 35. Let l be w(-2). Is 26 != l?
True
Let x(n) = -n - 9. Let m be x(-13). Suppose m*c + r - 4 = -2*r, -3*c = r - 3. Is 8/7 bigger than c?
True
Let d = 29.6017 - 0.1217. Let q = 0.48 - d. Is 1/3 at most q?
False
Suppose 12*d = 2*d + 170. Suppose d*t + 12 = 14*t. Which is bigger: t or -6?
t
Let s(a) = -a - 18. Let p be (-19)/38*(33 + -1). Let v be s(p). Is -9/5 at least as big as v?
True
Let b = 0.2 + -1.2. Let y = b - -14. Let f = y - 14. Which is smaller: f or 2?
f
Suppose 0 = h + 2*z - 2 + 8, -4*h = -3*z - 9. Suppose -i + 0*t - t = -3, 4*i - 2*t = h. Let g be ((-5)/(-15))/(i/12). Do 4 and g have the same value?
True
Suppose 0 = 72*n - 92*n - 20. Suppose -x = -0*x. Let r = 0 - x. Which is smaller: n or r?
n
Let x = -19 - -25. Suppose 0 = x*u - 3*u + 66. Do u and -21 have the same value?
False
Let i = -0.2 - -1.2. Do 141 and i have the same value?
False
Suppose -2*w + d = 1 - 2, -d = 3*w + 6. Is 2/35 bigger than w?
True
Let p be 0 + (-7 + 5)*2/4. Is -4/997 bigger than p?
True
Let q = 19 + -29. Let y be 5*-2 - (6 - (-10)/(-2)). Does q = y?
False
Suppose -5*m = -0*m + 2*o + 19, o + 2 = -m. Which is bigger: m or -4?
-4
Let v be 27/(-21) - 2/(-7). Let c(h) be the first derivative of -h**2 + h + 1. Let t be c(v). Is t at most 5?
True
Suppose 39 = 9*b - 276. Let n = -30 + b. Suppose -m + 1 = -2. Is m less than or equal to n?
True
Let s = -0.193 + -21.007. Let f = s - -21. Let l = f + 0.7. Is l less than 2?
True
Let z(b) = 8 - 6 + 5 + b. Let x be z(5). Let j = x - 12. Which is bigger: -1/4 or j?
j
Suppose 0 = 11*l - 9*l + 3*t + 370, 3*t - 704 = 4*l. Is -177 less than l?
False
Let o(r) = -r**3 + 32*r**2 - 87*r + 25. Let k be o(29). Is k at least 184/7?
False
Let a = -22 + 103/5. Suppose -t + 4*t = -6. Which is smaller: t or a?
t
Let c(o) = -o**2 - 42. Let d be c(0). Let r be (-759)/18 - 4/(-8). Let m = d - r. Which is greater: -2/37 or m?
-2/37
Let g(a) = 3*a + 12. Let r(i) = -8*i - 35. Let c(v) = -11*g(v) - 4*r(v). Suppose -7*o + 185 = 115. Let z be c(o). Do z and -2 have different values?
False
Let d(c) = c**3 - 13*c**2 - 38*c + 120. Let s be d(15). Is s >= -4/43?
True
Suppose -4*x + x + 6 = 0. Suppose 12 + 10 = -x*q. Let w(i) = -7*i**2 - 5*i. Let n be w(1). Which is bigger: n or q?
q
Let c(v) = -5*v + 1 - 4*v + 3*v - 4. Let z(m) = -2*m - 1. Let r(w) = 2*c(w) - 7*z(w). Let q be r(-1). Is -1 greater than q?
False
Suppose -18*p - 12 = 510. Is -204/7 <= p?
True
Let u = 6823/651 + -214/21. Which is bigger: 1 or u?
1
Suppose -10 = -4*h + 3*y - 65, 0 = -3*h - 3*y - 36. Suppose 0 = r - 3, 3*g - 11*r = -13*r - 27. Is h less than g?
True
Let l = 640 - 15997/25. Which is smaller: l or 1?
l
Let b = 16 + -37. Let a = 19 + b. Let r = 3 + a. Is r less than -14?
False
Let q be 8/(0 + -2)*-2. Let p be 116/(-16) + 2/q. Let s = p - -6. Which is smaller: 1/19 or s?
s
Let d(u) = -u**3 - 7*u**2 - 8*u - 6. Let x be d(-6). Suppose -3*p - x = 2*z, -3*z = z - 12. Let s = -43/2 + 18. Which is smaller: s or p?
p
Let y = 35.66 + -36. Let m = y - 0.16. Let x = m + 1.5. Are 0.4 and x non-equal?
True
Let r be ((-69)/30 + 2)*-5. Let b = 27/8 - 259/72. Which is smaller: r or b?
b
Let c = 348 + -432. Do -80 and c have the same value?
False
Let u be (-2)/(14/6 + -3). Suppose 4*l = 3*o + o - 48, -u*o + 41 = 2*l. Suppose 6 - o = -n. Is 4 greater than n?
False
Let g(l) = 2*l**2 + l - 2. Let q be g(-2). Suppose 5*p = -q*w + 28, -3*w = 4*p - 0*w - 22. Let x be 1 - 1 - (p + -3). Is -4/5 equal to x?
False
Let l be (-6)/(-18) + ((-7946)/20520 - 0). Let u = l + 2/513. Suppose -i - 11 = -2*f + 2*i, 0 = 3*i + 9. Which is bigger: u or f?
f
Let l be ((-4)/130)/((-3)/(-9)*-3). Are l and 0.6 nonequal?
True
Let w(h) = -h + 15. Let a be w(10). Suppose 4*g = 3*k + 40, -a*g + 12 + 8 = 0. Is -4 greater than k?
True
Let a(r) = -26*r + 7. Let j be ((-8)/(-28) + 9/(-7))*-1. Let f be a(j). Is -15 at most f?
False
Suppose 2*q + 2*h = -22, -3*h + 6*h = -q - 3. Is q bigger than -15?
False
Suppose -71 = 10*k + 79. Let l be (-1)/(-1) + k*(-5)/(-15). Let j(y) = y**2 - 5*y + 4. Let i be j(3). Is i > l?
True
Let k = -27111/5 - -5468. Does 46 = k?
False
Let a = 108.6 - -2.4. Let b = -111 + a. Are 1.7 and b non-equal?
True
Let f(n) = -n - 25. Let q = -60 - -37. Let s be f(q). Which is smaller: s or 3?
s
Let b be 33*3/9 + -4. Let s be (0 - b - -2)*-1. Is 5 at least as big as s?
True
Let r = -4/179 - -744/1253. Suppose -3*f + 22 = 4*t - 33, 2*f + 2*t - 38 = 0. Suppose 0 = 5*s + 4*a + f - 5, 2*a = -8. Is s greater than or equal to r?
False
Let n(k) = -9*k - 4. Suppose 1 = -6*d - 5. Let q be n(d). Which is smaller: 8 or q?
q
Suppose -m + 4 = m. Let c be (-40)/(-18) - (-2)/(-9). Suppose c*p = 3*p. Is p at least as big as m?
False
Suppose 0 = m - 6 - 3. Is -4 bigger than m?
False
Let j = 173 + -363. Which is smaller: j or -191?
-191
Suppose k + 61 - 64 = 0. Suppose i - 3*i = -6, -9 = -k*y - 4*i. Do y and 6 have different values?
True
Let t be 16/20 + (-30)/(-25). Suppose 0 = t*c - g - 17, g - 6*g - 13 = -c. Let f = 0.07 + -0.27. Does f = c?
False
Let o = -40/3 + 1166/87. Let c = 9 - 11. Let g be (-5)/(-10) - c/4. Which is bigger: o or g?
g
Let a = -88 + 527/6. Let x = 37.8 + -41. Let f = x - -3. Which is smaller: a or f?
f
Let r = -5 - -2. Let a = -2.8 - r. Which is smaller: a or -11?
-11
Suppose 0 = -15*c + 47*c - 32. Let d = -246 - -148. Let a be (d/(-8))/7 - c. Which is greater: 1 or a?
1
Let a = -156 - -157.38. Let j = a - -0.12. Let s = 1.6 - j. Which is smaller: s or -1?
-1
Let q be (-27)/(-6) + 1 - 6/12. Suppose -4*v - 3*d = -7*v, 0 = 2*v + q*d. Is 3 >= v?
True
Suppose 0*d + 3*d = -6. Let y be (-456)/700 + 3/(150/4). Are d and y equal?
False
Let c = 552.1 - 554. Suppose b - 2*r = 8, 0*b + 2*b + 20 = -5*r. Are c and b equal?
False
Let i = -9297/52 - -717/4. Which is smaller: 10 or i?
i
Let n(o) = -o**3 + 30*o**2 + o - 16. Let w be n(30). Suppose 3*t = g + w, -5*g = 7*t - 8*t + 14. Which is bigger: -4 or g?
g
Let m be (21/(-30))/(7/28). Let i = 2 - 4. Is m at most i?
True
Suppose 0 = -8*o + 4*o - 5460. Let a be (4/(-3))/(5/o). Let m = 16378/45 - a. Which is smaller: -1 or m?
-1
Let w = -3545 - -3553. Suppose 0 = -2*i + 10 + 10. Is i at least as big as w?
True
Let x = 20 - -1. Let p be (2 + -1)*(-44 + x). Is p greater than -22?
False
Let b(i) 