a. Let v = 3 + q. Suppose -2*p = v*p. Is 0 >= p?
True
Let f be (3 + -1 - 2)*1. Let j = 61 + -48. Suppose -23 = -j*a + 16. Is f >= a?
False
Suppose 5*j - 712 = -4*l + 3*j, 20 = -5*j. Is 180 <= l?
True
Let d = 0 - 5. Let n be (-1 - 1 - -1)*(8 + -5). Let s = n - d. Is 1/2 >= s?
False
Let u be (-129)/285 + 3/30*4. Let o(j) = -j - 1. Let r be o(-2). Which is bigger: u or r?
r
Suppose 5*i - 5*x + 30 = 0, -14 = 5*i - 3*i - 3*x. Let f be 51/(-12) - (-3)/i. Which is smaller: -3 or f?
f
Let a = 2629 - 2624. Which is smaller: a or -191?
-191
Let s be 15/(-2961)*(-8)/20. Let d = 7946/24675 - s. Is -1 at most d?
True
Let l be (-7605)/(-10188) + 27/(-36). Is -1 not equal to l?
True
Let l = -29365/14580011 + -2/10697. Which is smaller: 1 or l?
l
Let d = -2 - -3. Let g be (6 - d)*(-222)/(-15). Let c be 6/(-21) + g/14. Is 5 at most as big as c?
True
Suppose -16*l + 23*l = 336. Suppose 7*u - l = 11*u. Which is bigger: u or -11?
-11
Let p = -4.33 - -4.23. Suppose -2*s = 3*s. Suppose -q + 3*q + 2 = s. Which is bigger: p or q?
p
Let s = -15305414/4107 + 11180/3. Which is bigger: s or 1?
1
Let o = 562 + -562. Is o bigger than -3/704?
True
Let s be -1*(-8)/4 - -2. Suppose -7*l + 28 = -0*l. Is s at most l?
True
Let t(c) = 4*c - 45. Let a be t(11). Let q be 2/(-11) - 245/165. Which is smaller: q or a?
q
Let t be 4/(4/1)*2. Suppose -5*k + 180 = -5*u, 3*u + u = -t*k + 54. Let g = k + -28. Which is greater: g or 7?
7
Let s = 0 + 3. Suppose 30 = -2*v - s*v. Suppose 4436 = -566*h + 474. Is v bigger than h?
True
Let c be (-2312)/6 + (-13)/(-13). Let k = c - -368. Let j = 389/24 + k. Which is smaller: j or -1?
-1
Let f = 0.6 - -4.4. Let r = f - 11. Let o = 4 + r. Is o greater than 2?
False
Suppose 2*f = -4*y - 72, -188*y - f - 70 = -184*y. Which is smaller: y or -5?
y
Let u(r) = -5*r**2 - r + 3*r**2 - 2 + 6*r**2. Let z be u(-1). Do z and -2 have the same value?
False
Let b = -157 - -156. Suppose 0 = -5*w + 4*o - o - 18, -w + 2*o = 5. Which is smaller: b or w?
w
Suppose -9 = -y + 2*y + 4*j, 3*y + 5*j = -13. Let c = -27921578858/3107 + 8986668. Let x = c + -4/239. Which is bigger: y or x?
x
Let p = 477 + -927/2. Let l = -42 + 28. Let w = p + l. Which is bigger: 0 or w?
0
Let o = 52 - 12. Let j be (17/(-4))/(o/(-32)). Which is smaller: j or 4?
j
Let x = -92 - -93. Which is smaller: x or 1/439?
1/439
Let s = 51.2 - 72.29. Let i = s + 0.09. Let f = 14 + i. Is -1 less than f?
False
Let b(l) = -l + 9. Let m be b(9). Let i = 2632 + -192130/73. Are m and i non-equal?
True
Let d be (-570)/(-4) + (-189)/(-14) + -12. Are 145 and d equal?
False
Let b be ((-26)/39)/((-5)/390). Which is greater: -1 or b?
b
Let r(a) = -a**2 + 4*a + 13. Let q be r(6). Suppose -2*t = -2*f + f + q, -4*t = -4. Which is greater: 4 or f?
4
Let y be ((-630)/2380)/(10/(-4)). Which is bigger: y or 1?
1
Let y be (4/(-7))/(1/(-7)). Suppose -2*v = 2*v - y. Suppose d = -d - 4. Is d <= v?
True
Let z = 6 - -2. Suppose 3*a - 38 + z = 0. Let b be ((-10)/(-4))/(a/(-20)). Which is bigger: b or -3?
-3
Let o(r) = -28*r**3 + 12*r**3 - 5*r + 13*r**3 + 6*r**3. Let w be o(2). Which is smaller: w or 16?
w
Let y = 16.9 - 14. Let n = 12 - y. Let o = -9 + n. Is o smaller than -3?
False
Let p(k) = -15*k + 76. Let a be p(5). Is -20 equal to a?
False
Let d = 28 + 9. Which is smaller: d or -2?
-2
Let l = 65117/28 + -2325. Let v = l + -6/7. Is 2/11 at least v?
True
Suppose -860 = 3*q + 70. Let p(o) = o**3 - 6*o**2 - 5. Let f be p(6). Let k be 2/f + q/(-25). Which is bigger: k or 11?
k
Let x(u) = u**3 - 3*u**2 - u - 12. Let c be x(4). Let d = 105 - 523/5. Which is greater: c or d?
d
Let y = 8 - 3. Let x(p) = -p**2 + 7*p - 5. Let h be x(y). Suppose r = h*r - 28. Are 7 and r equal?
True
Let b be (-2)/2 - (-5 + (-292)/(-72)). Are -1 and b unequal?
True
Let t = -5 + 17. Suppose -4*h = -x - 53, h + h = x + 29. Are h and t non-equal?
False
Let u = -158 + 159.16. Which is smaller: u or -1?
-1
Let o be 10/((4/(-12))/((-1)/(-3))). Is -10 at most as big as o?
True
Let h = -54 + 53. Suppose -1 = 4*s + 7. Let k be (s + 0)*2/(-42). Which is smaller: h or k?
h
Let d = -30 - -28. Let v be (d/108)/(9/(-27)). Which is greater: 0 or v?
v
Let w(u) = u + 9. Let f be w(-6). Suppose 5 = 5*p - 3*t - 2*t, 0 = t + 3. Let i be (f - 1)*p/(-4). Which is smaller: 3 or i?
i
Let v = -223 - -190. Which is smaller: v or -32?
v
Let t(p) = 2*p**3 - 55*p**2 + 28*p. Let u be t(27). Are 3/2 and u equal?
False
Suppose u + 24 = 7*u. Let m be 3/u - 62302/168. Let w = m - -370. Is -1 > w?
False
Let o(n) = n**3 - 4*n**2 - 5*n + 4. Let p be o(5). Suppose -z = -p*z + 6. Suppose -2*b - 40 = -7*b + 5*r, 5*b - 35 = 4*r. Is b less than z?
False
Suppose 3*n = 4*i, 5*n + i = -3*i. Suppose 5*m = -n - 10. Let y = m - 0. Is -12/11 >= y?
True
Suppose -4*z = 2*j + 12, 4 = -20*z + 16*z + 2*j. Which is greater: z or -17/5?
z
Let o = -199/3 - -227/3. Let g = o - 199/21. Let t be (-824)/120 - (-8)/(-60) - -8. Which is bigger: g or t?
t
Let z be 3/8*(-72)/(-1125). Which is smaller: z or 3/2?
z
Suppose 0 = -2*u - u. Let t = 58 + -56. Let l be t/8 + 30/(-760). Do l and u have the same value?
False
Let p = 21 - 5. Let a = 15 - p. Is a bigger than 22?
False
Suppose 35 = 4*m - 1. Suppose -5*s = -7*s + 2*h + 10, 3*h = 3. Are s and m equal?
False
Let x = -21 + 24. Let f = 20 + -29. Let j = 9.4 + f. Are x and j nonequal?
True
Let o be (-870)/40 - 6/(-8). Which is greater: -20 or o?
-20
Let l be (4/10)/((-273)/(-70) + -4). Let j be l + 4/8*-4. Is j smaller than -6?
False
Let y be 6 + 5/(15/(-6)). Let w(f) = -14 - 22*f + 11 + 23*f. Let n be w(y). Is n not equal to -1/3?
True
Let n = 112.1 - 111. Which is smaller: 3/5 or n?
3/5
Let n = -55.8 - -48.8. Is 5/17 greater than n?
True
Let q = 610 - 611. Is q != 322/3?
True
Let n = -6 + 4. Let w = -4922 + 4905. Is n < w?
False
Let q be (-4)/(-7038)*-131*96. Let w be 44/(-77) - (-1844)/238. Let o = w + q. Is o equal to 1?
False
Suppose -u + 2*u = -72. Let y = u - -68. Suppose 2*i + 20 = -2*i - 4*p, -5*p = i + 17. Which is smaller: y or i?
y
Let c be (2 + 66/(-24))*(21 - 1). Is -54 bigger than c?
False
Suppose 306 = 24*m - 1422. Is 70 less than or equal to m?
True
Let b = -20.8 + -0.2. Let n = 15 + b. Let t = -87 - -86. Which is smaller: n or t?
n
Let z = 5 + -5. Suppose 9*p - 11*p = 0. Suppose 2*g + 2 = -p*g. Is z not equal to g?
True
Let b = -91 - -31. Which is greater: b or -61?
b
Let t(n) = n**3 - 6*n**2 + 4*n - 1. Let q be t(5). Let m = 461/4 + -120. Is m greater than or equal to q?
True
Let m = 26 + -86. Let d be (9/m)/(3/6). Which is bigger: d or 0?
0
Let o = -61 - -61.46. Let y = -0.56 + o. Is y greater than or equal to 11?
False
Let h = -36 + 46. Let j(p) = p**2 - 4*p - 2. Let d be 1*(2 + -1 - -3). Let z be j(d). Which is smaller: h or z?
z
Suppose -t - 6 = 3*x - 1, 25 = 4*x - 5*t. Suppose 6*r = 4*r + 2. Suppose 0 = -y + r - 2. Which is smaller: y or x?
y
Suppose 0 = -4*f - 2*z + 7*z + 10, 2*z + 4 = 0. Is -1/4 < f?
True
Let a = -12 - -16. Suppose -5*w + a*m + 51 = 0, -2*w + 5*m + 19 = 2*m. Suppose 3*k - 21 = 5*r, 2*k + 4 = r + w. Which is bigger: r or 0?
0
Suppose -t = -5*t + 32. Let q be (t/(-14))/((-78)/91). Which is smaller: 1.3 or q?
q
Suppose 0 = 3*w - 3*r - 255, -3*w + 4*r + 255 = -r. Let s be 4/(-290)*2*w/(-102). Is s bigger than 0?
True
Let c = -54 - -55. Suppose 0 = d - 0*d - 196. Let l = 1375/7 - d. Which is smaller: c or l?
l
Let n be (2/4)/((-1350)/36). Which is smaller: 1 or n?
n
Let l be 2/(-8)*10*-2. Suppose 4*w - 6*b + 2*b - 8 = 0, 0 = -l*w - 4*b - 17. Suppose 3*g = -7*g + 20. Which is bigger: g or w?
g
Suppose -4*r = -4*t - 300, -5*r = 4*t - 236 + 572. Is t at most as big as -75?
True
Let t(x) = -4*x**2 + 94*x + 16. Let r be t(13). Is r != 562?
False
Suppose 2228 = 32*r + 468. Is r != 66?
True
Let l be ((-5360)/(-32))/((-6)/12). Is l < -334?
True
Suppose 0 = 17*r + 67 - 50. Which is bigger: 22 or r?
22
Let h(j) = j**2 + 6*j - 3. Let n be h(-6). Let l be 6/66*n*1. Let p(g) = -g**2 + 4*g + 5. Let o be p(5). Which is bigger: o or l?
o
Let q be 781/77 + -10 + (-2788)/14. Is q smaller than -195?
True
Let z = -13 - 33. Let n = z + 46.2. Which is smaller: n or -2/9?
-2/9
Suppose -14*p = -9*p + 10. Let t be p/4 + (-145)/(-319). Is t at most -1?
False
Suppose 0 = q + 3, -c = q + 15 - 37. Let m(v) = 27*v - 1. Let n be m(1). Are c and n nonequal?
True