 6 - 4. Suppose -2*l = 3*l - 25, -5*a - p*l = 5. Is a greater than or equal to s?
False
Let q(o) = -o**3 - 5 + 23 - 28 + 10*o**2 + 12*o. Let i be q(11). Let a = 4195/9 + -465. Is a < i?
False
Suppose -228 + 23 = 5*s. Let h = -10 - s. Let w be -1 + -2 - (-94)/h. Are -1 and w unequal?
True
Let o(t) = 2*t**2 + 7*t + 10. Let b be o(-5). Suppose 0 = -4*q + j - 0*j - 33, 0 = -3*q + j - b. Let d be -2 - -4 - (-15)/q. Which is greater: 1 or d?
1
Let z = 34 + -27. Let m(w) = w**2 - 7*w - 3. Let y be m(z). Which is bigger: y or -15/7?
-15/7
Let a be ((-2)/(-12))/((-10)/40). Let y = 3 + -6. Let c = y + -3. Which is bigger: a or c?
a
Let i be 4/16 + (-4791)/(-1284) + -4. Which is greater: i or 1?
1
Let f(s) = -107*s + 147. Let b be f(19). Which is bigger: -1885 or b?
-1885
Let g(k) = -2*k + 7. Let z be g(3). Suppose q - 8 + z = -a, -3*a + 15 = -3*q. Let p be (a/(-315))/((-6)/(-14)). Is -1 > p?
False
Suppose -t = 4*t - 15, -2*t = -5*a - 6. Which is greater: a or 20?
20
Suppose -12*q - 477 = 147. Is q less than or equal to -363/7?
True
Let s = -79 - -84. Suppose 207 = s*c + 4*c. Are c and 23 equal?
True
Let a = 1/65 - 133/195. Let c = 3.44 + -3.56. Is a >= c?
False
Let o = 37/126 - -5/18. Let w = -13 + 13. Is w less than or equal to o?
True
Let n = -51 - -30. Let m = 175 - 195. Let s = m - n. Which is smaller: s or -12?
-12
Suppose -114 = 6*n - 3*n. Let m = n - -50. Let z be (m - 11)/(2/(-6)). Are z and 1 non-equal?
True
Let s = -2 - -2. Let q = -82/385 + -18/35. Does s = q?
False
Suppose -3*n + 19 = 4, 4*n - 12 = 2*h. Suppose -h = -4*p - 12. Let a = p - -19. Is a less than or equal to 18?
True
Suppose -y - 7 = 5*m - 25, 8 = 2*m. Let d(b) = -2*b**2 - b - 1. Let k be d(y). Which is smaller: k or -15/2?
-15/2
Let j = 2041 - 2040. Which is greater: -15/143 or j?
j
Let m(b) = -2*b + 19. Let y be m(7). Suppose -6 = 2*l, y*l + 51 = -3*n + 2*l. Do n and -16 have the same value?
False
Let l = 0 - 1. Let m(u) = 2*u**2 - 6*u + 8. Let j be m(7). Let f = j + -66. Is f less than l?
True
Let r(t) = 8*t - 224. Let q be r(-10). Is -303 smaller than q?
False
Suppose 4*c + 3 + 1 = 0, 10 = -2*o + 2*c. Let k be ((-40)/64)/(o/(-8)). Suppose 2*v - 11 + 5 = 2*i, 2*v = -3*i - 9. Which is bigger: v or k?
v
Suppose -19 - 200 = -3*o. Is o at most 66?
False
Suppose 4*h = -21 - 15. Let g be -4 - 2/4*h. Which is bigger: g or 6?
6
Let j be 12/(-120)*15/2. Which is smaller: -26/5 or j?
-26/5
Let v = 11 - 43/2. Let w = -11 + 13. Let s = w - 13. Which is greater: v or s?
v
Let o = 3 + -1. Let b be 2/((2/28)/(4/(-16))). Let r be (140/21 + b)*5/(-1). Which is bigger: r or o?
o
Let h be (3*1)/((-1)/(-2)). Let v(w) = 11*w - 11. Let t be v(2). Suppose 5*p + t = h*p. Is p != 11?
False
Suppose -5*j - 2*y = 2*y + 202, -2*j - 85 = 3*y. Let z = j + 60. Which is smaller: z or 21?
21
Suppose -18 = -4*q - 5*h - 7, -3*q = -2*h + 9. Let j be -2 - (-47 - (0 + 2/q)). Are 44 and j non-equal?
True
Let h(r) = -r**2 - 6*r - 5. Let a be h(-5). Suppose 4*w + a*l = 2*l - 12, 2*w = -l - 10. Let s be (-4)/(-22)*6/w. Which is greater: s or -1?
s
Let s be (-29 + -1)*5/(-5). Let c = s - 31. Is 0 at most c?
False
Let y = 50 + -50.2. Let x = 17/3 - 7. Is x < y?
True
Let g(y) = -14*y**2 - 221*y - 42. Let x be g(-12). Do 1784/3 and x have different values?
True
Let m be 3/(-1) + (-6)/(-2). Let c be (-665)/21 - 2/(-3). Let t = c + 216/7. Which is greater: t or m?
m
Let p(q) = 3*q**3 - 13*q**2 + 4*q + 1. Let n be p(4). Are 4/41 and n non-equal?
True
Let w(a) = -a**3 - 7*a**2 + 19*a + 8. Let v be w(-9). Is v smaller than -4/341?
True
Let j = -9.5 + 12. Let l = 7.8 - 5.8. Let r = j - l. Which is smaller: r or 2/5?
2/5
Let q = -12 + 14. Let k(b) = 8 - b - 5*b + q*b - 4 + b**2. Let h be k(3). Which is smaller: -1 or h?
-1
Let s be (((-66)/84)/11)/((-1)/4). Do s and -164/5 have different values?
True
Suppose -33 + 59 = -26*s. Which is smaller: -2/59 or s?
s
Let r = -4.748 - 0.252. Is r at most as big as 4/9?
True
Suppose l = -4*v - 8, -102*l + 40 = -107*l - v. Suppose 45 = -5*k + 10. Which is greater: k or l?
k
Suppose -19 = 3*z + 4*s, -2*z - 4*s + 3*s - 6 = 0. Which is smaller: z or -1/64?
z
Let h be 60/(-9) + 2/(-6). Let a = -20 + 22. Let t be (a/4)/(-1*1/18). Which is smaller: h or t?
t
Let f(q) = -q**2 - 5*q + 3. Let o be f(-3). Suppose 3*t - 1 = c - 5, -5*c = 2*t - 20. Suppose -o = a - c. Which is smaller: a or -4?
a
Let c = 0.28 + 2.12. Let m = 3.4 - c. Which is smaller: m or -6?
-6
Let n = 11 - 16. Suppose -5*u = 2*i + 9, -1 + 16 = -5*u. Let d(s) = -s**3 + 2*s**2 + 5. Let k be d(i). Is n less than or equal to k?
True
Let n be ((-6)/21)/(57560/280). Which is smaller: 1 or n?
n
Let v be 2 + -4 + 3 + 4. Suppose v*c = 3*i + i - 50, i = 3*c + 23. Let l be 2/c + (-175)/42. Is l bigger than -5?
True
Let d = -6.01 - -6. Let g = d + 0.11. Which is smaller: 8 or g?
g
Let j = 1 + 5. Suppose -2*i + j = a - 8, -3 = 3*a - 3*i. Is -2 not equal to a?
True
Suppose 11*h = -3 - 448. Is -36 less than h?
False
Let q = 32/115 - 14216/1495. Let n = q + 1813/195. Let w = -58 - -57. Which is greater: w or n?
n
Let u be 3754/(-1608) + 294/126. Is u equal to -1?
False
Suppose -3*x + 116 + 112 = 0. Suppose -x - 4 = -2*c - 2*t, 5*c + 3*t - 200 = 0. Let o = c + -24. Which is smaller: o or 17?
o
Let g(x) = -53*x + 273. Let j be g(5). Suppose 0 = -3*c - 3*p + 3 + 3, -5*p = -4*c + 17. Which is smaller: c or j?
c
Suppose -c + 3 = -s - 0, c = -4*s - 22. Let b(g) = g + 8. Let d be b(-5). Suppose -d*z - 14 = -2. Which is smaller: z or s?
s
Let k = 0.428 + -0.528. Let c be (-8)/138*9/(-6). Which is smaller: c or k?
k
Let m be 0/(1/2*2). Suppose -2*a - a + i - 8 = 0, 4*a + 15 = -3*i. Let n be a/9*1*9/78. Is m at least n?
True
Suppose 22*t = 70*t + 144. Which is greater: t or 23?
23
Let q be -5*(-2 + (-8)/(-5)). Let b be 1/q*(-4)/13. Is b equal to -1?
False
Let q be (2 - 3)*(1 + 12/15). Suppose -5*u = -2*v + 31, -5*u - 11 = v + 11. Suppose -2*k + v*k + 2 = 0. Is q equal to k?
False
Let l be 0 - 0 - 7/301. Are l and -3/4 unequal?
True
Let l = -6 - -30. Let r = l + -25. Which is smaller: r or -1/8?
r
Let w = 2.8 + -3. Is -118 at most as big as w?
True
Let p be -1 + (46/(-138) - 8/(-6)). Which is smaller: p or -2/1783?
-2/1783
Let u = -32 + -4. Let b = -2303 - -2268. Which is smaller: b or u?
u
Suppose -4*m = 3*z - 419, 527 = 6*z - 2*z - m. Suppose 6*t = -z - 53. Is -31 <= t?
True
Let l = 9089 - 2826684/311. Do 1 and l have the same value?
False
Suppose t = 2*y + 312, -3*t + 8*t - 790 = 5*y. Is y bigger than 1?
False
Suppose -45*t = -44*t. Let j = 517/4379 - -3/151. Let o = 26/609 - j. Is t greater than or equal to o?
True
Let x(q) = -5*q - 14. Let i be x(-8). Let r = i + -9. Which is greater: 0 or r?
r
Let h(z) = -8*z - 34*z**2 + 6 + 24*z**2 + 22*z**2. Let n be h(3). Let m = n - 446/5. Is 2 < m?
False
Let f = 1 - 3. Let x be (-3)/(f/(8/(-6))). Let b be (0 + x + 0)/2. Which is smaller: b or -0.5?
b
Let l(x) = 215*x + 89. Let v be l(3). Is 735 less than v?
False
Let f(u) = u**2 - 7*u + 10. Let l be f(5). Suppose 0*q - q = l. Suppose 0 = -2*n - 4 - q. Which is bigger: n or -1?
-1
Let l = -97.1 + 96.8. Is 158 smaller than l?
False
Let t(k) = k**2 - 2*k - 3. Let y be t(-4). Let s = 5181/4 + -1275. Is y at most as big as s?
False
Let o = -15.6 - -16.6. Let p = 506/255 + -28/15. Which is bigger: p or o?
o
Let r(s) = -4*s**3 - 3 + 15*s**3 - 3 - 3*s + 2 + s**2. Let f be r(3). Let n = 6741/23 - f. Is n greater than -1?
True
Suppose 0 = -11*c + 79 - 13. Are 2 and c unequal?
True
Let y = 99 + -100. Let v be -1*(26 + (-4 - y) + 6). Is v less than or equal to -28?
True
Let m = -4.41 + 4.6. Let d = m + 7.81. Let t = -5 - -5. Which is bigger: d or t?
d
Let i = -1.2 - 2.2. Let o = -167.9 - -168.1. Which is smaller: i or o?
i
Let g = -3 + 5. Let p(n) = n**2 - n + g*n + n - 3*n - 4. Let a be p(4). Which is greater: 7 or a?
a
Let n = -1672186 - -3230663521/1932. Let q = n + -2/483. Which is bigger: q or -1?
q
Let q = 0.47 + -0.17. Suppose -2*m - 140 = -3*y + 2*m, 0 = 3*m - 12. Let k be (-4)/10 + y/80. Which is smaller: q or k?
k
Let g(o) = o**2 + 6*o + 9. Let n be g(-5). Suppose -4*m + 4*k + 0*k + 180 = 0, -n*m + 3*k + 185 = 0. Is m bigger than 0?
True
Let u = -12954/79 + 164. Which is smaller: u or -12?
-12
Suppose 5*u - 4*v = -5*v - 12, 5*v = 5*u. Let q be (u/6)/((-4)/24). Sup