
False
Suppose -2*u + 4 = -0*u. Suppose 20 = -5*a + 3*t, a + 2*a + 4*t = 17. Let j = a + 4. Which is smaller: u or j?
u
Suppose -2*z = 2 + 8. Let h = z + 0. Which is bigger: -6 or h?
h
Let u = -6.1 - -6. Is u != 0.1?
True
Suppose 0 = 5*j - g - 19, 22 = 4*j + 5*g + 1. Suppose j = -6*r + 10*r. Does r = 4?
False
Let a = -24 - -71/3. Let b = 0.2 + -2.2. Does a = b?
False
Let i be 6/1 + (-2)/1. Suppose -5*y + 8 - 23 = 0. Let n = y + i. Is 2 greater than n?
True
Let m = -0.02 - -3.02. Let x = 5 - m. Let l = 2 - x. Which is greater: -6 or l?
l
Suppose -5*j + 1150 = 4*l, 920 = 4*j + 2*l + 2*l. Suppose p - 7 = -r - 49, -5*p + j = -5*r. Let q = r + 175/4. Is 2 at most q?
False
Suppose -3*v - 3*n - 43 = -8*n, 0 = 2*v + n + 7. Do v and -4 have different values?
True
Suppose -w - 2*u = 6, -2*u + 14 = 3*w - 4*u. Suppose -5*l + 0*i + 2*i = -w, l + 3*i = -3. Are -2/15 and l equal?
False
Let t = -2 + -0.9. Let s = t + -1.1. Which is bigger: -3 or s?
-3
Suppose -3*s + 6*s = 9. Let h(a) = 4*a - s*a + 0 - 4. Let v be h(4). Is 1 > v?
True
Let m be 2/7 - 16/(-42). Suppose -6 = 4*n - 6*n. Is n greater than or equal to m?
True
Let q be ((-20)/(-18) - (-20)/(-5)) + 4. Let v = -3 + 4. Which is smaller: v or q?
v
Let b = -68.39 + 68. Let f = -0.4 - b. Let t = f - 1.99. Which is smaller: 0 or t?
t
Suppose 6*b = 3*b + 6. Suppose u - 1 = -b. Let w be u - -2 - (4 - 0). Which is smaller: -1 or w?
w
Suppose -5*u - b = 0, 0 = 2*b - b - 5. Is u != -1/17?
True
Let s be (21/(-12))/((-133)/28 - -5). Let k = -12 + 7. Are s and k equal?
False
Let q be 8/2 + 1935/(-485). Is q at most as big as 0?
False
Suppose 2*o - w + 10 - 40 = 0, 5*w = -3*o + 19. Suppose o = k - 4*h, h + 16 = -0*k - 4*k. Let q be 1/(-1) - k/2. Is 2 greater than or equal to q?
True
Suppose i = -3*j - 9, -2*j - 2 = 3*i - 10. Let o = i - 6. Which is smaller: 2 or o?
o
Suppose 4*r - n = 6*r - 20, -5*r - 3*n = -48. Let z = r + -20. Which is smaller: -7 or z?
z
Let v = -10 - -16. Let i = 10 + -7. Suppose 2*p = -4*r - 4, 5*r = p - i*p - v. Is 2 at most as big as p?
True
Let a be (-30)/4*(-8)/10. Let y be a*3 + -4 + 2. Let m be (-30)/y + 4 + -2. Which is smaller: m or 0?
0
Let a = -1 + -4. Let u = a + 5. Let r = -0.5 - -0.6. Is r less than or equal to u?
False
Let m = 271535375/53 + -5122896. Let r = m - 413. Which is smaller: 0 or r?
r
Let p = -21/95 + 2/95. Is p bigger than 2?
False
Let o be 4/(-12)*0 - 0. Suppose -4*n + 12 = 2*h - o*h, -5*n = -2*h + 3. Which is smaller: n or -1?
-1
Suppose -8*h + 6*h = -18. Suppose -10*z + h*z = 1. Which is smaller: z or -1/5?
z
Suppose 3*a - 1 = 5*j, 5*a = -0*j - 4*j + 51. Suppose 20 = h - a*r + 2*r, 8 = -2*h - 2*r. Suppose h + 10 = -5*p. Is -1 less than p?
False
Let x = 6 - 7.1. Is -0.1 bigger than x?
True
Let n = 4 + -4. Let t = -41/72 - -4/9. Which is smaller: n or t?
t
Let w = -622/5 - -124. Which is smaller: w or 8?
w
Suppose -h - 8 = h. Let b(u) = -u - 1. Let l be b(-3). Suppose z + l*z = -9. Are z and h nonequal?
True
Suppose 2*f + 4 + 0 = 0. Let s be (0 - -1) + 43 + f. Let v = 127/3 - s. Which is smaller: v or -1?
-1
Let k(s) = -s - 2. Let v be k(-4). Let n = 2 - v. Is 0 at least n?
True
Let w = 21.4 - 22. Is w less than -1?
False
Let d = -291 + 1448/5. Let j = 56 - 56. Which is bigger: j or d?
j
Let m(k) = 0*k + k + 0 - 3 - 2. Let z be m(6). Is 2 less than z?
False
Let s = 106.7 - 107. Let a be -2 + (23/7 - 1). Does s = a?
False
Let i(f) = -f**3 + 5*f**2 - 3*f - 2. Let x be i(4). Suppose 5*y = -3*r - x*r, -2*r = 3*y. Suppose y = 4*v + v. Is -1 equal to v?
False
Let v be -6 - (-6 - -3 - -1). Let c be (-24)/30*10/v. Is 0 at least c?
False
Let p = 1.3 - 1.3. Which is smaller: p or 15?
p
Let b be (-11)/(-34)*-2 + 1. Let v = -7/68 + b. Is v != 0?
True
Let k be 24/(-54)*(-174)/4. Let p = k + -19. Is 0 at most p?
True
Let t be (-8)/(-20) - 7/5. Let l = 28274/53 - 27919900/52311. Let y = 4/141 - l. Which is smaller: y or t?
t
Let t = 191887/14441 - 4/2063. Let p = 96/7 - t. Which is bigger: -1 or p?
p
Let z be (-2)/(-5) + 36/10. Suppose d + z = -3*d. Is d greater than or equal to 1?
False
Suppose -4*z - i + 4 = 0, 0 = -z + i + 5 + 1. Suppose c = z*c. Which is smaller: c or -2?
-2
Let c be (-58)/12 + (9 - 5). Is c less than or equal to -2?
False
Let a(l) = l**3 - 6*l**2 + 5*l + 2. Let i be a(5). Suppose -b - 7 = -q + 1, -i*q + 13 = b. Let k be q/(-10) - (-5)/25. Are -0.2 and k equal?
False
Suppose 10*y - 3*w + 30 = 5*y, -2*y - 12 = -5*w. Let v(q) = q**2 + 5*q - 7. Let d be v(y). Is d less than or equal to -2?
False
Suppose 0 = -6*m + m. Suppose m*j = 4*j + 20. Let a be 1/((j - -2)/(-6)). Which is greater: 4 or a?
4
Let u = 0.06 - -0.02. Let l = u - 0.28. Let i be (6/20)/((-6)/5). Which is greater: l or i?
l
Let d = 0.2 - 0.2. Let n be 244/4 + (1 - -1). Let r be (-14)/n*(6 - 0). Which is bigger: r or d?
d
Let l = 7/37 + 113/185. Is l > 0?
True
Let y be 0*4/(-16)*-4. Let g be (3/(-4))/(9/(-8)). Is g at most y?
False
Suppose k - 2*w - 15 = 0, 5*k - 5*w = 21 + 29. Let b be 3 - 2 - (-15)/3. Does b = k?
False
Suppose 3*w = -w + 1008. Let l be (-51)/w + 8/28. Which is bigger: 1 or l?
1
Let q = -0.1 + 0.3. Do 0.3 and q have the same value?
False
Suppose 2*i - 5 - 3 = -2*p, -4*p = i - 7. Suppose -n = -p - 0. Let r = -17 - -189/11. Is n at most as big as r?
False
Suppose -a + 4 = a. Suppose 2*b = b + a. Suppose -b*z = 3*z. Is z bigger than 2/3?
False
Suppose 7*l = 7 - 0. Which is smaller: l or 1/33?
1/33
Let m = -5 - -8. Suppose -9 = -m*v - 3. Let r = -5 + 6. Which is smaller: v or r?
r
Let n = -0.7 - -3.7. Let r = 4.2 - n. Let w = 0.2 - r. Which is greater: 2 or w?
2
Let d = -0.3 + -0.1. Let w(q) = -3*q + 10. Let i be w(3). Which is smaller: d or i?
d
Let m = -0.07 - 0.05. Let r = -0.02 - m. Which is greater: -0.3 or r?
r
Let r(k) = k**3 + 5*k**2 - 5*k + 7. Let x be r(-6). Suppose l = -0 + x. Is -2/15 not equal to l?
True
Let j = 142/13 + -11. Which is greater: 0 or j?
0
Let v = 70/19 - 865/209. Is -1 >= v?
False
Let b = 0 - 0. Let g be (-15)/(-20)*(6/(-3))/(-4). Which is bigger: b or g?
g
Let d = 0.05 + -1.05. Let j = d + 1. Let a = -3/4 + 1. Is j less than or equal to a?
True
Let x = -2 + -1. Is x smaller than -5?
False
Let g(x) = -x**2 - 8*x + 7. Suppose -4*l + 12 = 0, -4*i + 0*l + l = 39. Let c be g(i). Which is greater: c or -5/9?
-5/9
Let x = 9/10 - 3/10. Are 5 and x equal?
False
Let l = 5 + -7. Let v be (0/(-6 + 3))/l. Is v less than -1/3?
False
Let s be 1/3*35/(-21). Which is bigger: s or 0?
0
Let s(a) = -2*a - 4*a**2 - 2*a**3 + 2 - 1 + 0. Let t be s(-2). Suppose -8*h - 21*h + 174 = 0. Which is smaller: t or h?
t
Let h be ((-4)/(-5) - 0)*-155. Let g be 2 - (-1)/(33/h). Let o = 12/11 + g. Which is smaller: -1 or o?
-1
Let l = 292 - 4099/14. Let p = -1/2 - l. Let i(u) = -u - 4. Let b be i(-4). Is p smaller than b?
False
Let g(f) = -f**3 + 6*f**2 + f - 8. Suppose 11 = -5*b - 34. Let i = 15 + b. Let x be g(i). Which is bigger: -1 or x?
-1
Suppose -11 - 3 = l - 3*d, 0 = -5*l - 5*d + 30. Suppose -l = 4*w - 8*w + s, 2*s + 2 = -3*w. Suppose 8*t = 3*t. Is w bigger than t?
False
Let i(l) = l. Suppose -4*y - y = -20. Let b be i(y). Suppose 2*n + n - 2 = 2*q, b*q = -5*n - 4. Is n > -2/7?
True
Let q(i) = -4*i + 3*i - 3 - 3 + 0*i. Let a be q(-10). Does a = 4?
True
Let w = 3 - 2. Let l be w*(-3)/3*0. Is l at least as big as 3/8?
False
Let i(c) = -c**3 - 3*c**2 + 7*c - 1. Let d be i(-5). Is -2/3 greater than or equal to d?
False
Let r = 2 - 2. Suppose r = 4*g + 5*s + 25, -s = 2*g + 3 + 2. Which is greater: 1/6 or g?
1/6
Let t = 3 + -1. Suppose r - 13 = -3*k, -4*k + 5*r + 47 = -t. Let b be 6/(-4) + 21/k. Is 1 at least b?
False
Let g = 18979/32 - 593. Is -1 less than or equal to g?
True
Let d = -38 - -48. Which is smaller: d or 8?
8
Let p = 0.031 + -31.031. Is -0.1 bigger than p?
True
Let f = -9 + 12. Let z(k) = -f*k - k**2 + 7 + 7*k - 2. Let r be z(5). Is -1 at most as big as r?
True
Suppose 4*q - 2*q - 36 = 0. Let i be (-14)/q - 8/(-12). Suppose -5*y + 3*y + 3 = -3*g, -5*g = -4*y + 5. Which is bigger: g or i?
i
Suppose -2*m - 4*t = 1 - 3, 2*m + 38 = 4*t. Is -9 less than or equal to m?
True
Let f = -17 - -9. Which is greater: -0.1 or f?
-0.1
Let q = -16 + 18. Suppose -2*x + s + q + 1 = 0, -4*x - 14 = 2*s. Is -16 not equal to x?
True
Let g(k) = -k**3 - 7*k**2 - 4*k + 10. Let t be g(-6). Which is bi