al?
True
Let p be 3 - (5 - (-6)/(-3)). Let r be 4/(-24)*(-4 - p). Suppose 4 = 6*c - 2*c. Which is greater: r or c?
c
Let g be (-4)/(-9) + 4/(-12). Let r = -5 + 5. Which is smaller: r or g?
r
Let v = -35855 + 178209/5. Let g = v + 214. Is 1 < g?
False
Let d = 17 + -6. Let n = -14 + d. Is n > -4?
True
Suppose 3*s = 8*s. Suppose s*f = -4*f + 12. Suppose -k - 9 = f*l - 6*k, 4*k + 9 = -3*l. Is -3 bigger than l?
False
Let r = -363 + 362.797. Let u = 1.033 + r. Let d = -0.03 + u. Does -1/3 = d?
False
Let c(p) = p**3 - 3*p**2 + 2. Let g be (-1)/(-3) - (-15)/9. Let n be (g/(-6))/((-2)/12). Let d be c(n). Does d = -3?
False
Let s = -6 + 11. Let l(c) = c**2 + 7 + 3 - 1 - 6*c - 3. Let w be l(s). Is 2/3 > w?
False
Let i = 4 + -3. Suppose 4*m = 3*d - 0*d + 6, -3*d - 4*m = -18. Suppose i = d*r - r. Is -1 greater than r?
False
Let a be (-2)/(3*(-2)/(-39)). Let i(c) = 2*c**2 - 21*c - 2. Let q be i(10). Which is smaller: q or a?
a
Suppose -3*i = -2*f + 12, -6*f + 9*f - 18 = -2*i. Let t(s) = -s**3 + 5*s**2 - 4*s + 4. Let j be t(4). Which is smaller: j or f?
j
Suppose -w = 2 - 3. Let n = -38 - -455/12. Do n and w have different values?
True
Let l be (2 - -2)/(2/(-12)). Let c = -1/666 - -8159/333. Let r = c + l. Which is greater: 2 or r?
2
Suppose j - 9 = -2*t, 3*j + 8 = t - 0*t. Suppose 32 = 5*x + 7, 4*r + 2*x + 2 = 0. Are r and j equal?
False
Let p be -2 - (-3 - (-2 - 0)). Let y be (-172)/(-372) - (1 + p). Let u = y + -4/31. Which is greater: u or -1?
u
Let n = -4 + 6. Suppose -p + 2*p = -2*z - 4, 0 = 3*z - n*p + 6. Let b = z + 2. Is -1 less than or equal to b?
True
Let h be 452/(-120) - 9/(-15). Let v = h + 3. Is 0.1 at most v?
False
Let u(r) = r**3 + 5*r**2 + 5*r + 3. Let y be u(-3). Let k be (-2 - -6)*y/(-56). Is k equal to -1?
False
Let c(m) = 5*m. Let u be c(-1). Let a = 7 + u. Suppose -3*p = a*p. Which is smaller: p or 1?
p
Suppose 20 = -5*x, 2*a = -0*x + 4*x + 48. Let j be (19/a + -1)*-4. Let v be (-10 + 10)/((-3)/(-3)). Is j greater than or equal to v?
False
Suppose -4*c + 2*h + 36 = 0, 2*h + 16 = 3*c - 12. Let l = c + -7. Which is smaller: l or 3/2?
l
Suppose -3*c + 200 = 5*c. Which is greater: 26 or c?
26
Let h be 9/18*8/186. Which is greater: 0 or h?
h
Let y be 4/14 + 540/70. Let b be ((-28)/y)/7*0. Which is bigger: b or 1/9?
1/9
Let m = 62 + -307/5. Do m and 0 have the same value?
False
Suppose 5*d + 5*p - 10 = -0*d, -4*p + 8 = -4*d. Let c be (-114)/26*1/5. Let a = 14/13 + c. Is a >= d?
True
Let p = 1207/161 + -54/7. Is 0 > p?
True
Suppose -4*u = -u - 9. Suppose 2*t = -8, -8 = -u*c + 5*t - 0. Let l be -4 - c - 8/(-2). Is 5 >= l?
True
Let o = -3 + 7. Let w = 3 - o. Which is greater: 2 or w?
2
Let o(g) = -3*g + 2. Let f be o(2). Let i(c) = c**2 + 4*c + 4. Let p be i(f). Let d be 21/6*(-4)/14*-2. Are d and p unequal?
True
Let u = 0 + 5. Let l = u + -5.09. Let a = 1.2 - 0.2. Which is bigger: l or a?
a
Let s be (-44)/(-20) + -2 + 1. Let p = -56/55 + s. Is p at least as big as 0?
True
Let b = 36/515 - -611053/3605. Let m = -169 + b. Suppose r + 7 = 4*o, 2*r - 3*o = -0*r - 4. Which is greater: r or m?
r
Suppose 0 = -x + 3*c + 4, 0*x + 3*c = 2*x - 5. Is 1/3 >= x?
False
Let q = -11 - -16. Is 0 greater than q?
False
Let d = -0.18 + 0.28. Do -46 and d have the same value?
False
Let y = -0.34 - -15.34. Let l = 14.1 - y. Is l at most as big as 0.1?
True
Suppose -16 = 3*r - 13, 3*r + 6 = 3*d. Let m be ((-70)/(-4))/(2/(-4)). Let z be ((-2)/m)/((-2)/(-10)). Which is greater: z or d?
d
Let r be ((-6)/4)/((-2)/(-4)). Let m be 8 + (-2 - r - 3). Suppose 0 = 2*o + 3*a - 12, -2*a + 30 = 5*o + 3*a. Are o and m non-equal?
False
Suppose 5*b + 3*h = -44, 5*h - 11 = 2*b + 19. Let x = 10 + b. Suppose x*q = 5*q. Is 3/7 smaller than q?
False
Let b be (72/60)/((-62)/40 - -2). Is 3 not equal to b?
True
Let v = -5/11 - -67/99. Is 2/13 smaller than v?
True
Suppose 4 = -2*p - 6, -4*p - 44 = -4*n. Let c(g) = 2*g - 9. Let x be c(n). Let w be (-1)/x + 2/(-12). Which is smaller: 1/4 or w?
w
Suppose 12 = 5*v + 2. Let l = -2 + v. Is l less than 0?
False
Let o(p) = -p**3 + 4*p**2 - p + 4. Let u be o(4). Suppose -2*i = -u - 2. Let d be -1 + (2 + 0)/(-2). Is d smaller than i?
True
Let f = 4 + 0. Suppose f*t + 38 = -2. Let y be (-2)/(-8) - t/(-8). Which is smaller: y or -1/6?
y
Suppose 0*w = 2*w - 4*l - 20, -4*w + 3*l + 25 = 0. Suppose c = 2*c + q + 1, -2*c + 2 = w*q. Is c smaller than -2?
True
Let j(o) = -o**3 - o. Let v be j(-3). Let r be (-6)/(-4)*100/v. Let w = 0.09 + 0.01. Are r and w nonequal?
True
Let c = -5 - -18. Let f be -1 + c/3 + -4. Are -2 and f nonequal?
True
Let h(j) = -j + 17. Let t be h(5). Are t and 9 unequal?
True
Suppose 10*n = 8*n + 10. Suppose n*b - 4*b = 0. Which is bigger: b or 5/6?
5/6
Let i = -21350 + 2028219/95. Let v = i + 10/19. Let h = -1518 + 1518. Is h at most v?
True
Let x(y) = y**3 + 15*y**2 - 16*y - 4. Let r be x(-16). Let p be (-70)/(-18) - (0 - r). Is 1 > p?
True
Let s = 1/19 + 29/171. Let c be 4/10 + 2/(-5). Is c at least as big as s?
False
Suppose -3*m = -5*m. Which is smaller: m or -1?
-1
Let g = 37 + -149/4. Let c be 3 + 5/(-5)*3. Is g less than c?
True
Suppose d - 4*i - 31 = -4*d, 5*d = 3*i + 27. Suppose 4 = r - d. Are r and 7 equal?
True
Let h = 1.09 - -0.21. Let v = 0.3 - h. Let g = v + 1. Does g = 0?
True
Let a = 0.08 + 12.92. Let g = a + -8. Which is bigger: g or 0?
g
Suppose i - 4*z + 8 = 0, i - 10 = -4*i - 5*z. Let m be (1/(-4))/(105/24). Which is smaller: m or i?
m
Let m = -182/5 + 1294/35. Which is smaller: m or -0.06?
-0.06
Let k be 1/1*(-18)/(-9). Suppose 5*j - s - 27 = 0, 2*j - 4 - 2 = k*s. Let l be 9/j*8/66. Which is bigger: l or -1?
l
Let h be (-2)/(-10) + (-138)/(-10). Let p(x) = 7*x + 13. Let y be p(0). Is y <= h?
True
Let x(k) = -2*k - 12. Let s be x(-8). Suppose -3*i + 4*h = -4 - 4, -2*i - 2*h - s = 0. Does 2 = i?
False
Suppose 0 = u + 4 - 5. Let g be (-2)/(-1*(3 - u)). Are -1/4 and g non-equal?
True
Let v = -167 + 2003/12. Which is greater: 0.2 or v?
0.2
Let a = -76 + 64. Which is bigger: -4 or a?
-4
Let y = 4151/24 - 173. Is y at least 0?
False
Let j(o) = -o**3 + 3*o**2 - 4*o + 3. Let t be j(2). Which is bigger: t or -0.24?
-0.24
Let s be (0 - (-2 - -2))/(-1). Let t = -5/71 + -8008/213. Let k = t + 38. Which is bigger: k or s?
k
Let c(i) be the first derivative of -i**3/3 + 3*i**2/2 + 2*i + 2. Let y be c(3). Which is smaller: y or 0?
0
Let b be 1 + -2 + (2 - 4). Is b at most 2/7?
True
Let d be 75/27 - 3 - 34/(-72). Let r = 2 - 3. Which is smaller: d or r?
r
Suppose 2*u - 6*u - 5*q + 33 = 0, -5*u = -q - 34. Which is smaller: 6 or u?
6
Let l = 10 - 73. Which is greater: -62 or l?
-62
Let v(c) = -c - 1. Let k be (-3)/1 + 2 - 0. Let b be v(k). Are b and 1/4 equal?
False
Let h be ((-9)/6 - -2)*2. Let j be h + -1 - 0 - -1. Is j at most as big as -1/5?
False
Let r = 5 - 2. Suppose 195 = -w - 4*s, r*s + 641 - 101 = -3*w. Let b = w - -1923/11. Are 1 and b non-equal?
True
Let s = -152.035 + 152. Which is smaller: s or -0.1?
-0.1
Let c = -1 - -5. Suppose -2*n = -c - 0. Suppose -3*j + 1 = -n. Which is smaller: 2 or j?
j
Suppose 0*h = -h + 4. Suppose -c = -h*c. Let t = -42 - -211/5. Which is greater: c or t?
t
Suppose 2*w + 12 = -2*w. Let u = -4 - w. Let x = -857/513 + 2/513. Which is bigger: u or x?
u
Let v be 7/21 + (-2)/6. Let m be 3/3 - (0 + v). Do m and 0.1 have the same value?
False
Let l be 4/(-14) - 284/(-14). Suppose i = -6*z + 2*z + 21, 5*z = 5*i + l. Suppose -i = -c + 2. Which is bigger: c or 4?
4
Suppose 23*r - 21*r + 28 = 0. Which is greater: r or -13?
-13
Let p be (4/(-10))/(9/15). Suppose -4*w - 3*q = -0 + 9, 3*w - 2*q - 6 = 0. Is w greater than or equal to p?
True
Let w = -4 + 2. Is -3/2 at least w?
True
Let i(k) = -k + 1. Let f be i(-2). Is f at most 0?
False
Suppose 0 = -5*v - 9*l + 12*l + 5, -l = 4*v + 13. Let m(a) = -a**3 - a**2 + 2*a. Let o be m(-2). Which is bigger: v or o?
o
Suppose -3*t + 2*z = -8*t + 16, -4*z + 4 = 3*t. Suppose 0 = t*x - 3*c + c - 72, -32 = -x + 4*c. Which is smaller: 15 or x?
15
Suppose -2*a + 6 + 0 = 0. Suppose -5*n - q + 11 = 0, -a*n - 2*n + q = -19. Let f be 2 - (n/(-1))/(-3). Which is smaller: 0.2 or f?
0.2
Let d = -1 - -1. Let z = 2954/5 + -591. Which is smaller: z or d?
z
Let m be (-40)/(-5) - (2 + -2). Let d = 0.5 - 0.3. Which is smaller: d or m?
d
Suppose -11*t - 5 = -6*t. Which is bigger: t 