-1009 - p. Which is greater: q or a?
a
Let f be (1 - 4) + (162/15)/6. Which is greater: -1 or f?
-1
Let u be (-1)/(-3) + (-14)/51. Let q = 2219.2 + -2219.1. Which is bigger: q or u?
q
Let v be (1 - 8) + 9/3. Let c be (4/(-40))/(v/(-30)). Is -2 != c?
True
Suppose -7*y = -9*y + 4. Suppose 4*o - 10 = y. Let z be o + 56/(-12) + 1. Is -2 smaller than z?
True
Suppose -50 = 4*c + c + 5*o, -2*o = 6. Let v be (4/c)/((-2)/7). Let y be (v/6)/(1 + -2). Is y at most 3?
True
Let z be (1/(-4))/((-7)/(-8)). Let s = 998.7 + -960. Let l = s - 39. Is z not equal to l?
True
Let g = -146 - -171. Which is smaller: -0.1 or g?
-0.1
Let b be ((-13)/4)/((-5)/(-20)). Let l be (-35)/(-10)*(-2)/1. Let y = l - b. Is 5 at most y?
True
Let z be (-12)/(-1) - (-7 + 5). Suppose v = 0, -v = 5*r - z - 11. Let f(y) = y**3 + 7*y**2 - y - 4. Let c be f(-7). Which is smaller: c or r?
c
Suppose 28*g - 195 = 85. Are g and 9 equal?
False
Let l be (1 + -7 - (-308)/55)/(-4). Suppose 0 = m - 2 + 1. Is m less than or equal to l?
False
Let v be (-4)/6 + (30 - 29). Let x = 0.04 - 5.04. Let h = -4 - x. Is h bigger than v?
True
Let v = 39.3 - 39.6. Which is greater: 125 or v?
125
Suppose 76*j - 78*j = -12. Are j and 5 nonequal?
True
Suppose 5*l - 2*m = 20, -8 = -2*l - 5*m - 0. Suppose -9*s + 4*s + 29 = l*r, 0 = r - 4*s - 2. Let t be 4/(-6)*3*-3. Is r <= t?
True
Suppose -g + 26 = 2*x, 71 = 3*g - 2*x + x. Let d = -72 + g. Which is greater: d or -1/2?
-1/2
Let k be 2/(-7)*(2 + -1). Let b = -823 - -811. Which is bigger: k or b?
k
Let w = -650 + 650. Which is bigger: w or -2/315?
w
Let q = -35 + 37. Let r(z) = -z**2 - 4*z + 8. Let w be r(q). Are w and -0.2 equal?
False
Let b be (-4)/(-16)*60/25. Which is smaller: b or -16?
-16
Let n(a) = -8*a - 181. Let o be n(-23). Which is greater: 4 or o?
4
Let a = 265/7 - 4276/105. Does -2 = a?
False
Let f = 1186.3 + -1186. Is 2/153 < f?
True
Suppose -524 + 3192 = 23*b. Is b >= 117?
False
Let l = 839 - 853. Let h = 34 + -23. Let w = h + l. Which is greater: w or -0.1?
-0.1
Let h(l) = l**2 + 6*l + 4. Let b be h(-5). Let j be 147/b*3/(-9). Let q be j/(-154) - (-4)/(-22). Which is smaller: q or 0?
q
Let i = -0.17 - 7.83. Let u = i + -2. Let y = 9.92 + u. Are y and 1/4 unequal?
True
Let p(d) = -d**2 + 61. Let k be p(7). Suppose i + 2*i = 0. Is k < i?
False
Let c = -20 - -20.11. Let n = -1.89 - c. Let v = n - -2.2. Which is bigger: -1 or v?
v
Let n = 8 - 5. Suppose 12*k - 21*k = -90. Let c be -5 - (-54)/k*1. Which is smaller: n or c?
c
Let r(d) = -2*d**3 - 2*d - 2. Let b be r(-1). Let u be b/(-4) - (-9)/18. Suppose 5*i - 2*f = -4*f + 15, -3*i - f + 10 = u. Is i >= 5?
True
Suppose 5*b = -5*x - 0*x + 35, 3 = -b + x. Suppose -b*z = -3*d + z + 6, -3*d + 6 = -5*z. Let p be (2/1)/((-10)/(-13)). Is p bigger than d?
True
Let s = 1 - -16. Suppose -m - 1 = -q, 5*m = -2*q + 2*m + s. Suppose 0 = -7*k + 11*k + q. Is -1/4 <= k?
False
Suppose -2 - 2 = -4*h. Let d be 6*12/8 + -2. Is h less than d?
True
Let s = 4113.1 - 3911. Is -1/4 >= s?
False
Let p be 0/(3 - 0 - 4). Let k = -873 + 2593/3. Let g = 9 + k. Is p smaller than g?
True
Let s be (-10)/15*9/(-6). Let m be 332/1296 - 2/8. Let f = m + 269/162. Is s less than or equal to f?
True
Suppose 3*v - 11 = -y, -2*y + y = v - 5. Suppose 43 = -4*h + v*h. Let g = h - -128/3. Which is smaller: -5 or g?
-5
Let m(o) = -o**3 - 7*o**2 - 10*o. Let b be m(-5). Let f be ((-4)/(4 - b))/5. Is -2 at least f?
False
Let z = -129 - -114. Let p be 2*1/4*4. Suppose p*f + 32 = -0*f. Is z not equal to f?
True
Let u(q) = q**2 + 6*q + 2. Let g be u(-2). Let o be (-12)/9 - -2 - g/(-9). Let r be 2 + (0 - 1)*3. Is o smaller than r?
False
Let x(v) = -v**2 + 6*v + 4. Let q be x(6). Suppose -4*s + q*w = -8, w + 30 = -0*s + 5*s. Which is greater: 16 or s?
16
Let q be (-590)/(-22) + (-14)/(-77). Suppose q = 2*z - j, 47 = z - 5*j + 11. Suppose 7 = 4*n + z. Are n and 1/10 non-equal?
True
Let q be 40/(-26) - (-7)/7. Let y = q + 15/26. Which is smaller: y or 1?
y
Let k(y) = -y**3 - 44. Suppose m + 3 = 0, -4*m - 11 = 4*h + 1. Let s be k(h). Which is bigger: -45 or s?
s
Let c(q) = 2*q**3 + q**2 + 10*q - 179. Let k be c(0). Which is greater: k or -181?
k
Let u(d) = d**3 + 18*d**2 - 13*d - 47. Let q be u(-19). Are q and -162 equal?
False
Let w = -389 + 389. Is -1/58 greater than or equal to w?
False
Let a = -92.8 - -93. Which is greater: 83 or a?
83
Let y = 281 - 280. Which is greater: y or 1/227?
y
Let b = -66 + 69. Which is smaller: b or 7?
b
Let g(n) = 75*n + 1. Let s be g(-1). Let i = -33 - 40. Is s at most as big as i?
True
Let g(y) = y**2 + 41*y + 189. Let l be g(-36). Is 42/5 greater than or equal to l?
False
Let q(v) = -v - 15. Let n be q(-17). Suppose 3*i = -r - 3*r + 6, 5*i + 16 = n*r. Let p be 46/r + 7/(-21). Are p and 16 non-equal?
True
Suppose -20 = 5*v + 25. Suppose 0 = -5*k - 2*z + 3*z - 43, 5*k - 4*z + 37 = 0. Are k and v equal?
True
Suppose -2*o - 10 = -4*z, -12 = -0*z + 3*z + 5*o. Suppose m - 2 = z. Which is bigger: m or 4?
4
Let y = 91 + -90. Let b = 68 + -128. Let p be (b/(-26) - 1) + -1. Which is bigger: p or y?
y
Suppose -3*o + o + 2 = 0. Let r = -13803665/28 + 493311. Let s = 323 - r. Which is bigger: s or o?
o
Let u = -27 + 42. Let d = u + -21. Let j = 2 + -2.1. Do j and d have the same value?
False
Let j(c) = -c**2 + 4*c + 7. Let s be j(5). Suppose -6*h = -11*h + o + 21, -6 = -s*h - 2*o. Are -1 and h unequal?
True
Let g be ((-2)/(-4))/(9/6). Suppose -4*n = n + 45. Let t be 2/n + 22/18. Which is smaller: t or g?
g
Suppose -3*o + 3*i + 51 = 0, 7*i - 8*i = -5*o + 105. Let q = 21 + 0. Is o greater than q?
True
Let b be 4/16 - 5/4. Suppose 68 = 5*n - 2*x, 3*x = -4*n + 75 - 16. Let d = -15 + n. Is b at least d?
True
Let o = 1501/1290 + 2/645. Let s(i) = -3*i + 8. Let w be s(2). Let p = w - 2. Which is greater: p or o?
o
Let j be (-1)/2*76/3401. Let g be (-3 - -4) + (0 - 1)*1. Which is smaller: g or j?
j
Let t = 922 - 3721/4. Let x = -9 - t. Let i = 0.1 - -0.9. Which is smaller: i or x?
x
Let s be 62*(-8)/78*540/(-30). Which is greater: 115 or s?
115
Let c be -1*1641/(-27) + -9. Is c at most 53?
True
Let y(t) = 5*t**2 + 2*t. Let j be y(-2). Let a = -0.3 + 0.4. Which is greater: j or a?
j
Suppose -9*o = 145 - 136. Are o and -4/9 equal?
False
Let p(k) = 5*k**3 - 180*k**2 + k - 17. Let l be p(36). Which is greater: l or 26?
26
Let i = 817 + -817. Is i < -1.66?
False
Let c = -33 - -56. Let a = 61 + -37. Which is bigger: a or c?
a
Let v = 25.02 - 31.02. Let f = -0.9 + 0.4. Let o = f - -0.5. Is o >= v?
True
Suppose 5*h - h + 117 = -3*q, 4*h - 4*q + 152 = 0. Let n be 6/h + (-756)/77. Let s = -16 - n. Which is bigger: s or -8?
s
Let b be (13 - (-1636)/20)/(14/(-10)). Which is bigger: b or -69?
b
Let d(g) = 52*g - 365. Let c be d(7). Is -2/2081 at most c?
False
Let t be 1/142*36/3. Let u = -586/213 + t. Is -3 at most as big as u?
True
Let f(a) = -a**2 + 6*a + 10. Let y be f(6). Let n = 15 + y. Suppose -2*c - 5*w = -0*c + n, -17 = 4*c - w. Is c not equal to -7?
True
Suppose -4*w - 2 = 10, -5*l - 2*w = 506. Let n = 92 + l. Let g = 16 + -26. Which is smaller: n or g?
g
Let u(v) = v - 7. Let m be u(6). Let t = 31147 - 1713079/55. Is m greater than t?
False
Let n(i) = -3*i**2 + 22*i + 61. Let v be n(-4). Is -76 not equal to v?
True
Let k = 125 + -210. Let v = k - -256/3. Which is greater: -6/17 or v?
v
Let a = -10.1 + 10. Let v = 0.22 - 0.2. Let s = 0.32 - v. Is a <= s?
True
Let r = -36.6 + 37. Let a = 0.3 - r. Is a at most as big as 37?
True
Suppose 0 = 4*w - 2 + 6, 5*m - 3*w = -407. Let s(f) = -2*f**2 + 11*f - 18. Let c be s(9). Which is smaller: c or m?
m
Let n = -46534/33 + 1410. Suppose -p = -h - 5*p - 20, 5 = -p. Is h greater than n?
True
Let w = -416 + 439.25. Is w greater than or equal to 1/2?
True
Suppose 64*r = 23*r + 1394. Is r bigger than 67/2?
True
Suppose -6*a + 59 = 5*y - 5*a, -4*y + 60 = 4*a. Let c = y - 12. Is -5 < c?
True
Let u(s) = -s**2 - 24*s - 254. Let r be u(-24). Which is smaller: -253 or r?
r
Let t = 96.2 + -96. Do t and 27 have the same value?
False
Let s = -35 - -29. Let f be (3 - (s - -3)) + 2. Which is greater: 7 or f?
f
Suppose 0 = 3*g + 4*f - 19, 0 = -5*g - 3*f + 6*f + 80. Let q(v) = 3*v - 31. Let w be q(g). Which is smaller: w or -7?
-7
Let t(q) = -112*q + 213. Let o be t(7). Do o and -0.1 have the same value?
False
Suppose 8*q - j 