 s?
False
Suppose 2*v + 4*p = -2*v, 0 = -4*p - 8. Suppose -z + v = -0*z. Suppose -13 = -y + 3*x, y + 3*x = -7 - 4. Is z smaller than y?
False
Let o = -8 + 8. Suppose o = -3*n - 30 + 183. Let b be n/(-60) - 2/(-8). Is b greater than -1?
True
Suppose 2*w - 24 = -5*u + 3*w, 5*u = -w + 16. Suppose -v - 16 = l + u*v, 5*v = -2*l - 12. Suppose -y = -5*y - l*t + 12, -t + 3 = -y. Which is greater: 2 or y?
2
Let k = 144 + -1006/7. Is 4/5 greater than k?
True
Let p = -0.7 - -4.7. Let d = p - 3.4. Let o = d + 1.4. Is -1/4 greater than or equal to o?
False
Let k = -74/345 + 1/69. Which is smaller: 0 or k?
k
Suppose 5 = -5*c, -2*u - 13 = -6*u + 5*c. Do u and 2 have the same value?
True
Let q(u) = u**3 - 6*u**2 + 6*u + 2. Let v be q(3). Which is smaller: 0 or v?
v
Let v be (2/6)/(1/(-6)). Which is greater: v or -7?
v
Let n = 46 - 22. Let l be 5/(-20) - (-14)/n. Is 0 greater than or equal to l?
False
Let n = 1 + 3. Suppose 3*l - n = -l. Let c(g) = -g**3 + 4*g**2 - g + 5. Let r be c(4). Is l >= r?
True
Let u(l) = l**3 + 9*l**2 - 11*l - 9. Let w be u(-10). Which is greater: 8/9 or w?
w
Let k = 0.1 + -0.11. Let i = -730.99 + 734. Let m = k + i. Is 0 bigger than m?
False
Let d(s) = s**3 - 5*s**2 + 2*s - 11. Let h be d(5). Let g be (14/(-126))/(h/3). Is 1 less than or equal to g?
False
Let r be (2 + 14)/(1 + 10/(-5)). Is -17 at most r?
True
Let l = 0.1 + 0.1. Let s = 0.2 - l. Let t = s + 0.1. Is 1/3 equal to t?
False
Let k be (1 - 2) + -1 + (-34)/(-18). Which is smaller: k or 1?
k
Let y = 25 + -25.9. Are y and 2/5 non-equal?
True
Let z = 3.32 - 0.42. Let f = -4 - -7. Let l = f - z. Which is smaller: -1 or l?
-1
Let c(q) = q**2 - 7*q - 8. Let p be c(8). Let a = p - -2. Suppose -2 = -z - 0. Is a greater than z?
False
Suppose 0 = -0*w - 5*w - 5*d, -1 = w + 2*d. Which is bigger: -1/19 or w?
w
Suppose -4*n + 2*n = 4. Let o = -5 + 3. Is o not equal to n?
False
Suppose i - 4 - 18 = 0. Which is bigger: 23 or i?
23
Let l = -2.01 + 0.94. Let g = 0.07 + l. Does g = 4?
False
Let u be 1 + (-3 - 0 - -3). Let k be (-3)/(-3)*14/10. Is u > k?
False
Let n = -1.13 + 1.07. Is n >= 2/7?
False
Let y = 35 + -20. Let j = y + -15.3. Which is bigger: 1 or j?
1
Let x = -6 - -15. Let a be 1/x*75/(-10). Which is bigger: a or -2?
a
Suppose -4*z + 38 = 5*f, 3*f - 8 - 14 = -2*z. Let s be (28/(-8)*4)/2. Let v = f + s. Which is greater: -2/7 or v?
-2/7
Suppose -4*n = -5*y + 74, 5*n + 47 = 2*y + y. Is y not equal to 14?
False
Let l = -1.94 + -0.06. Suppose -2*o = -6 + 2. Suppose -o*t + 3 = t. Is t greater than l?
True
Let f = 1 - -1. Let g = 0.3 - 0.4. Is g greater than f?
False
Let z be (4/6)/((-4)/6). Let i = 0.16 - -0.04. Which is smaller: z or i?
z
Let m = 2/11 - 19/44. Which is bigger: m or 1/3?
1/3
Suppose 0 = -5*f - 2*u + 4, 2*f = -2*f + 3*u + 17. Is f less than or equal to 20/13?
False
Let j be 6 + -7 - (-7 + 1). Let m be (4/j)/(6/15). Suppose -3*f + s = -13, -8 - 1 = -f - m*s. Is 5 bigger than f?
False
Suppose -37 = 4*g - 13. Let o = 8 - 7. Which is smaller: g or o?
g
Let r = -2 - -4. Suppose -6 + r = -4*d. Which is smaller: d or -2/5?
-2/5
Let q = 7 + -6. Let o = -0.9 + q. Is 7 at most o?
False
Let k = -0.2 + 0.5. Let g = -19 + 20. Which is smaller: g or k?
k
Let v = 3870437641/1328 - 2914486. Let o = v + 1/83. Which is smaller: 0 or o?
0
Let i = 42 + -23. Let h = -28 + i. Is 1 smaller than h?
False
Let s = 1.2 + -2. Let p = s + 3.8. Do p and 2/7 have the same value?
False
Let v(s) = -s**3 + 37*s**2 - 35*s - 35. Let m be v(36). Which is bigger: m or 3/140?
m
Let f(q) = -q**3 + 9*q**2 + 8*q. Let k be f(10). Does k = -20?
True
Suppose g + 10 = 28. Do g and 18 have the same value?
True
Suppose -5*x - 10 = -10*x. Let m be (-3)/(-12)*x/4. Which is greater: m or -1?
m
Let v = -25/2 - -49/4. Is 0 at least v?
True
Let p be -2*-2*1/(-2). Is -1 less than p?
False
Suppose -5*t - 29 + 2 = -3*v, 3*t = 4*v - 14. Let b = 17 + -23. Are t and b non-equal?
False
Let y = -3 + 3. Suppose 4*q + 3*f - 20 + 3 = 0, 2*q - 5*f - 15 = 0. Suppose 5*i + s - 5*s - 6 = y, 7 = q*i - 3*s. Does 2 = i?
True
Suppose -4*n - 3 = -5*g, 4*g = -2*n - 3*n - 55. Is n at least -9?
True
Let s be (-1)/(-2) + (-279)/420. Let x = s + -3/35. Is -1 less than x?
True
Let h = -67 - -66. Which is smaller: 0.31 or h?
h
Let p = 492/2827 + 2/257. Which is bigger: p or 6?
6
Let r = -4 - -3.9. Which is smaller: -0.45 or r?
-0.45
Let w be -2*-5*(-4)/1100. Which is smaller: w or 0?
w
Let u be 4/(-15)*((-156)/(-8))/13. Is 1/22 bigger than u?
True
Let y = 7.12 + -7. Let c = -4 + 4.08. Let x = c + y. Is x at most as big as -0.1?
False
Let y = 7 - 7.3. Let z be (-2 - -5) + (-8)/3. Which is greater: y or z?
z
Let t = 20 + -19. Is t <= 2/5?
False
Let o be 6/(-27) - (-3 + 5/(-9)). Is o less than or equal to 2?
False
Let x(k) = -k**2 - 6*k - 3. Let a(m) = -5*m**2 - 31*m - 16. Let l(c) = 2*a(c) - 11*x(c). Let j be l(-3). Which is bigger: -1 or j?
-1
Suppose -3 = -2*y - h, h - 2 = 4*y - 5. Is 2/13 at least y?
False
Let n = 8 - 8. Suppose 0*z = -4*z + 20. Suppose 5*t + 9*d + z = 4*d, 0 = 2*t + 4*d + 8. Is t > n?
True
Let g = -6 + 8. Which is bigger: 0.03 or g?
g
Suppose v = 4*b + 1, -3*v + 2*b - 3 = -6. Are -1/48 and v non-equal?
True
Let h be (-2 - -3) + 39/(-27). Is h bigger than 1?
False
Let i = -195 - -194. Which is smaller: i or -93?
-93
Let w be -2*(-5)/60*38. Is w < 5?
False
Let t = 19 + -136/7. Let g be (4/(-6))/((-1)/3). Let b = g - 2. Which is bigger: b or t?
b
Let h = -1 - -2. Let r = 144 + -1007/7. Is h < r?
False
Let x = -20 - -19. Are x and -4/7 equal?
False
Let n(l) = l**2 - 4*l + 1. Let k be n(3). Let c be k/(1 + (-2)/1). Suppose 1 = -x + c*w, -2*x - 1 = -x - 3*w. Which is smaller: -3 or x?
-3
Let h be 3*((-16)/3)/(-4). Let r be (-14)/(-6) - h/12. Suppose -3*z + 4*u - 5 = -0*z, -r*z - 5*u = -12. Which is smaller: z or -1?
-1
Let c be 4/4 + 47*(-1)/6. Which is smaller: c or -7?
-7
Let u be 2/(-4)*(1 - 4). Suppose 4*a + 2*r = -2, -3*r = 5 - 2. Suppose -2*p + 5*p - 9 = a. Which is bigger: p or u?
p
Let c = -521/954 + -1/106. Is c greater than -1?
True
Suppose 3*r - 10 = 2*n - r, 2*r - 25 = 5*n. Which is smaller: n or -1?
n
Let b = -0.8 - -0.5. Suppose -d + 0 + 4 = c, 4*c = -d + 16. Suppose -w + 4*w = 2*v - 9, d = 5*v - 5*w - 15. Which is greater: v or b?
v
Let y(a) = -a**2 - 6*a + 6. Let o be y(-7). Which is smaller: 2/7 or o?
o
Let s = -191 + 192. Is s smaller than -2/573?
False
Let w = 65 + -92. Is w less than -1/3?
True
Let y be (-69)/(-297) + (-2)/(-9). Is y at least as big as 0?
True
Let l be 17/(-102) - 106/(-60). Is l smaller than 2?
True
Let x(b) = -b**2 - 6*b + 4. Let v be x(-5). Let u = v + -27. Let g be (u/10 + 2)*-1. Is g less than 0?
True
Let x(j) = j**2 - 7*j - 9. Let v(n) = -n + 2. Let d be v(-6). Let k be x(d). Is k equal to 1/3?
False
Let j = -1959 + 4017/2. Let z = -48 + j. Which is smaller: z or 3?
z
Let t = -67/5 + 13. Let u = 5.13 + -0.13. Let k = 4 - u. Is t greater than k?
True
Let k(f) = -f**2 + 14*f - 12. Let p be k(13). Let x be (-1 - p)*(-10)/20. Let y be x/(3/(18/(-21))). Which is greater: y or 1?
1
Let s = 36879/1015 - 2/3045. Is 36 at least as big as s?
False
Let y(d) = -d**2 + 3. Let n be y(0). Let g = 1 - -2. Is g greater than or equal to n?
True
Let k = -0.3 - -0.2. Suppose 0 = -t + 5. Let h be (t/(-30))/(4/6). Which is smaller: k or h?
h
Let h = 101 - 100. Is h greater than or equal to 1?
True
Let k = 11 + -22. Let d be 7 + -6 - (-2 + 2). Does d = k?
False
Let u = -12 - -8. Let x be u/(-14) - 30/21. Which is bigger: 0 or x?
0
Let p be ((-2)/12)/((-13)/39). Which is bigger: p or 2?
2
Let g = -1.45 + 0.05. Let u = g - -1.3. Let y = 0.1 - -0.9. Is y less than u?
False
Let m be (-57)/132 - 1/(-4). Suppose 0*i + 4*i = 4. Are m and i unequal?
True
Let o = 18 - 19.4. Let v = 0.5 + o. Let z = -1 - v. Is -0.1 greater than z?
False
Let o = -23 + 20. Let u = -1 + 3. Let a be 3*(u/3)/(-1). Which is smaller: a or o?
o
Suppose -4*w - n = 31 + 7, 5*w + n = -48. Let i = -5 - w. Let d be 3/i + (-3)/3. Is d at most 1?
True
Let q be (-137)/112 - 6/(-4). Let g = q + 1/112. Let n = -1.5 - 0.5. Which is greater: n or g?
g
Let x = -0.052 - 5.048. Let n = x + 5. Is 3 > n?
True
Let b(l) = -2*l. Let g be b(-2). Suppose -v - 2 = -g. Let d be 39/(-12) + v + 1. Which is smaller: d or 1?
d
Suppose -3*o + 31 = -4*r, 5*r + 2 + 8 = -2*o. L