aller: y or l?
l
Let k = 345 - 401. Is k > -46?
False
Suppose -5*b - 1 - 34 = 0. Let s be (-68)/b + 2/7. Let y = s - 12. Is -1 less than or equal to y?
False
Let a = -132 - -71. Let h = -60.965 - a. Is 1/4 at least as big as h?
True
Let z(m) = m**2 + 6*m + 22. Let o(s) = 2*s**2 + 13*s + 43. Let i(a) = -3*o(a) + 5*z(a). Let l be i(-5). Does 21 = l?
False
Suppose -w - 3 = -a, 2 = 2*w - 4. Let n(r) = -r**2 - 6*r + 75. Let j be n(-12). Suppose a*x = j*x + 48. Which is smaller: -1/4 or x?
-1/4
Let k = 317 + 247. Does -0.1 = k?
False
Let u = -2.7 + 42.7. Let c = 40.29 - u. Do c and -1/3 have different values?
True
Let z(w) = -11*w**2 - 2*w + 1. Let v be z(1). Let f(g) = 2*g**2 + g + 16. Let a be f(0). Let u = v + a. Which is bigger: u or 0.3?
u
Let r = 1/998 + -501/1996. Which is greater: 0.145 or r?
0.145
Suppose -70 = 4*m + 138. Is m at most as big as -53?
False
Let p(t) = -23*t**2 + 4*t - 7. Let f be p(-6). Let x = f - -9443/11. Let d be (-6)/27 + (-7)/9. Which is smaller: d or x?
d
Let z be 783/(-36)*(1 + -7*1). Let y = 130 - z. Which is greater: y or 16/5?
16/5
Let z be (-5)/((-180)/(-6364)) + (-6)/27. Is -177 not equal to z?
False
Let g = -14 - 19. Let l = -6 - g. Let u = l + -26.8. Is u less than -2/41?
False
Suppose 2*g = -g. Suppose -2*o = -6, 4*h + h + 3*o - 49 = 0. Let f be (h/(-36))/(2 + -4). Which is smaller: f or g?
g
Suppose 98*l - 107*l = 315. Which is greater: -33 or l?
-33
Let t = -641 + 640.5. Which is greater: t or -7/3?
t
Let u be ((-9850)/8)/5*(4 - 0). Let h be ((-210)/(-7))/6*2/u. Which is smaller: h or 0?
h
Let h be -3*1925/(-90) + 2/4. Let p = h + -65. Let x = 1.2 + -1. Is p not equal to x?
True
Suppose 17*a - 126 = 31*a. Which is bigger: a or -7?
-7
Let p = 20 + -33. Suppose 5*h - 36 = 14*h. Let d be 175/(-14) + 2/h. Does d = p?
True
Let f be -2 + 1 + 21 + 0. Suppose k = -4*a + f, 5*k - 4*a - 100 = -a. Do 21 and k have the same value?
False
Let o be 2/((-8)/(-6) + 1062/(-756)). Is 0.3 greater than o?
True
Suppose 4 + 8 = 4*a. Let j = a - 5. Let n = 408/7 + -59. Is n greater than j?
True
Let b be (-1 + (-64)/(-66))/(33/297). Which is smaller: b or -1?
-1
Let s = -1008/6887 + 6/97. Suppose 1 = -1735*a + 1734*a. Which is bigger: s or a?
s
Let q be -6 + 4 - (-426)/33. Let m = 4462/407 - q. Which is smaller: m or 1?
m
Let b be 3*((-56)/(-12) + -3). Let t = 4 - b. Let u be (-1)/(-3)*(-5)/65. Which is smaller: t or u?
t
Suppose -601 = 94*f + 1937. Is -105/4 > f?
True
Let l(x) = x**3 - 6*x**2 - 7*x - 4. Let w be l(7). Let r(m) = m + 4. Let d be r(w). Let n be d + ((-48)/(-21) - 2). Are 8 and n unequal?
True
Let j = 34 + -32. Suppose 0 = -2*b + j - 0. Which is greater: b or 12/7?
12/7
Let d = 1759 - 1759. Which is bigger: 134/7 or d?
134/7
Suppose -24 = -3*x - 2*u - u, 3*x + 6 = 3*u. Let s be ((-63)/4)/x - -4. Which is smaller: s or 0?
s
Let g be (1/(-2))/(14/(-12)). Suppose 10*b - 4 = -4. Which is greater: g or b?
g
Let l = -664/7 - -19277/203. Suppose 2692*c - 2686*c = -6. Which is greater: l or c?
l
Let q(o) = 26*o + 439. Let j be q(-19). Which is bigger: -62 or j?
j
Let j(n) = n**3 - 8*n**2 + 11*n - 13. Let a be j(6). Which is smaller: a or -35/2?
a
Let w = -358 - -336. Let o = 8 + -6. Suppose b + o*b + 69 = 0. Which is smaller: w or b?
b
Suppose 0 = -10*w + 5*w + 65. Suppose -5*c = i - w, -i = -2*c - c + 19. Is -7 less than or equal to i?
True
Let r(p) = -2*p + 11. Let w be -3 + (-6)/(-2) + -5. Let c be (-1 - -4)*w/(-3). Let i be r(c). Is i at most as big as 4/3?
True
Let w = -169/20 + 41/5. Which is smaller: 69 or w?
w
Let m = 0.5 - 2.5. Let x be (-7991)/(-59605) - 2/35. Which is smaller: x or m?
m
Suppose -5*w - 12 = -422. Let p = -329/4 + w. Which is smaller: p or -0.18?
p
Let g(i) = 0*i + 5*i**2 + 2*i + i - i**3 - 7 - 2*i. Let b be g(5). Suppose -3*c - 13 = 4*r + 2*c, 4*r = 3*c - 5. Is b at most r?
True
Suppose -7*k + 6*k - 19 = 4*b, -b - 3*k + 9 = 0. Let c(w) = w**2. Let n(j) = 3*j**2 - 7*j - 6. Let z(h) = 4*c(h) - n(h). Let y be z(b). Is 5/8 != y?
True
Let c(p) be the second derivative of p**4/6 - 5*p**3/3 + 10*p**2 - 11*p. Let y be c(7). Which is smaller: y or 47?
47
Suppose 4*s = -p - 7 + 2, -5 = 5*p. Let k = -4 - 9. Are s and k non-equal?
True
Let f = -37 - -9. Let m = -29 - f. Is m <= 0.3?
True
Let k(s) = 29*s**2 + 59*s. Let o be k(-2). Which is smaller: o or -17/5?
-17/5
Let s be (-3 + 52/12)/(4/(-6)). Let f be 4 + 54*-1*(3 + s). Is f greater than -51?
True
Let j = -599/180 - -1/36. Is -2 bigger than j?
True
Let h = 121 - 845/7. Let s = 0.0332 + 0.0468. Which is bigger: h or s?
h
Let a(u) = u**2 + 14*u + 27. Let c(y) = 3*y**2 + 43*y + 80. Let s(g) = -11*a(g) + 4*c(g). Let z be s(-17). Do -0.4 and z have the same value?
False
Let n be (-7 - 5870/25) + (-20)/(-25). Which is bigger: -242 or n?
n
Suppose o - 5*o = 3*h + 4, 0 = 3*h - 4*o - 4. Suppose -3*w + 3 + h = 0. Which is greater: -1/59 or w?
w
Let z be (-4)/(-6)*(10 - 7). Suppose 2*i = -z*p + 8, p - 6 = -2*i + 1. Is p bigger than 16/7?
False
Suppose -281 = -4*x + 347. Suppose -3*q - 2*r - 3*r - 133 = 0, -3*q + r - x = 0. Is -52 >= q?
False
Suppose w + 2*u = 2*w, 4*u = -4*w. Let b = -625/5019 - -7/239. Are b and w nonequal?
True
Let m(c) = 2*c**3 - 13*c**2 - 8*c - 7. Let j be m(7). Let p be (j - (4 - 8))/2. Which is bigger: -4 or p?
-4
Let v = 9 + -3. Suppose -j = d, -4*d + v*d + 3 = j. Is d >= -1?
True
Suppose m + 4 = -3*z, -16 = z - 5*m + 12. Let a be z*(0 + 8/(-12)). Are a and 3/2 unequal?
True
Let o = -36 - -71. Let h = -35 + o. Is -2/21 >= h?
False
Let q = 21.9 - 23. Let h = q - -0.1. Let a = 949 - 950. Is a at least as big as h?
True
Suppose 2*z - 5*z - 5*d = 19, -4*d - 10 = 5*z. Suppose -z*s + 4 = -5*a, 6*a - a = -4*s + 8. Which is smaller: 1/11 or a?
a
Let r = -0.53 - -1.03. Is -0.1 < r?
True
Let j = 6 - 4. Suppose z + 4*w = 45, -j*w - 140 = -4*z + 2*w. Let f be (-14)/(-28) - z/(-22). Is f smaller than 3?
True
Let o = -947893/101 - -9385. Which is greater: 1 or o?
1
Let q(a) = -7*a - 3. Let p be q(-9). Let c be p/(-33) + 2/(-11). Let i be 1/(2 - (c + 3)). Which is bigger: i or 0?
i
Suppose -10 = -3*q + 6*f - 2*f, -4*f = 5*q + 26. Let p = -11553/5 + 2370. Let w = -60 + p. Which is smaller: w or q?
q
Suppose 2*n = -o - n - 4, -5*o + 18 = -4*n. Let p(r) = -2 + 1 - 463*r + 470*r. Let b be p(o). Is 13 != b?
False
Let w = 261 + -261.2. Are 211 and w equal?
False
Let a = 349/30 + -71/6. Let g = -2 - -1. Do g and a have different values?
True
Suppose 3*r + 2*l = 4, -6*r - 3*l = -r - 8. Let b = -1/113 - -1811/339. Which is greater: b or r?
b
Let q = 34/7 + -219/35. Is q bigger than 6?
False
Suppose 2*j + 10 = 4. Let a be (j - -2)*-1*0. Suppose a = k + 4 - 2. Is k at least as big as 2?
False
Let d = -77 + 76.723. Is 1/4 smaller than d?
False
Suppose -189 = -3*m + 285. Suppose -6*k - m = 58. Do k and -36 have the same value?
True
Let g be 711 - 0 - 0*5/(-35). Does 711 = g?
True
Let g be (-30)/(-8)*264/110. Are g and -7 nonequal?
True
Let w(p) = -10*p - 9. Let y be w(5). Let a = -58 - y. Which is smaller: a or 1/5?
1/5
Let n = 12 + 3. Suppose 9*w - 123 - 12 = 0. Let j = n - w. Is j smaller than -1/15?
False
Suppose -3*s + 3 + 6 = 0. Suppose -s*x = -8*x + 20. Which is greater: 3 or x?
x
Let c = -0.61 + -1.04. Let p = c - 4.35. Which is smaller: 3/4 or p?
p
Suppose 10*w + 32 = 2*w. Let o = 581/2 + -209. Let z = -84 + o. Is z not equal to w?
True
Let m = 35 + -35. Is m smaller than 1/20?
True
Let w = -28.27 - -9.28. Let n = w - -18.1. Let s = n + -0.11. Is s != 2/5?
True
Suppose -2*t + t - 11 = 4*v, 5*t + 3*v = -21. Which is greater: t or 2/3?
2/3
Let d = 7.6 - 7.9. Suppose -5*l - 4 = 6, -3*l = p. Which is greater: d or p?
p
Let p(x) = 6*x**2 + 2. Let k be p(-2). Suppose -4*u + 53 = -w, -3*u = -5*w - 10 - 17. Let f be (-6 - u)*15/(-12). Which is greater: k or f?
k
Let l = 68310/17 + -4020. Does l = -1?
False
Let v = -0.18 - 0.02. Let z = -7.22 + 7.2. Is z greater than v?
True
Let t = 56 + -54. Let r = 10 + -6. Let c be t/(-15)*6/r. Which is smaller: c or 1?
c
Let l = 0.007 - -0.043. Which is smaller: l or -11?
-11
Let y = -3 - -6. Suppose -y*u + 0*u = -18. Suppose 5*z = 4*z + 5. Is u at least z?
True
Let z = -41 + 47. Let m(o) = -o**2 + 2*o. Let t be m(z). Do t and -24 have the same value?
True
Let h be ((8/(-208))/((-4)/(-8)))/(-1). Which is bigger: 0 or h?
h
Let t be