aller: q or p?
p
Let v = 749 + -746. Do v and -16 have the same value?
False
Suppose 2*w + 18 = -2*n - 2*n, 5*w - 4*n = 11. Let r = w + 3. Let t be 6 + -2 + (-3)/6*7. Is t bigger than r?
False
Let w = -1591/8 - -199. Which is smaller: w or 1/5?
w
Let p = 6.6 + -63.6. Let w = p + 56.9. Which is smaller: w or -0.001?
w
Let y be (-6*(-8)/(-39960))/((-1)/3). Which is smaller: y or -1?
-1
Let g(d) = -d**3 + 22*d**2 - 21*d + 9. Let l be g(21). Suppose 0 = -2*o - l*o - 220. Does -22 = o?
False
Let v be ((-2)/(-6))/((-15)/(-5910)) + 3. Are 133 and v non-equal?
True
Suppose -2*x = 3*p + 3, 9*p = 3*x + 11*p + 2. Is 5/6 less than x?
False
Let m = 17 - 12. Suppose 5*r = w + 6*r + m, -4*r - 12 = 0. Let z be w/(-3)*(-15)/110. Which is smaller: -1 or z?
-1
Let w(j) = -j**3 + j**2 + 2*j. Let z be w(2). Let u = 39 + -11. Suppose z = -2*s - 8, -3*s + u = 4*l - s. Does l = 8?
False
Let d = 0.39 - 0.35. Let j(n) = -n**3 + n - 2. Let t be j(0). Which is greater: t or d?
d
Let n = -1.01 + 1.1. Let v = n + -0.09. Let d = -15 + 15.08. Which is smaller: d or v?
v
Let n be 2/2*(-14)/2. Suppose 4*k - 21 = l, 19*l + 2*k = 21*l + 24. Let t(g) = g**3 + 15*g**2 + 55*g + 2. Let z be t(l). Is z equal to n?
True
Let o = 14 + -41. Let k = -29 - o. Which is bigger: 0.06 or k?
0.06
Let c be 508/14 + (-4)/14. Suppose -9 = -12*m + 11*m + 4*u, -m = u - 9. Let q be 14*(c/16)/m. Which is greater: -2 or q?
q
Let z be -9 - (-32)/72*21. Is 195 bigger than z?
True
Let k(l) = -52*l - 304. Let v be k(-10). Which is greater: v or 217?
217
Let k = -961 - -993. Suppose -4*v = -4*b - 128, v - 5*b = 2*v - 26. Which is greater: k or v?
k
Let v(j) = j**3 - 2*j**2 - 5*j - 2. Let g be v(5). Let h = -49 + g. Which is smaller: -2/349 or h?
h
Let l be (2 - 2)/2 + 0/(-4). Let m be (((-16)/142)/(-4))/1. Is l less than or equal to m?
True
Suppose 3*s + 8 = 2*p, -p = -3*p - 5*s - 8. Which is smaller: p or -12/175?
-12/175
Let m = -9/71 - 567/568. Is m at most -1?
True
Let r = -49 - -154. Let n be r*(-2)/(-3) + -1. Let u be n/(-15) - (-4)/(-10). Are 2/5 and u equal?
False
Let a = 0.2 + -0.4. Let b = -0.015 + 40.415. Let w = b + -41. Which is smaller: w or a?
w
Suppose -4*v + 7 = 2*t - 5, 3*v - 9 = 4*t. Suppose -z = v*a - 24, -4 = -a + 5*z + 4. Let g be (169/(-39))/(a/6). Which is smaller: g or -2?
g
Let l be (-8)/42 + (-27)/(891/22). Suppose c = -c + 2. Let q = 1 + c. Which is smaller: q or l?
l
Let b be 2/4 - 14/(-4). Suppose 9 = b*i - 3. Suppose -i*q - 2*q = -55. Is q > 10?
True
Suppose 2 = -r + u + 23, 3*r + u - 51 = 0. Which is greater: 1 or r?
r
Suppose 9 = -5*w + 4*s, -5*s + 5 = 4*w + 4. Let b be (1 - 9) + 0 + w. Let i be ((-6)/9)/((-2)/b). Which is smaller: i or -2?
i
Let k = -289 + 291. Let h = 0.46 - 22.46. Which is smaller: k or h?
h
Let p = 86/217 + 89277/868. Does 102 = p?
False
Let z = -3.3 - -3. Let i = z - -0.2. Let u = -880.91 + 881. Is u >= i?
True
Suppose q = 3*q + 5*u + 21, 0 = -5*q + 3*u - 6. Suppose 5*o = -27 + 77. Let j be (4 - 5) + o/(-8). Which is bigger: q or j?
j
Let h be ((-2)/(-12))/(9/6). Let o = -13 + -1. Let a be 9/(-72) - o/(-16). Are a and h non-equal?
True
Let z = 14.9 + 81.1. Let l = z - 94. Which is smaller: -0.34 or l?
-0.34
Let i(h) = -h**3 + 9*h**2 - 7*h - 4. Let w = -23 - -31. Let q be i(w). Is 3 greater than q?
False
Let t be (-8 - -6) + 4 + 0. Suppose -3*j - 4*l + 69 = 2*j, -3*j + t*l + 37 = 0. Let v = j + -14. Is -1 greater than v?
False
Let m be (-18)/14 + (-8)/(-28). Let f be m + 4 - (-15)/(-5). Suppose f = 2*l + 19 - 7. Which is greater: l or -7?
l
Let d = 1188 + -1185. Let t = -2 + 4. Let v = 2 - t. Is d less than or equal to v?
False
Let w = 25 - 20. Let a be ((-8)/(-28))/(w/35). Suppose 0*f - a*s = 2*f - 38, 5*f - 97 = -4*s. Which is bigger: 20 or f?
f
Let c(v) = -2*v**2 - 14*v + 8. Let g be c(-8). Suppose 5*o + 0*o + s = -38, 0 = 2*o + 4*s + 26. Is o greater than g?
True
Let l(c) be the third derivative of 2*c**5/15 - c**4/12 - c**3/6 - 14*c**2. Let f be l(1). Are f and 3 nonequal?
True
Let y(d) = d**2 - 7*d + 9. Let r be y(5). Let i = r - -7. Are 8 and i unequal?
True
Let f = 220 + -220. Is f less than 4/147?
True
Let a be 0/(-10 - -3 - -3). Let q = -0.15 + 0.2. Let o = -0.35 - q. Is a equal to o?
False
Let r(l) = l**2 - 8*l - 4. Let p = -14 - -20. Let u be r(p). Let c be 4*(140/u)/(-5). Is 7 < c?
False
Let k = 99 - 108. Let p = 6 + -4. Let j be p/(-1) - (4 - -2). Are k and j equal?
False
Let b be ((-3)/186)/((-6)/(48/(-10))). Are b and 1 equal?
False
Let k be (7/21)/(2/234). Suppose 4*n - b + 156 = 0, b = -n + 2*b - k. Let q be -2*2 - 182/n. Is 1 at most q?
False
Let m = -324 + 316.44. Let d = -0.56 - m. Let z = 0.1 + -1.1. Which is greater: d or z?
d
Let c be (-8)/(-2) - (8 - 6). Suppose 20 = c*k - 0. Let d be k/30 + 4/18. Is 0 greater than d?
False
Let d(f) = f**2 + 37*f + 192. Let r be d(-8). Is r less than -49?
False
Let z be ((-5)/2)/((-477)/(-106)). Which is greater: -1/12 or z?
-1/12
Let b be (-9)/14*16/24. Which is bigger: b or -1?
b
Let l be (-12)/(-14) + 1 + -2. Let u = -1.05 - -1.3. Let d = u + -0.35. Is l > d?
False
Let a = 0.6 - 1.4. Let q = -3.8 - a. Which is bigger: q or -8?
q
Suppose 32*r + 46 = 34*r. Let t = r - 26. Does t = -4?
False
Suppose 5 = 2*d + z, 4*d = 3*z + 26 - 1. Suppose 0*y - d*y - 44 = 0. Let o be (((-48)/10)/2)/(3/15). Which is greater: o or y?
y
Suppose 3*t - 4*t - 5*o + 79 = 0, -3*t + 197 = 5*o. Suppose 0*y = -4*y - 20, 73 = r - 3*y. Which is smaller: t or r?
r
Let p be 1/(-1*(-1 + 2)). Let u = -49 + 55. Let n be (-4)/u*(-30)/(-4). Are p and n unequal?
True
Suppose -2*y = -5*x - 190, 3*x + 114 = 6*y - 9*y. Is -189/5 at least as big as x?
True
Let h(n) = n - 1. Let y be 2/10 + (-21)/5. Let p(k) = k**2 - k - 10. Let m(b) = y*h(b) - p(b). Let j be m(-6). Do -4 and j have the same value?
True
Suppose -4*j - 5 = -5*o, 0 = 3*j - j + 2*o + 16. Which is smaller: j or -63/11?
-63/11
Let d(b) = b**3 + 10*b**2 + 32*b - 27. Let z be d(-8). Is -773/5 bigger than z?
True
Let i = 31.1 + -31.2. Do -135 and i have the same value?
False
Suppose 48 = d + 3*d. Suppose -2*o - 3*l + d = 2, 4*o = 4*l. Let c be (-20)/o*(-1)/2. Is c greater than or equal to 2?
True
Suppose 0 = 4*s - w - 2, 3*w - 7*w = s - 9. Let k(d) = -3*d**2 + 3*d - 1. Let a be k(s). Suppose -3*b + 3 = -3. Is a > b?
False
Let m(k) = -6*k**2 - 10*k - 10. Let x be m(9). Let v = -24025/41 - x. Which is bigger: v or 0?
v
Suppose -28 = -3*y - w, 3*w + 2*w = -y + 28. Let b(a) = 2*a**3 - 17*a**2 + 7*a + 5. Let s be b(y). Which is greater: -0.7 or s?
-0.7
Let d be (-9)/(-2)*(0 + -2). Let z(v) = -1 - 1 - 9*v - v**2 - 2 - 2. Let b be z(d). Which is bigger: b or 1?
1
Let p be -126 - 5 - (2 + 0). Let r = p + 929/7. Is r less than or equal to -20?
False
Let s(x) = -232*x. Let f(g) = g**3 - 4*g**2 - 5*g + 1. Let t be f(5). Let k be s(t). Let d be (-1)/(-2) + 100/k. Which is greater: d or 1?
1
Suppose 0 = 3*i - 4*s + 84, -4*i + 3*s - 28 = 77. Is i at least as big as 5?
False
Let x = 11 + 1. Let z be (-3)/x + 4/(-48). Let k = -21 - -20. Which is greater: z or k?
z
Let t be (-1)/4 + 527/(-68). Let j be ((-12)/18)/(t/(-12)). Is -2/5 less than j?
False
Let r = -225 - -224. Which is smaller: r or -2/519?
r
Let a = 891 + -1016. Which is smaller: -2 or a?
a
Let i = -0.07 - -0.08. Let f = i + 0.06. Suppose n + 3*w + 7 = 0, -n - 1 - 10 = 5*w. Is n at most as big as f?
True
Let v = -31 - -41. Suppose 2*p + k + 0*k = v, 0 = -p - 4*k + 19. Let b = 6 + -4. Is p not equal to b?
True
Let u be 9/3*8/12. Suppose -i + 2 = -u. Let y be (3 - 1)*i/(-16). Which is smaller: y or -1/3?
y
Let t(v) = v**2 - 4. Suppose 15 = 12*d - 7*d. Let z be t(d). Which is smaller: z or 2?
2
Let v = -1.01 + 1.21. Suppose 5 = -4*c - 3. Which is smaller: c or v?
c
Let v be (-3)/(42/4) + 8007/119. Which is smaller: v or 66?
66
Suppose -5*l - 7*h + 10*h = -365, 5*l - 365 = -h. Which is greater: l or 72?
l
Suppose 0 = 5*a - 9 - 16. Let r(i) = i + 4. Let h be r(a). Let o be 6 + 0 - ((-6 - -1) + 4). Is h smaller than o?
False
Let r(g) = -3*g + 4*g + 1 - 2. Let w be r(2). Let c be 1/(-2)*10 + (-548)/(-108). Does c = w?
False
Let c(h) = -19*h - 223. Let i be c(-12). Which is smaller: i or 7?
i
Let l = 33 + -35. Let j be ((-1)/l)/(6/12). Which is bigger: 3 or j?
3
Let g be (-2)/(-40)*(-5 - -13). Let c = 0.41 + -0.01. Let h = c - 0.2. Whic