 q?
True
Suppose -2*y - 33 = -3*l, -l = -0*y + 3*y. Does l = 70/9?
False
Let s = -2/1399 + -2732/46167. Which is greater: s or 1?
1
Let y be 1*-6*2/3. Let l(r) = r**2 - 3*r - 1. Let z be l(2). Is y at least as big as z?
False
Let l(v) = -v**2 + 3. Suppose -4*i = -3 + 15. Let a = i + 3. Let z be l(a). Is z at least as big as 3?
True
Let f be -2 - (-14 - (-3)/1). Are 9 and f equal?
True
Suppose 0*i = i. Which is smaller: -1 or i?
-1
Suppose 0 = 3*i - 18 + 15. Is i > 1/2?
True
Let l = -3/16 + -17/80. Let r = -2 + 1. Which is smaller: l or r?
r
Let g = 4 - 4.2. Which is bigger: 4/15 or g?
4/15
Let f be (0 - -5)*(1 - 0). Let g be f + (1 - 0)*-1. Suppose 4*i - 3*t = 13 + 6, 4*i + g*t = 12. Do i and 2 have different values?
True
Let d(y) be the second derivative of -y**4/12 + 3*y**3/2 - 9*y**2/2 - 4*y. Let l be d(8). Is l less than or equal to 1/5?
True
Suppose -5*z + 5 = 0, -2*z - 3*z = -4*g + 15. Which is bigger: g or 0.4?
g
Suppose 2*v + 15 = -5*o, -5*v + 4*o + 50 = -o. Suppose v*d + 6 - 17 = g, 4*g = -2*d. Which is bigger: g or -2/13?
-2/13
Let z = -85 + 70. Which is bigger: z or 2?
2
Let c be 38/(-10) - (0 + -3). Is -3 not equal to c?
True
Suppose 3*o + h = -56, 0 = -2*h - h + 3. Is -19 <= o?
True
Let j = -2 - -7. Let b(n) = -n**2 + 5*n - 1. Let h be b(j). Which is bigger: 5 or h?
5
Let j be 4/22 - 10422/330. Let t = j + 31. Which is smaller: -0.07 or t?
t
Let k be 2/(-5) + 16/(-10). Let q = 0 + 3. Let x be ((-2)/q)/(2/6). Are k and x equal?
True
Let x = 154 - 145.9. Let m = 8 - x. Is m at least as big as 0.7?
False
Let i = -10 - -6. Let c be (-5 - i) + 1/(-1). Which is smaller: -6/11 or c?
c
Let f be 1 + 1 + 44/(-16). Let t = -5/4 - f. Let m(h) = h**2 + 5*h - 1. Let g be m(-5). Which is smaller: t or g?
g
Let n be (5 + -2)*(-2)/(5 + 1). Suppose 2*j = 4*y - 346, -4*y - 680 = 4*j - 0*y. Let r = -1883/11 - j. Is n equal to r?
False
Let d(r) = r**2 + 9*r + 14. Let z be d(-7). Which is smaller: z or 3/10?
z
Suppose 3*m - 1 = 4*m. Suppose 0 = 2*a - h - 4, -3*h - 12 = -4*a. Suppose a = -0*w - 2*w - 2. Does m = w?
True
Let q = -1419/10 - -17847/130. Which is smaller: q or -6?
-6
Let g = 358/3157 + -20/77. Is g < -1?
False
Suppose -3*y + 8 = 5. Let d be 34/(-45) + y/5. Which is smaller: -1 or d?
-1
Let h = -0.2 - 9.8. Let u = 5.52 + 0.48. Let d = h + u. Which is smaller: d or -0.1?
d
Let a = -0.3 + 0. Let k = -4.7 + 5. Let c = k + a. Which is bigger: c or 1?
1
Suppose -h = 4*o - 4, 2*h - o = -5*o + 8. Is 2 smaller than h?
True
Let r = 9 + -5. Suppose -3*h + 3*d = 3, -r*h - 4 = 3*d - 5*d. Let a be (-5 + 3 - h)/(-6). Is -1 at least a?
False
Suppose -5*h + 0 = -2*t + 5, -3*h = 5*t - 28. Let s = -5 + t. Is -2/11 greater than s?
False
Let v(d) = -24*d. Let l be v(-2). Let h = l - 197/4. Which is bigger: 0 or h?
0
Let d(g) = g**3 + 11*g**2 + 8*g - 20. Let k be d(-10). Which is greater: k or 18?
18
Suppose -5*a - 8 = 2. Let c be 15/(-6) + a/4. Let k be (((-3)/(-5))/c)/1. Is -1 less than or equal to k?
True
Let v be (2/(-2))/(165/(-30)). Is v equal to 0?
False
Let i = 0 + 1. Let m = 4.972 - 0.072. Let c = 5 - m. Which is bigger: c or i?
i
Let b be 3/(-18) - 39/(-18). Suppose -b*q - 4*l - 2 = 0, 3*q + 4 = 4*q - 3*l. Let i be 34/168 - (-4)/(-14). Is q not equal to i?
True
Let n = 1.1 - 0.1. Suppose 0 = 3*b - 6 + 60. Let k be (-4)/b + 10/(-18). Which is bigger: k or n?
n
Suppose y + 20 = 3*k, y - 1 = -3*k + 3. Let a be 1 + 5/((-10)/y). Suppose 4*j = -j + a. Is j > 1?
False
Let p = 4 + -5. Let w = 0.2 + 5.8. Are w and p unequal?
True
Let f = -2/93 + -269/465. Let g = 316/5 + -63. Is f less than g?
True
Let z = -109/35 + 12/5. Which is bigger: -1 or z?
z
Suppose o + 4 = -0*o - u, o - 2*u = 2. Let h be (-3 - 1)*o/4. Is h less than or equal to 12/7?
False
Let i be (2/3)/(1/(-12)). Let r(n) be the second derivative of n**4/12 + 4*n**3/3 + n**2 - 2*n. Let q be r(i). Is 3 < q?
False
Suppose -35 = -3*c - 4*k, 5*k - 2 = -c + 17. Suppose c = -0*w + 3*w, 0 = -g + 3*w - 8. Let a be 12/(-9) + 1 - (0 - 1). Which is smaller: g or a?
a
Let d be (-6)/(-45)*-3 + (-6)/(-90). Which is greater: d or -0.2?
-0.2
Let d be (-5)/(-2)*(-84)/(-150). Which is bigger: d or 0?
d
Suppose -5*n = 1 - 1. Are n and -3/14 non-equal?
True
Let w = -30/7 + 141/28. Suppose 31 = 3*x - 5*i, -2*x = -5*x + 2*i + 16. Suppose 0*a = -x*a. Which is greater: a or w?
w
Let t = 6.5 - 5.5. Is 2.8 less than t?
False
Let c = -128/365 - -29779/19345. Let s = c - 4906/159. Let l = -30 - s. Do l and 0.5 have the same value?
False
Let r = 0.56 - 47.56. Which is smaller: r or -0.1?
r
Let h = -33 + 365/11. Let j be (-1)/2*(4 + -2). Let f(i) = -i**3 + i. Let n be f(j). Which is greater: h or n?
h
Suppose -2*v - 10 + 2 = 0. Is v < 3?
True
Let c(j) = j - 3. Let u(h) = -h + 1. Let t(z) = -c(z) - 2*u(z). Suppose 0 = -k - 2*k - 3. Let f be t(k). Which is bigger: 1 or f?
1
Let r be ((-12)/10)/((-2)/120). Let d be (r/20)/(3/(-10)). Let s be (-10)/15 + (-11)/d. Which is smaller: 2 or s?
s
Let l = -32 + 23. Which is smaller: 0.1 or l?
l
Let r be 1*2 + -4 + -1. Let y be (-2)/r + (-16)/42. Are -1 and y non-equal?
True
Suppose 0 = q + 6 - 2, -4*r + 4 = -q. Suppose -m - 4*m = -15. Let k = m + r. Is 5 at most as big as k?
False
Let y(f) = -f + 10. Let n be y(8). Suppose 1 + 1 = n*s. Let m = 2/427 + -872/3843. Which is smaller: s or m?
m
Let l = -1 + -1. Let u = -1 - l. Let m = -0.2 - -0.1. Which is smaller: m or u?
m
Let b = 0 - -1. Let u(k) = -4*k. Let z be u(-1). Let j be b/(-3)*6/z. Is j <= -1?
False
Let j be (-4)/(-6) - 7/(-21). Is 18/11 bigger than j?
True
Let g be (10/3)/((-8)/(-12)). Suppose g*o + 8 = 2*q, -5*o + 0 = -4*q + 16. Suppose o = -0*f + 2*f. Is f bigger than -1/5?
True
Suppose -3*d + 3 = -0*d + 3*w, -5*w = 4*d - 1. Suppose 0 = -4*f - d*r - 3 - 1, -5*f + r = 5. Which is greater: f or 1/4?
1/4
Let y(v) = -v**2 - 6*v - 7. Let b be y(-5). Is -2 greater than or equal to b?
True
Suppose -6 + 2 = -2*t. Let u be (158/(-20))/(2/4). Let h = 82/5 + u. Which is smaller: h or t?
h
Let b = 7.3 - -1.7. Let l = b + -12. Which is smaller: l or 2/7?
l
Suppose 5*w + 2*f + 0*f = 56, w + 2*f - 16 = 0. Let n = -16 + w. Let i be ((-4)/n)/(2/(-3)). Which is smaller: 0 or i?
i
Let u be (-14 + 12)/(4/22). Are u and -11 unequal?
False
Let l = -12 - -10. Suppose 4*j + 2*c - 12 = -0*c, -5*j - 4*c = -9. Let b be (j/2)/((-1)/l). Is b > 4?
True
Let z = -1740/11 - -158. Which is smaller: z or 0?
z
Let u be -2*((-2)/(-2))/(-2) - -14. Which is greater: u or 3?
u
Let r = 98 + -97. Let c = 0.5 + -0.3. Is r not equal to c?
True
Let g = 0.4 + 0.6. Let q = g + -1.5. Let o = -0.7 - q. Is o less than 1?
True
Let t = 60 - 59.2. Are t and -0.2 non-equal?
True
Let i = -0.11 + -0.19. Which is greater: 0 or i?
0
Suppose 65 = 2*t + 21. Suppose 2*l + 2*i + t = 0, -3*i - 2 = -2*l + 1. Are l and -6 nonequal?
False
Suppose 2 = -2*f - 0*f, -3*i = 4*f - 8. Suppose i*k + 2 + 14 = 0. Which is smaller: k or -2/5?
k
Suppose 2*n - 4*q - q - 15 = 0, -2*q - 35 = 5*n. Let x be (-6 - n)*(-1 - 9). Is 11 >= x?
True
Let b be (-2)/(-1) + -1 + -2. Let d be (-2)/b + (-6)/6. Which is smaller: d or -1/3?
-1/3
Suppose 3 + 2 = 5*i. Let q = -6.6 + 7. Which is smaller: i or q?
q
Suppose 70 = -4*f - 3*b - 7, f - b = -28. Which is greater: 1 or f?
1
Suppose z = -3*l - 3, 2*l = 2*z + 7*l + 10. Are -10 and z unequal?
True
Suppose -3*b = 17 - 17. Which is bigger: b or -1/7?
b
Suppose z - b + 13 = 2*b, -5*z = -b + 9. Is -2/57 smaller than z?
False
Suppose 0 = -4*j - 2*r - 8, -j + r = -0*j - 4. Which is smaller: j or 6/7?
j
Let n(r) = r**3 + 2*r**2 - 2. Let k be n(-2). Let b = 0 + k. Let z = 2/11 - 28/33. Is b at least as big as z?
False
Suppose -5*z + 17 = -22*z. Which is smaller: z or -10/17?
z
Suppose 4*a - 2*a = 14. Let l be a/6*(-4)/28. Let k = -0.2 - -1.2. Which is bigger: l or k?
k
Let i be (-2 - 14/(-4))*-12. Let m be ((-36)/(-30))/(i/(-20)). Which is greater: 2 or m?
2
Let b be (-2)/2 + 0 + 0. Let l = 5 - 0. Let i = -1 + l. Which is bigger: b or i?
i
Let l = -3.05 + 3. Suppose 0 = 5*y - 6*y - 1. Which is smaller: y or l?
y
Suppose 2*t - 58 = -8. Is t at most as big as -2?
False
Let x = -5.6 - -13.6. Is x equal to -1?
False
Suppose 0 = 2*c + 8 + 34. Let f be 62/c + (-6)/(-21). Does f = -1?
False
Suppose -5*z + 0 = 5, -2*z + 73 = 5*v. Is 15 greater than or equal to v?
True
Let u = -1.84 - -