s y < b?
True
Suppose 0*d + d = -1. Let o = -3 + 5. Let s = d - o. Is -1 at most as big as s?
False
Suppose -4*k = 3*v - 10, 6 = -2*v + 5*v. Is 2/73 <= k?
True
Suppose 11*f - 12*f + 29 = 0. Is 29 at most f?
True
Let m be 2 - (8 - (-3 + 6)). Suppose 7 - 4 = -3*b. Let w be (-3)/((-6)/b)*6. Does w = m?
True
Let u be 6 - 7 - -2*2. Let l(t) = -t + 4. Let g be l(u). Which is smaller: g or 2/11?
2/11
Let u be 0/(1/(-1 - 0)). Let z = 197 - 138. Let j = 414/7 - z. Which is greater: j or u?
j
Let t = -9.8 + 10. Let a = 0 - t. Is a greater than or equal to -6/5?
True
Let i(u) = u**2 + 3*u - 6. Suppose 0 = 2*q + 8, 0 = 2*s + 7*q - 6*q + 14. Let p be i(s). Which is greater: 2 or p?
p
Suppose 5 = 3*v + 2, 296 = -5*r + v. Let n be r/(-10) - 2/5. Is 5 at least as big as n?
False
Suppose 0*j + 4*j = -52. Let n = 15 + j. Which is smaller: 1 or n?
1
Let f = 3491/168498 + -9/814. Is f smaller than 0?
False
Let y = 249/14 + -18. Is y at least as big as 0?
False
Let x(l) = l**3 - 4*l**2 - 8*l + 5. Suppose -4*k + 21 - 1 = 0. Let o be x(k). Let u = o + 16. Is u not equal to -2/7?
True
Suppose 22 = z + 4*z + 3*h, -10 = -z - 2*h. Let k = z + -3. Which is bigger: k or 0?
0
Let k(q) = q**2 - 9*q - 1. Let y be k(9). Which is smaller: 3 or y?
y
Let r = 0.206 - 0.116. Suppose 4*l + 2 + 2 = 0. Is r >= l?
True
Suppose 5*m + 141 = 106. Is -4 at least as big as m?
True
Let l = 20.75 + -154.85. Let b = l - -128. Let u = b + 6. Are u and 7 equal?
False
Let z = 2553/13 + -196. Which is bigger: 0 or z?
z
Let u = -3 - -4. Let l be (21/(-6) + 3)*-2. Is l equal to u?
True
Suppose -5*q - x - x = -10, 4*q - 2*x = 8. Let r be 0 - q/(10/5). Let u be 1 - 1*(-5)/(-4). Which is bigger: u or r?
u
Let d be 112/230 + 10/(-25). Suppose -3*b - 2*b = 0. Which is bigger: b or d?
d
Suppose -26 = 3*o + 70. Which is smaller: -33 or o?
-33
Suppose 3*k - 3 = -0*k, k = 4*z + 1. Are -4/3 and z non-equal?
True
Let y = 24 + -218/9. Is y greater than 0.1?
False
Let g be (-4)/(-3) - (6 + -6). Which is smaller: 2 or g?
g
Let l = -21.7 - -20. Let g = 1.7 + l. Is g < 0.06?
True
Let f be ((-2)/15)/((-12)/(-15)). Let x = -1.06 - -0.86. Is f < x?
False
Let r(p) = p + 17. Let s be r(-8). Which is smaller: 11 or s?
s
Let a be (3 + 0)/((-3)/6). Let s be (-9)/a - (-98)/(-60). Is -1 greater than or equal to s?
False
Let d be (-38)/(-6) + (-1)/3. Let g = d - 3. Let y = g + -3. Is -1/2 less than y?
True
Let l = -22/7 + -5/14. Suppose -2*d + 0 = 8. Which is greater: d or l?
l
Let h = 439281 - 258736685/589. Let r be ((-6)/5)/(31/(-5)). Let i = h + r. Do 0.1 and i have different values?
True
Let u be ((-48)/40)/(3/10). Suppose -5*v + 7 = -13. Let t be u/14 + v/14. Is 2 at most as big as t?
False
Suppose -5*i + 22 = 117. Is -18 at least i?
True
Suppose -9*o = -4*o - 55. Which is smaller: o or 10?
10
Let m be 80/35 - 4/14. Suppose 7*t = m*t. Which is bigger: 2/41 or t?
2/41
Suppose 4 = -0*b + b. Suppose -2*t - 2 = b*u - 6, -t - 5*u = -5. Let d be 1/((7 + -3)/(-4)). Is d >= t?
False
Let i(r) = 6*r**2 - 1. Let x be i(-1). Let m(c) = -c**2 - 6*c - 3. Let s be m(-4). Is x at least s?
True
Let v = 5295/4 - 1331. Which is bigger: v or -7?
-7
Suppose -5*v = 20 + 30. Let p(x) = -x - 12. Let z be p(v). Which is smaller: -3 or z?
-3
Let n = -250/3 + 84. Is -1/11 at least n?
False
Let c = -62 - -87. Let f = c + -41. Let m be 8/(-50)*(-8)/f. Which is greater: m or -1?
m
Let b be (-4)/(-28) - -2*116/(-1526). Which is smaller: 0 or b?
b
Suppose b - 22 = 3*b. Let n be -13 - b - (-1 + 1). Which is smaller: -5 or n?
-5
Let a = 6 - 5. Let v = -0.2 + 0. Let m = 0.8 - v. Is m smaller than a?
False
Let l be ((-4)/10)/(2/10). Let s = 47 - 50. Is l equal to s?
False
Let y be (-8)/20 - 6/35. Suppose -9*m - 23 = -5. Is y bigger than m?
True
Let a = 501 + -11525/23. Are a and 1 equal?
False
Suppose 0 = v, -g = 3*g + 3*v - 4. Which is smaller: 4/11 or g?
4/11
Let v = 1.09 + -0.09. Which is greater: v or -17?
v
Suppose v = -h - 5, 3*v + 7 = -0*v - h. Is v at least as big as -2?
True
Let t(p) = -p**3 + 13*p**2 - p + 19. Let z be t(13). Let s = -7 + z. Which is bigger: s or -2?
s
Let o(t) = -t**2 - 4*t + 1. Let s be o(-4). Let w = -2 + s. Let r = w - -5. Is r at most as big as 4?
True
Let p = 8 + -6. Let l be 2 + 1 + (-8)/p. Is l != -2?
True
Let c be (-1)/(-2)*6 + (-423)/153. Is c smaller than 1?
True
Let u = 0 - 4. Is -4 smaller than u?
False
Suppose 0 = -2*a + 4*c, -2*c - 8 = -a + 2*a. Let v = a - -4. Suppose -b + 2 - 3 = v. Which is smaller: b or -2?
-2
Let n be (-39)/(-65) - (-8562)/(-6130). Let t = n + -2/613. Which is bigger: -2 or t?
t
Let c = 32 + -31. Are 5 and c equal?
False
Suppose -2 = 2*u, -4*d - u = 3*u - 44. Let x be 3/14*d/27. Let k be (-17)/51*6/2. Which is bigger: x or k?
x
Let g = -20 + 19.74. Let o = -0.06 - g. Does o = -2?
False
Let n = 24 - 16. Let y be (2 + (-8)/3)/(9/(-108)). Is y < n?
False
Suppose -3*q + 7 = -2. Let r be -3 - -2 - q/(-2). Suppose -2*o - 2 = -4*o. Which is bigger: o or r?
o
Suppose 4*i - 10 - 14 = 0. Suppose 2*n = -n - i. Does -2 = n?
True
Suppose -13 = -g - 0. Let z = 15 - g. Which is smaller: -3 or z?
-3
Suppose -2 = 2*u - 0. Let c be (-4)/4 - (-1 + -3). Let m be -2 + (0 - 0)/c. Are u and m equal?
False
Let g be (-13)/(-21) - (-4)/(-12). Is g != -1?
True
Let m = 1/8 + 1/24. Are m and -1 non-equal?
True
Let r be 1*2 - (-5120)/35. Let v = -289 + 141. Let f = v + r. Is 2/3 bigger than f?
True
Let i = -22 + 17. Is i < 0.06?
True
Suppose 0*w = -2*w - 144. Let g = 291/4 + w. Which is bigger: g or 1?
1
Let p(d) = -d**3 + 3*d**2 - 4*d + 2. Let l be p(2). Let t be -4 - l*(-9)/(-6). Is -2/3 equal to t?
False
Suppose 2*d + 1 = -3*k, 5*d - 32 = 3*k + k. Which is greater: -8 or k?
k
Let q = 1.3 + -1.21. Let t = q - 0.29. Which is bigger: t or 3?
3
Let u = 5544/13 - 250039/585. Let j = u + 5/9. Suppose q = -1 - 0. Is j less than q?
False
Let h be -5*4 - (-3 + 0). Let y = h + 15. Let w = -923/516 - -5/129. Is y at least as big as w?
False
Let i be ((-45)/105)/((-3)/(-4)). Is i <= 0.1?
True
Let j = -3 - -10/3. Which is bigger: -0.3 or j?
j
Let i = -14.75 + 15. Let u = 7.75 + i. Is -0.1 not equal to u?
True
Let u be ((-6)/9)/((-4)/6). Let p be -289*(-2 - (-34)/18). Let d = -95/3 + p. Is u bigger than d?
True
Let o = -6.2 - -2.1. Let p = -0.1 - o. Let l = -4.1 + p. Is -1/3 at most l?
True
Let i be (57/(-6))/((-1)/2). Is i bigger than 19?
False
Let o be 2/9 - (-46)/(-45). Let h be (4 + -2)/((-1)/(-2)). Suppose -2*p + 0*p - h = 0. Do p and o have the same value?
False
Let i = -8 - -9. Let d(j) = -j**3 + j. Let c be d(i). Let x be 8*(-9)/(-33) - 2. Is x < c?
False
Suppose 16 = -n + 3*n. Let t(w) = -w**2 + 7*w + 9. Let u be t(n). Do u and 0 have the same value?
False
Let t(s) = -s**3 - 7*s**2 - 10*s + 7. Let l be t(-4). Let v(p) = p**2 + 5*p + 3. Suppose 0 = -3*i + 2*k - 18, -5*i - 20 - 6 = -2*k. Let f be v(i). Is f > l?
False
Suppose -4*y + 0 = 4. Let g be (y + 2 - 0)*3. Suppose -g*p = 4*h - 1, -3*p + 2*p + 7 = 3*h. Does p = -4?
False
Let l = -60 + 51. Are l and 0 non-equal?
True
Let r = 0.5 - -0.5. Let l = r + -3. Let d = -1 - l. Is -0.2 at most as big as d?
True
Let a = 20 - 17. Is a < 1/3?
False
Let q be -2 + (0/(-3))/(-1). Which is bigger: q or -7?
q
Suppose 0 = -4*x - 42 - 6. Let z = -11 - x. Is z < 1/16?
False
Let u be 8/((2 - 1)*-1). Suppose -i + 6 = -h, -2*h + 2*i = h + 19. Which is smaller: u or h?
u
Let s = -4.7 + 0.7. Which is smaller: 0.04 or s?
s
Let m = -0.05 + 0.02. Let p = m - 0. Which is bigger: -1 or p?
p
Let c = 0.36 + -0.26. Is -1/3 at least c?
False
Let q = -19 + 22. Which is smaller: 0 or q?
0
Suppose 0 = -5*g + 11 - 16. Let z be ((-3)/(-20))/(3/2). Which is greater: z or g?
z
Suppose 5*g - 20 = -5. Which is smaller: -3 or g?
-3
Let a be ((-10)/(-8))/((-4)/(-48)). Do 18 and a have the same value?
False
Let t = 5011/11 - 455. Suppose 0 = 4*x - g + 2 - 8, -4*g + 8 = 0. Which is greater: x or t?
x
Let o(t) = t**3 - t**2 - 4*t. Let m be o(3). Suppose -m + 16 = 5*n. Let c = 52 + -53. Which is smaller: n or c?
c
Let x = -16 + 17.8. Let b = x + -2. Which is smaller: b or -2/7?
-2/7
Let p(v) = -v + 3. Let b be p(4). Is 0 at least b?
True
Let d(t) = 10*t**3 - t**2 + 2*t + 3. Let c be d(-2). Let u = 592/7 + c. Which is smaller: u or -1?
-1
Let y = 7041/9877 - -2/1411. Which is smaller: -1/3 or y?
-1/3
Let x(p) = -p*