er: g or 9?
g
Let p = 33.734 - 33.6. Which is greater: p or 0?
p
Let o be 3 + 0 + 2/(-2)*3. Which is smaller: o or -1/61?
-1/61
Let l(a) = a**3 + 12*a**2 - 27*a - 14. Let z be l(-14). Is -9 smaller than z?
False
Let p = -0.084 + 0.084. Suppose 0 = 5*z - 10 - 10. Which is smaller: z or p?
p
Let l = -7 + 16. Let i = l - 5. Suppose 2*w + i = 2. Which is greater: w or -2/15?
-2/15
Let b = 7421/17 - 435. Which is smaller: 3 or b?
b
Let h = 771 - 772. Which is smaller: 2/131 or h?
h
Let b = -0.2 - -0.12. Let q = 0.18 + b. Let i = -54.4 + 54. Which is smaller: i or q?
i
Suppose -7*b = -163 - 348. Which is smaller: b or 72?
72
Let l be 20/6*(-9)/(-5). Let p be (l/(-4))/3*(-2)/(-4). Let z be 2/(2/(-1)) + 9. Is p >= z?
False
Let d be (-14 + 22 - 7) + (-934)/(-14). Is 67 bigger than d?
False
Let l = -790 - -859. Which is smaller: l or 135/2?
135/2
Let w(z) = -z + 6. Let r be w(12). Let t = 53 + -60. Are t and r non-equal?
True
Let g = -94 + 162. Let f be 2/(-1) + g/50. Let j = -527/75 + f. Which is bigger: -7 or j?
-7
Let a(w) = -9*w + 36. Let o be a(4). Which is smaller: o or -17/53?
-17/53
Suppose t - 846 = 5*u, -u + 9*t = 4*t + 150. Let h be u/356 - (-4)/8. Which is bigger: 1 or h?
1
Let m be ((-4)/(-4))/(586/117 - 5). Is m bigger than 4?
True
Let v be (2/(-3))/(1/(-9)). Suppose -h + 0 = 2. Let w be (-3 - (-15)/v)*h. Which is smaller: -2/23 or w?
-2/23
Let r be 1096/(-16)*(-1 - -3). Which is smaller: r or -136?
r
Suppose -2*l + 4*l - 6 = 0. Suppose l*s - 22 - 2 = 0. Let m(h) = h**3 - 10*h**2 + h - 1. Let o be m(10). Does o = s?
False
Suppose 53*s + 4*f + 14 = 55*s, -4*f - 19 = 3*s. Let w = 1 + -1. Let t = -1 - w. Is s bigger than t?
False
Let g be 3933/(-5152) + -1*(-12)/14. Is g at least as big as -0.09?
True
Let t be (-2)/(-3)*12 - 3. Let r = t + -8. Suppose 0 = 5*b - d + 17, 4 = -3*d - 5. Which is bigger: r or b?
r
Let n(j) be the first derivative of j**3/3 + 3*j**2 - 15*j + 18. Let v be n(-7). Let b be (-9)/(-1)*6/(-9). Is v >= b?
False
Let u = 1.81 + -1.7. Let i = -6.89 - u. Let h = 5 + i. Which is smaller: h or -9?
-9
Let i = 9.18 - 6.18. Which is bigger: i or -19/5?
i
Let s(y) = 5*y**2 - 12*y - 5. Let v be s(-8). Which is smaller: v or 412?
v
Let g be (-20)/(-25)*10/(-4) - -3. Is g greater than 1/98?
True
Let l = -1111/7 - -159. Let a = -15 + 14.5. Which is bigger: l or a?
l
Let p(s) = -s**2 + 7*s + 6. Let k be p(8). Let v be (-15)/(-6) - (7 + 21/(-10)) - 0. Which is bigger: v or k?
k
Let z(j) = 118*j**3 + 8*j**2 + j + 1. Let q be z(-1). Which is smaller: q or -111?
-111
Let g(h) = h**3 - 8*h**2 - h + 8. Let a be g(8). Let m = -1.28 + 1.1. Let n = 0.09 + m. Is n smaller than a?
True
Let q be -2 - 11/((-1166)/208). Which is smaller: q or -1?
-1
Let w(i) = -2*i + 6. Let j be w(3). Suppose 3*b = -j*b + 165. Suppose 4*h = -15 + b. Is 9 greater than or equal to h?
False
Let i = 0.3 + -0.1. Let p = 2.84 + -3.24. Is p at least i?
False
Let j be ((-54)/(-12))/(3/2). Let x be (80/(-6))/(3/(-9)). Let z be x/15*j*2. Which is bigger: z or 17?
17
Suppose -2*g = 2*b - 10, -5*g + 4*g - 5 = -b. Let k = -11 - g. Let l = 0 - 12. Is k >= l?
True
Let q(u) = 2*u + 52. Let k be q(-24). Let f be k - (3 + (-27)/(-21)). Let d = -4.08 - -0.08. Which is smaller: d or f?
d
Let o(q) = q + 6. Let y be o(19). Let s = y - 127/5. Is s bigger than 1?
False
Suppose 5*h - 2*x = -5*x + 97, 0 = -3*h + 4*x + 35. Suppose -h = 4*n + 7. Suppose 0 = 2*m + 4*b - 10, -15*b + 12*b = -15. Which is bigger: m or n?
m
Let g be (64 + 15)/(-1 + 0). Do g and -80 have the same value?
False
Suppose 27 = -2*r + 5*g, r + g + g - 9 = 0. Let w be 1/((-8)/2)*(-13 - r). Are -2 and w nonequal?
True
Suppose 35*i = 38*i + 42. Are 3 and i non-equal?
True
Suppose 6*c - 4*c - 8 = 0. Let r be ((-11648)/(-360))/7 - 4/18. Let i = c - r. Is i bigger than -3?
True
Let f be -3 + (-6 - -19) - -4. Which is smaller: f or 12?
12
Suppose -5*y + 4*q = 101 + 17, 2*q = -3*y - 84. Which is bigger: -19 or y?
-19
Let g = 34/15 + -92/45. Which is greater: g or 3/35?
g
Suppose -3*l = 3*i + i - 34, -4*l - 13 = -3*i. Suppose 3*o = -97 + i. Let w be ((-20)/o)/((-2)/3). Which is smaller: -2 or w?
-2
Let x be 8/(-6)*9/(-104). Let w = -36 + 35. Is w less than x?
True
Let i be 22/55 - (-16)/10. Let n be (-1)/(i + 6/(-4)). Let z = 1.4 - 7.4. Which is smaller: n or z?
z
Let m = -115 - -174. Which is bigger: m or 2?
m
Let i = -25 + -3. Let l = -17 - i. Let u(v) = 2*v**2 - v + 4. Let g be u(2). Is l equal to g?
False
Suppose -8*s + 13*s - 3*c = 4, 2*s - 5*c + 6 = 0. Suppose -5*b + s*b = 36. Is b less than or equal to -14?
False
Let g = 265 + -150. Which is smaller: 117 or g?
g
Let h(v) = -v**3 + 15*v**2 - 28*v + 25. Let g be h(13). Which is bigger: -2/89 or g?
-2/89
Suppose 269*l = 259*l + 1180. Is l >= 118?
True
Suppose 4*z - 4 = -2*h, h - z - 6 = -2*h. Suppose 0 = 4*d - d - 2*i + 4, 3*d + 5 = i. Are h and d nonequal?
True
Let m = 26 - 17. Let o(q) = q**3 - 10*q**2 + 9*q + 1. Let s be o(m). Suppose -t = -5*i + 18, 4*i + 5 = s. Are t and -24 equal?
False
Suppose -3 = -4*d + 5. Suppose 5*y - 14 = h, -y - d*y + 3*h + 18 = 0. Which is greater: y or 0?
y
Suppose -2*a - 3*o = 2, 2*a - o - 7 + 1 = 0. Suppose 4*n - 475 = -a*y - 87, -4*n = 4*y - 388. Does n = 98?
False
Suppose -4*j - 1 = -3*d, 0 = 2*d + 4*j + 6. Let l be -1 - 83/(-170)*2. Which is smaller: d or l?
d
Let f = 0.9 - -0.1. Let r = 14.3161 - 0.3161. Is f at most as big as r?
True
Let s(i) = -9*i**3 + 2*i**2 - i. Let c be s(1). Let k = c - -4. Which is greater: 2 or k?
2
Let y = 618 + -603. Is y less than 0.4?
False
Let k = -1.88 + 0.88. Let s = 60 - 132. Which is smaller: k or s?
s
Suppose -3*l + 15 = 0, 0 = -2*c - 7*l + 3*l + 20. Which is smaller: 2/319 or c?
c
Let x be (43 - 40)/(-1*(-6)/(-16)). Let z(b) = -b**3 - 7*b**2 + 9*b + 8. Let w be z(x). Which is smaller: 2/23 or w?
w
Let q be 4*(2/4 - 0). Let v be 64/16 - 5/2. Which is greater: v or q?
q
Let t = -86 - -91. Let q(x) = x**3 - 3*x**2 - 15. Let g be q(t). Is g greater than 35?
False
Let l be 14/(-35) - (-141)/15. Suppose -108 = -0*x - l*x. Which is smaller: x or 14?
x
Let x = 131.8 - -16.2. Which is smaller: x or 0?
0
Let p be ((-3)/2)/((-15)/(-10 - -5)). Let c = 5 + -6. Is p < c?
False
Let y = 277609/4 + -68996. Let u(f) = -110*f + 36. Let m be u(4). Let j = y + m. Which is smaller: j or 1?
1
Let k = 355 - 260. Are k and 1/3 equal?
False
Suppose 0 = 5*y + 40 - 0. Let f be 15/(-2)*y/(-12). Let u(i) = i**2 + 3*i - 5. Let h be u(f). Is 4 smaller than h?
True
Suppose 0*r + 2*r - 2*w = 2, -2*w = 0. Let v be (0/2 - 0)/r. Is -2/41 <= v?
True
Let r be (-56)/(-5) + (-1)/5. Suppose 0 = -8*g + 145 - 49. Which is smaller: g or r?
r
Let v = -300.3 + 299. Which is bigger: 10 or v?
10
Suppose -b + 3*n - 4*n = 12, -2*n + 39 = -5*b. Let l be 12/b + (-124)/(-328). Let p = -5/41 - l. Which is smaller: p or 0?
0
Let d(h) = -2*h**3 - 10*h**2 - 2. Let b be d(-5). Let y be 2*(1 + (b - -1)*3). Is y greater than or equal to -4?
True
Let s = 189.9 + -161.9. Let v = 267.2 - 296. Let g = s + v. Is g >= 1?
False
Let y = -316 - 885. Is y at least as big as -1201?
True
Let r = -10 - 6. Suppose 5*j = -4*t - 76, -31*j = -28*j - 3*t + 51. Is r not equal to j?
False
Let x = 463 - 268. Let r be x/306 + (-4)/6. Suppose -5*f - 24 = -2*d - 9, -3*f = 9. Is r less than d?
True
Let a(k) = 17*k + 3. Let u(n) = -17*n - 2. Let i(q) = 2*a(q) + 3*u(q). Let s be i(1). Let r = -18 - s. Is r less than or equal to -3/13?
True
Suppose 2*p + 4*g - 2 = 0, g - 1 = -p + 6*g. Suppose a - 11 = -4*j, 14 + p = 5*j. Let b = -5041/66 - -229/3. Are a and b unequal?
True
Let z be 4/228*(-3370)/(-4). Let d = 550/19 - z. Let w = 14 - d. Is w equal to 0?
False
Let x = 49687/8 + -6203. Which is smaller: x or 8?
x
Let k be 6/8*(-1)/(-3). Let i be (-45)/12 - 0 - 3/12. Let o be (-3)/2 - -2*i/(-16). Is k greater than o?
True
Let s be ((-135)/80)/1*(-18)/27. Is s greater than or equal to 1?
True
Let y be ((-39)/(-21) + -1)/((-45)/40). Do y and 0 have different values?
True
Let p be (-5 + 8)*(-3)/(-27). Suppose 1 + 3 = 2*u. Let g be (u/(-4))/((-5)/(-150)). Does g = p?
False
Suppose 5*v = -2*h - 288, -3*v + 2*h + 50 = 226. Let d be (87/12)/(1/(-8)). Is v smaller than d?
False
Let k be (-39)/(-9) - (-3 + 20/6). Suppose -3*a + 1 = 3*p - 4*a, -k*p + a = -1. Is p at least as big as 2/127?
False
Supp