 as y?
True
Let n be 4/2 - (-2 + -1). Suppose -n*x = -9*x - 8. Which is greater: x or -1?
-1
Suppose 83 = 4*i - 6*s + 3*s, i = -5*s + 15. Let b be (-37)/(-36) - i/(-90). Is b smaller than 1?
False
Let a = 69 + 62. Let h = -1439/11 + a. Which is smaller: h or -1/6?
-1/6
Suppose 836 = -5*j - 2*d, -2*d - 618 - 50 = 4*j. Which is smaller: -169 or j?
-169
Let b = -15 - -24. Let s be (-35)/30 - (-6)/b. Let f = -3.1 - -3. Is f less than s?
False
Let p be (4/6)/((-2)/(-3)). Let u be (-20)/16 + p/4. Let i = 87/11 - 577/66. Are u and i equal?
False
Let t be (-68)/30 - (-3)/15*3. Suppose -w - 2*w - 14 = 4*n, -5*n - 4*w = 18. Is t <= n?
False
Suppose -5*g - 2*x = -50, 0 = -g - 3*g - 4*x + 40. Is 7 bigger than g?
False
Let s(i) = -i - 1. Let j(g) = -5*g - 4. Let z(b) = -j(b) + 4*s(b). Let w be z(-1). Let u be -1 + -2 + 3 - w. Which is greater: -1 or u?
u
Let h = 22 - 12. Let c be (4/(-6))/(h/(-15)). Which is smaller: 2 or c?
c
Let u be (-8)/(-40) - (-524)/5. Is 106 greater than u?
True
Let k be (-2)/(-1 + (-10)/(-6)). Let n = -0.4 + -0.1. Let f = n - -1.5. Which is smaller: f or k?
k
Let x = -35 + 42. Is -2/7 less than or equal to x?
True
Let t be (276/20 + (-2)/(-10))*1. Is t at least as big as 17?
False
Let n be -1*(-2 + 5 - 1). Let i = -2 - 0. Let t be n + 2/(-3)*i. Is t at least -2?
True
Let p(x) = -x**3 + x + 4. Let n be p(0). Let o be (12/4)/(1/(-3)). Let s be (-2)/o + n/144. Is s at most as big as -1?
False
Let w be (1 - (-2)/(-6)) + (-5640)/(-72). Which is bigger: w or 78?
w
Suppose 6*b - 4 = 2*b. Which is bigger: b or 5/2?
5/2
Let s be ((-96)/60)/(2*6/20). Which is smaller: -0.1 or s?
s
Let u be 0 + (-83)/33 - (-6)/33. Which is smaller: -2 or u?
u
Let z = 0.2 - 0.2. Let j = 2 + z. Let i = -112 + 112.1. Is j bigger than i?
True
Let d(t) = -6*t + 11. Let v be d(2). Let n = 0.2 - 0.1. Is n at most v?
False
Let u(c) = -c**3 - 4*c**2 + 8*c + 5. Let z be u(-5). Let w = -8 - z. Let y = 1 + w. Which is greater: 2 or y?
y
Let s be ((-10)/(-10))/((-25)/22) - -1. Is s >= 1?
False
Let i = -24 - -19. Is i smaller than -5?
False
Let k be 0*1/(1 + 0). Suppose -5*q - 3*p + 20 = -4*p, -q - p = 2. Suppose 10 = -4*c + s + 2, 15 = -3*c + q*s. Is k greater than c?
True
Let y(l) = l + 2. Let b be y(-4). Suppose a = 2*a - 5. Let p = a + -6. Are p and b non-equal?
True
Let q be (-1)/3*(0 - 0). Let d be (-10)/4*(q + -18). Suppose -3*c = -5*h - 7*c - 41, 0 = -5*h - 5*c - d. Which is bigger: h or -6?
h
Let z = -3287861/44 + 74719. Let x = -48/11 - z. Which is smaller: x or -2/3?
-2/3
Suppose 4*w - x - 31 = 2*x, 0 = -w + 3*x + 10. Let r = -1 + w. Which is smaller: r or 7?
r
Let j = 0 - 3. Let g be (j - -4)*(-1)/(-4). Let a = 0.188 + -0.148. Is a bigger than g?
False
Let n be (-54)/(-14) + (4 - 8). Let i be (6 - 4) + 1 + -2. Do n and i have different values?
True
Let z(i) = -5*i**3 + i**2 + 2*i + 1. Let o be z(-1). Suppose -o*r = -r. Do 2/9 and r have the same value?
False
Suppose 7*j - 2*j = -2*d - 31, 0 = 5*j + 15. Let q = d - -21. Suppose q = -l - 5*b + 40, -4*l - 2*b = -18. Which is smaller: 0.2 or l?
0.2
Let x = -50 + 50.1. Which is greater: x or 46?
46
Let d = 19 + -24. Is 4 <= d?
False
Let b = 415 - 398.1. Let y = 17 - b. Is y <= 9?
True
Let i = 13 + -15. Suppose 3 = -z - 2. Let f = z + 4. Which is bigger: i or f?
f
Suppose -6*v = -3*v + 96. Let k be 8/v - 9/(-4). Which is smaller: 10/13 or k?
10/13
Let d(g) = -g + 1. Let s be d(-5). Suppose l + l = s. Suppose -q = -4*y - 23, -21 = -4*q + 2*q + l*y. Do q and 3 have different values?
False
Let k be 8/20 - (-164)/(-10). Let h = -17 - k. Which is smaller: -1/21 or h?
h
Let y = -146 - -1896/13. Are y and 1 unequal?
True
Let i be -4*4*(-4)/(-48). Is -1 at most as big as i?
False
Let l = -10 - -4. Let y = 7 + l. Which is smaller: y or -0.2?
-0.2
Let c be ((-15)/(-10))/(1*(-3)/1). Let f = 1 - 1. Are c and f nonequal?
True
Let m be -4 + 4 + (-4)/564. Is m at most 1?
True
Let n = 16 - -9. Let c = n - 15. Let h = c - 7. Is -0.1 at least as big as h?
False
Suppose 0*f - 8 = -4*f. Let w(s) = -f + 2*s - 3*s + 3 + 0*s. Let p be w(4). Are p and -3 equal?
True
Suppose 3*f + 3*l - 9 = 0, 3*f + 21 = 4*f - 5*l. Which is smaller: f or 9?
f
Let d = 134.91 + -136. Let a = 0.09 + d. Which is smaller: a or 1/2?
a
Let b = -2 + 1.5. Let v = b + -1. Let y = -0.5 - v. Is -1 < y?
True
Let c be (-4)/(-8)*(-2 - -4). Which is bigger: c or -1/15?
c
Let c(y) be the third derivative of y**4/24 - 7*y**3/6 + 2*y**2. Let f be c(6). Let r be f + (-1 - -2) - 0. Is r less than -1?
False
Let w = -13 - -12. Which is smaller: w or -1/39?
w
Let d be (-62)/(-8) - (-1)/4. Suppose -4*b + d = -f, 2*f - 1 = f + b. Suppose 0 = 2*j + f. Which is smaller: -1 or j?
j
Let n be -1 + 0 - (-215)/(-142). Let p = -1/71 - n. Let u = 0.4 + -0.5. Which is smaller: p or u?
u
Let m = -22287174 + 102052969302/4579. Let q = -2/241 + m. Which is greater: 0 or q?
0
Let s be (5/15)/(145/75 + -2). Let o be -19*1/(-5)*-1. Which is greater: o or s?
o
Suppose 3*o + z + 2*z + 174 = 0, 4*o - 4*z = -264. Let v be (2 + 0)*(-368)/(-12). Let g = v + o. Is g less than or equal to -1?
False
Suppose -6*w + 4 = -4*w. Which is smaller: 8 or w?
w
Let v be -3 - (0 - 124/48). Which is greater: 0 or v?
0
Suppose 10 + 10 = 4*l. Let c be (-15)/39*2/l. Is c greater than 1?
False
Let i be (18/30)/(1/(-10)*-2). Let k = -637/3 - -215. Is k at least i?
False
Suppose -6*o + 3*o = 0. Let r be (-2)/(-6) - o/2. Does 1 = r?
False
Suppose -5*o + 8 = -12. Suppose 3*h - h = o. Let y be 4/(-18) - 14/(-9). Is h greater than or equal to y?
True
Let o(u) = u**3 + 15*u**2 - 15*u + 16. Let d be o(-16). Which is bigger: d or 6/7?
6/7
Let t = -25 - -43. Suppose 0 = z + 4*n + t, 9 = 4*z - 3*n - 14. Which is smaller: z or 3/2?
3/2
Let t be 3 - (6/2 + 4). Let l be ((-2)/t*2)/(-1). Are l and -1 non-equal?
False
Let p(v) = -v**3 + 5*v**2 + 8*v - 11. Let g be p(6). Is 3/26 at least g?
False
Let u be 3 + 1 + -4 + 0. Suppose 3*q - 21 = -u*q. Which is bigger: 5 or q?
q
Let c = 2 + -1. Suppose 0 = 2*s - 6*s + 16. Suppose -y = s*y. Is c at most y?
False
Let d be (4/(-8))/(1/(-8)). Is d != 4?
False
Suppose 0 = -2*n - 3*u - 29, -u + 1 = -3*n + 3*u. Let v = n + 6. Is -1 bigger than v?
False
Suppose x + 0*x + 5*h + 17 = 0, -25 = -3*x + 4*h. Let g = 1 + x. Which is smaller: g or 0.2?
0.2
Let i(k) = 2*k - 4. Let h be i(6). Suppose -4*y + 16 = 0, x - 5*y = -0*x - 16. Let m be h/(-6)*1/x. Which is smaller: 0 or m?
m
Suppose -1 = -3*j + 2*g, -j - 5 + 2 = -4*g. Is j <= -4/9?
False
Let v = 149 - 149.6. Which is smaller: 0.05 or v?
v
Let d = 3 - 2. Let p = 4/3 + -2/3. Which is bigger: p or d?
d
Let z be 4/45*(-15)/(-6). Let d = 5 + -5. Do z and d have the same value?
False
Let c = 5993/7 + -851. Which is smaller: c or 4?
4
Let s = -20.14 - -20. Let h = s + 0.17. Which is bigger: -2/7 or h?
h
Let c be (-4)/10 - 248/(-20). Let g = c + -10. Let i be 1/(-3) + (-4)/(-6). Which is greater: g or i?
g
Let c = -337/1582 - 1/791. Let x = 13/70 - c. Is 0.2 <= x?
True
Suppose 4 = 4*m - 0. Suppose 4*t - u = -m, -u = -5*t + 3*u - 15. Let a be (-15)/(-36) + 2/8. Is t > a?
True
Suppose 90 = -5*v - x, -3*x + 58 = -4*v - x. Is 0 at most v?
False
Let k(b) = b + 3. Let v(p) = 1. Let m(i) = -k(i) + 2*v(i). Let l be m(-1). Is l < 0?
False
Let o(j) = -j**3 - 3*j**2 - j - 3. Let v be o(-3). Let x(d) = d**3 + d**2 + d - 1. Let l be (2 + -2)/(1 + 0). Let p be x(l). Is p less than v?
True
Let a be (-4)/((2 - 0) + 0). Let z be -25*a/(-18) - -3. Let y = 0 - -1. Which is smaller: z or y?
z
Let g = 20 + -25. Does -5 = g?
True
Let v = -6.7 - -0.7. Suppose -p = 2*p. Is p > v?
True
Suppose 3*d - 2*p - 8 = 0, 2*d - 5*d - 3*p = 12. Which is smaller: 2/7 or d?
d
Let v(p) = 2*p + 3. Let n be v(7). Suppose 0*q - f = -q - 7, -3*f = -q - n. Suppose -4*r - 12 = i, 5 = -2*r - 2*i - 7. Is r smaller than q?
False
Let m(r) = 3*r + 1. Let o be m(1). Suppose o*j + 2*a + 8 = 0, a + 2 - 10 = 4*j. Which is bigger: j or -1?
-1
Suppose -m = -4*u - 15, 0*m = u + 5*m - 12. Suppose -5*w + 2*o = -15, 4*w + o = 2*o + 15. Suppose 10 = -w*d - 10. Which is smaller: d or u?
d
Let f = -6 + 11. Let n = -2 + 2. Which is greater: n or f?
f
Let r be (-40)/(-7) + 4/14. Is 4 smaller than r?
True
Suppose 5*q = -4*k - 25, 2*k - 2*q + 5 = 15. Does 2/33 = k?
False
Let c(b) = -5*b - 4. Let p(r) = -4*r - 3. Let m(v) = 2