alse
Let d(o) = 0 + 0 - 2 - 2 - o. Let p be (-1)/1*1 - 1. Let k be d(p). Which is greater: k or -1?
-1
Let z = -26 + 334/13. Is 1 smaller than z?
False
Suppose 1 = -3*j + 16. Suppose -5*s = -8 + 3. Let h = 7 - s. Which is smaller: j or h?
j
Suppose -2*m + 183 = m. Is 61 at most m?
True
Suppose 9*d = -15*d + 26*d. Let q(a) = -2*a + 9. Let z be q(6). Is z less than d?
True
Let h = 37 + -22. Suppose 0 = 2*o + o - h. Which is smaller: o or 4?
4
Let d = 205 - 7173/35. Let m be 1/2 + 2/4. Which is smaller: m or d?
d
Let p(z) = z**3 - 15*z**2 - 18*z + 33. Let j be p(16). Is -6/79 at most j?
True
Let m(n) = n**2 - 35*n - 35. Let p be m(36). Suppose -3*i + 22 = 5*h, -i + 4 = h - 0. Let k be i/15*(-2)/(-1). Which is smaller: k or p?
k
Let l = 4 - 2. Which is smaller: l or 1?
1
Suppose t - 6 = -2*t. Suppose -2*a + 2 = -t. Let d = 23 - 45/2. Which is smaller: a or d?
d
Suppose 2 = n + n + 2*d, -d = -4*n - 11. Let a be n/7 + (-24)/(-63). Which is bigger: a or -1?
a
Let x be (0 - -1)/(3/99). Let p = 131/4 - x. Let s = 0.1 - 0. Which is bigger: p or s?
s
Let h = 0.3 + -0.3. Which is bigger: h or 3?
3
Let r be (-154)/720 - 1*5/(-25). Which is greater: r or -1?
r
Suppose 4*c - 2*z = 2, 3*z - 4 = -1. Let r be -4 + 2 - (-2)/c. Let a be (r - 2)/((-20)/2). Do 1 and a have the same value?
False
Let c be (-2)/(5/(10/4)). Let h be (c - 1)*(5 + -1). Is -7 smaller than h?
False
Let m be 4/(-10) + (-6)/(-40). Is m at least 2/17?
False
Let s be -1 - (2 + (-1 - 4)). Which is bigger: s or 1?
s
Suppose -3*z + 0*z + 12 = 0. Let d(b) = -b**2 - 5*b + 4. Let s be d(-5). Suppose 0 = -t - 3*p - 12, -t + s*p + 20 = -3. Is t less than z?
True
Let b = 11.1 - 12. Let v = -7.1 + b. Let m = -7 - v. Is m < 0.2?
False
Suppose -4*s = 16, c + 0*s = -s + 28. Is c at least 32?
True
Let q(n) = 2 + 3*n**3 - n**3 - n**3 - n - 2*n**2. Let k be q(2). Are 2/23 and k equal?
False
Let m = 48 - 40. Let c = -2 - -2. Which is smaller: m or c?
c
Let q(l) = l - l + 5 + l. Let x be q(-4). Which is smaller: 2 or x?
x
Let p(i) = 3*i - 21. Let n(s) = -s + 7. Let m be 6/3 - 3*-2. Let z(j) = m*n(j) + 3*p(j). Let q be z(7). Which is greater: 1 or q?
1
Let q = -0.082 + -9.918. Which is smaller: -1/3 or q?
q
Let d be 4/12 - 2/6. Suppose -w - 2*w = d. Is 1 smaller than w?
False
Let m = -31 + 19. Let r = 12 + m. Does 2/5 = r?
False
Let l = -0.3 + 0.2. Let z = 7 - 6. Which is smaller: z or l?
l
Let c = 34950 - 1467827/42. Let o = -15/14 + c. Let z = -1.8 + 2. Is z < o?
True
Let b be (-39)/(-36) - 1/3. Suppose -4*m = 4, 3*a - 4 = 2*m + 1. Which is smaller: b or a?
b
Let r be 4/14 - 132/(-28). Suppose 3*o - r = -2*o. Is -2 >= o?
False
Let r be (2 - -1) + 0 + 0. Let z be (2/(-3))/(r/(-9)). Let b(j) = j + 1. Let d be b(1). Is d bigger than z?
False
Let s = -1 + 1.1. Let c = 1.1 - 0.1. Is s greater than c?
False
Suppose -5*m - 4 = -14. Let h be m/8 - 550/(-40). Do 13 and h have different values?
True
Let s = 17.33 + -17. Let a = s - 0.23. Which is smaller: a or 2?
a
Let l = -0.26 - -0.16. Suppose 0 = -f + 15 + 6. Let c be (-4)/14 + (-22)/f. Which is smaller: c or l?
c
Let b = 17 - 3. Let w = 15 - b. Which is smaller: w or -3/2?
-3/2
Let c be (-10)/45 - (-4)/18. Let f = c + 4. Which is smaller: 6 or f?
f
Suppose 0*x = x - 3. Let k(j) = -j**3 - 6*j**2 + 8*j + 7. Let g be k(-7). Let s = g - x. Is -4 > s?
False
Let v be (-10)/(-5) + (-1 - -2). Suppose 7*z - v*z = 3*t - 5, 11 = -3*t - 4*z. Let f be (-1)/(1/((-2)/(-2))). Is t greater than or equal to f?
True
Suppose 3*p = -23 - 55. Let k be p/(-7) - 4/(-14). Suppose 8 = -i + 4*z, -4*i - 6 = -5*z + k. Is 1/2 at least i?
True
Let i = 675/7 - 96. Is 1 at most as big as i?
False
Suppose -x - 2 + 7 = 0. Suppose -4*f - 3*h - 22 = -2*h, -28 = 3*f - x*h. Is 0.1 >= f?
True
Let c = 36 - 36.27. Let s = c + 0.07. Let f = -6/17 - -1/51. Is s at most f?
False
Let c be ((-3)/(-12))/(2/8). Let y = -0.02 - -0.05. Let l = 3.03 - y. Is c greater than l?
False
Let v = -15 + 21. Suppose -2 = -2*d - v. Let l = 306 + -1841/6. Is d at least l?
False
Let f be (((-4)/2)/6)/(-2). Suppose c = 5*u - 5, -2*u - 2*c - c = 15. Suppose -5*m + u*m - 5*x - 5 = 0, 2 = -4*m - 2*x. Is m at least as big as f?
False
Let s = 0.01 + -0.01. Let q = -2 + s. Let o be 4/(-35) + (-6)/(-15). Which is bigger: o or q?
o
Suppose 5*h - 3*c = -4 + 27, -2*c + 43 = 5*h. Suppose -2*y + 19 = 4*k + h, -y + 3*k - 14 = 0. Which is smaller: -7/3 or y?
-7/3
Let h(x) = -x - 2. Let d be h(-2). Suppose 0 = -q - d*q - 145. Let b = 1013/7 + q. Which is bigger: b or -1?
b
Let i = -65 - -44. Let y be 0 + 1/(i/(-18)). Let o = -11/21 + y. Which is smaller: 1 or o?
o
Let k = 1 - 2. Let y be ((-8)/10)/(22/55). Let b = k + y. Is -3 at least b?
True
Let q(z) = z**2 - 3*z - 1. Let f be q(5). Is f at most 10?
True
Let g be (-5)/34*44/(-55). Is g < -1?
False
Let u = 2 - 0. Let q(s) be the second derivative of -s**5/20 - s**4/4 + s**3/3 - 5*s**2/2 - 5*s. Let n be q(-4). Which is bigger: u or n?
n
Let z = -7 - -29/4. Let y = -17 - -6. Let g = y - -11. Which is smaller: z or g?
g
Suppose -4*k - 87 = -3*v + k, 116 = 4*v + 5*k. Is 28 less than v?
True
Let h(f) be the second derivative of -3*f**5/10 + f**4/6 - f**2/2 + 3*f. Let v be h(-1). Is v less than 6?
False
Let o = 512 - 511. Suppose 2*x = -2*x. Suppose 2*f - 4 - 2 = x. Which is smaller: f or o?
o
Let y be 4/(-6) + (-44)/(-165). Do y and 1 have different values?
True
Suppose -d + 85 = -55. Is 140 not equal to d?
False
Suppose 0*t + t = 0. Suppose -v - v + 8 = t. Is 2/3 smaller than v?
True
Let l = 2.5 + -2. Let a = -0.03 - -0.33. Let u = a - l. Is u smaller than 0?
True
Let i = -1 + -5. Let m be i/(-2 - (3 + -3)). Suppose -f = -2*f + m*n - 10, 3*f - 12 = -5*n. Is 1/10 less than f?
False
Let g be (-1)/(-1 + (-12)/(-8)). Is 0 equal to g?
False
Let v be ((-12)/(-22))/((-6)/4). Suppose 4*g = 3*g - 1. Is g != v?
True
Suppose 3*r - 11 = 10. Suppose -3*u - 16 = -5*z, 0*u + 2*z - r = u. Which is smaller: 2/11 or u?
2/11
Let y = -8 - -10. Suppose 5*x = f - 15 - 11, y*f = 3*x + 17. Do f and -1 have different values?
True
Let o = -5.8853 - 242.0447. Let j = o + 246. Let s = 0.07 - j. Which is smaller: s or -1/2?
-1/2
Let f = -56/9 - -383/63. Which is smaller: f or -1/4?
-1/4
Let m = 1 + -0.9. Suppose 4*r + 1 = -7. Let k be 1 + r*(-38)/(-68). Is k less than or equal to m?
True
Let i(b) be the second derivative of b**4/24 - b**3/6 + 3*b**2/2 - 3*b. Let d(o) be the first derivative of i(o). Let m be d(2). Is -1/4 at most as big as m?
True
Let y(i) = -2*i. Let d be y(-4). Suppose -d*w = -3*w + 70. Are w and -13 unequal?
True
Let h(a) = a - 5. Let q be h(5). Let n = 16/17 + -178/153. Is q <= n?
False
Suppose 0 = -3*n - 0*n + 15. Suppose -n*c = -14 + 4. Which is smaller: c or 3/4?
3/4
Let o be (-11 + 7)/(-1*5). Is 2 at most as big as o?
False
Let a be (-6)/4*8/(-3). Let l = 8 - 4. Let d = l - a. Which is bigger: d or -1?
d
Let n = -0.03 - 0.07. Does n = -2/5?
False
Suppose -5*s + 5425 = -0*s. Let h = s + -27118/25. Let x = -2/25 + h. Which is greater: x or 0?
x
Let j = 0.5 + -1.5. Which is smaller: j or 2?
j
Let j be 17/2 - (-21)/14. Let o be -1 - (-3 - (-26)/j). Let p = -3 + 4. Is p at least o?
True
Let q = 8 - 6. Suppose -q*s - 10 = -4. Which is smaller: s or -2?
s
Let f = 53 - 54. Which is bigger: -11 or f?
f
Suppose g = -3 + 1. Let n = 0 + -2. Do n and g have the same value?
True
Let h = -29 - -25. Is h less than or equal to -2/5?
True
Let o = 0.14 - 0.74. Let s = o - -0.2. Which is greater: s or 0?
0
Suppose 7 - 31 = -4*h. Let l = h - 5. Is -3/7 not equal to l?
True
Suppose 0 = 12*w - 9*w. Let i = 0.3 - 0.2. Is w greater than or equal to i?
False
Let x = -0.85 + 0.29. Let y = -2.34 + x. Let b = -3 - y. Which is greater: b or -0.3?
b
Let p be ((-4)/70)/((-5)/(-25)). Which is bigger: 0 or p?
0
Suppose -4*j - 30 = 2*w, 3*j - j + 8 = 0. Let y = w - -12. Is y less than 5?
False
Suppose -3*o - f + 4*f = 231, 2*o = 5*f - 166. Let r be o/(-52) + (-8)/52. Suppose 0 = 2*n - 2 - 0. Is r greater than n?
True
Let o = 12 - 12. Let f be (-3)/(-6)*(o - -4). Which is bigger: 3 or f?
3
Let j = 14 - 13. Let r = 12.9 - 12. Let k = -1 + r. Which is bigger: k or j?
j
Let c be 2/10*25/4. Suppose -25 = -5*y - 25. Which is bigger: y or c?
c
Let p(z) = -2*z**2 + 7*z + 2. Let m be p(5). Let i = 13 + m. Is -5/9 greater than i?
False
Let o