or q?
q
Let l = -4 - -8. Suppose 0 = -5*k + l*s - 7, -3*s - s = 5*k + 23. Is k less than or equal to -2?
True
Suppose -8 + 5 = 3*m. Which is smaller: 2/15 or m?
m
Let j be (-1)/(-2) - (-3)/2. Suppose j*a + 1 = a. Let g(w) = -w + 6. Let r be g(6). Is a > r?
False
Let q be (172/6)/((-2)/9). Let j = 253/2 + q. Is -4 smaller than j?
True
Let d = 1805/7 - 257. Which is smaller: 1 or d?
d
Let g = 9 - 8. Is 0.2 at least as big as g?
False
Let x(c) = c**2 - 19*c + 1. Let g be x(19). Is g at least -41?
True
Let n(i) = -i**2 + 3*i + 2. Let m be n(4). Suppose 0 = -j - 0*j. Suppose 5*u + 6 + 4 = j. Is m > u?
False
Let v(y) = y**3 + 4*y**2 + 3*y + 1. Let d be v(-3). Let s = -2071 + 18614/9. Let z = s + 3. Which is smaller: d or z?
z
Let z(m) = -2*m - 4. Let t be z(-2). Are t and 2 equal?
False
Suppose 0 = -0*k + 2*k + 2. Let o(f) = -3*f. Let i be o(k). Suppose 2*y + i = 1. Is -3/7 >= y?
True
Let s = -357553912/91 + 3929206. Let m = s - 296/7. Which is bigger: 0 or m?
0
Suppose 5*p = -v - 11, -5*p + 3*v = -2*p + 21. Let r = p - -8. Let u = -9 + r. Which is smaller: u or -3?
u
Suppose -4*d = -5*f - 25 - 27, 5*d + 3*f = 28. Let b = -10 + 17. Is b smaller than d?
True
Let f = 26/5 + 2/15. Which is greater: 5 or f?
f
Let o = 6.4 + -7. Let y = o + 0.4. Is -2 < y?
True
Let i be ((-2 + 2)/6)/(0 - -1). Which is bigger: -14/13 or i?
i
Let b be 0 + 4/30*-3. Let d = 16 - 14. Let v = d + -1. Which is smaller: v or b?
b
Suppose -5 = 4*j + 19. Let y = 82 + -88. Is j > y?
False
Let o = -4.3 - 1.7. Which is bigger: o or -0.1?
-0.1
Let x = 767/23484 + 1/412. Which is smaller: x or 1?
x
Let v be 36/(-204)*4/6. Is v != -5?
True
Let o = -89 - -91. Which is smaller: -26 or o?
-26
Let o = -625/4 - -155. Is 0 smaller than o?
False
Let p be (4/(-1))/4 + 0. Which is bigger: 2/87 or p?
2/87
Let x = -3 - -2.9. Let z = 6391/3 - 2157. Let t = -27 - z. Is t equal to x?
False
Let d(b) = b**3 - 6*b**2 + b. Let z be d(6). Let m = 1 + 1. Suppose -n + 3 + m = 0. Do z and n have different values?
True
Let y = -28 + 27.5. Which is bigger: y or 2?
2
Suppose -3*y = -4*y - 12. Let r(w) be the first derivative of -w**4/4 - 4*w**3 + w**2/2 + 12*w - 1. Let s be r(y). Do s and 2/9 have the same value?
False
Let z(p) = p**3 - 9*p**2 + p - 12. Let c be z(9). Let r be 6/(-4)*(c + 1). Suppose r*w + 2 - 5 = 0. Which is smaller: w or 0?
0
Let p = 6.6 + 0.4. Let w = -6.8 + p. Do w and -2 have the same value?
False
Let g = -6 + 6.9. Let z = -1 + g. Let c = z + 0. Which is bigger: 2/7 or c?
2/7
Suppose -3*j + 6 = 0, -9 = 3*s - 3*j - 6. Which is smaller: s or 5?
s
Let z(m) = -m**2 - 4*m + 6. Let h be z(-5). Let c = 18 + -11. Which is greater: h or c?
c
Let r = 15 + -52. Which is bigger: -35 or r?
-35
Let v be (-4)/14 - 36/(-28). Suppose 0 = -4*y + 3 + v. Suppose -3*u + y = -5. Which is smaller: 3 or u?
u
Let t be 0*3/(-2)*4/6. Does -1/6 = t?
False
Let z = 0 - 2. Let p = 1/4 + 1/4. Is z > p?
False
Let v be (2/(-3))/(5/3). Let w = 98 - 98. Is v bigger than w?
False
Let j = 0.07 - 0.04. Is j greater than 1?
False
Let k = -15 + 0. Is -15 equal to k?
True
Let a be (-3 + 3 - 1) + (-9)/(-30). Which is smaller: 0 or a?
a
Let t = 14434/11 + -1314. Which is bigger: t or -2?
t
Suppose -f + 4*r - 7 = 5*r, 13 = -3*f - r. Let c(g) = -g**3 - 3*g**2 - 2. Let i be c(f). Let u be (3/(-6) - i)/(-12). Are 0 and u equal?
False
Let k(b) = -b**3 - 3*b**2 + 5*b - 1. Let r be k(-5). Let y be r/13 + (-6)/3. Are y and -1 nonequal?
True
Let j be ((-16)/12)/((-8)/12). Is j less than or equal to 2?
True
Let m(j) = j**2 + 2*j + 2. Let g be m(-3). Let q = -3 + g. Which is smaller: q or 3?
q
Let w be 3/(36/16)*3. Suppose j = -0*j + 5*b + 32, 4*j - w*b = 80. Are j and 16 unequal?
True
Let q be (-1)/4 - (-122)/8. Let w = q - 20. Suppose 6 = 3*g, g = b - 2*b - 4. Which is smaller: b or w?
b
Let l be 46/(-5)*60/(-96). Is 6 greater than l?
True
Let t = 0.7 + 0.3. Let m = t + 0. Let a = -1.3 - -1. Is a less than m?
True
Let g = -15 + 10. Let h be g/(-713)*6/(-15). Let z = 2123/5704 - h. Is z <= 1?
True
Let i = 44 + -136/3. Which is smaller: i or 0?
i
Let s = 66 - 65. Which is smaller: 1/6 or s?
1/6
Let d = 0.49 + -0.19. Let p be (0 - -1)*(-4 + 2). Let m be p/4*4/3. Are d and m unequal?
True
Let b(m) = m**3 + m**2 - m + 44. Let i be b(0). Let z be (-4)/10 + 88/(-2). Let f = i + z. Is -1 bigger than f?
False
Let x be 6/9*6 + -4. Suppose x*z = -5*z + 5. Let r = 2 + 1. Do r and z have the same value?
False
Let g be 2/(-11) + (-852)/33. Let u be g/12 - 3/(-2). Is -5 != u?
True
Suppose -8*d - d + 45 = 0. Suppose i = 2*i - 4. Is d equal to i?
False
Let z be (-4)/(-22) + (-45)/(-55). Let j(t) = t**2 - 4*t. Let s be j(4). Is s not equal to z?
True
Let o(y) = 7 - 2 - 3 - y. Let z be o(3). Let g = 315/2 + -158. Which is smaller: g or z?
z
Let f = -0.62 + 0.58. Which is bigger: 1 or f?
1
Let a = 0.35 - -0.05. Let z = a - 0.4. Which is bigger: 0.2 or z?
0.2
Let s = 8002/11 - 728. Let y be (6/5)/(9/(-45)). Let w be y/(-15) + (-24)/10. Is w greater than s?
False
Let z = -20 + 14. Which is greater: z or -5?
-5
Let q = -14 - -7. Which is greater: -8 or q?
q
Suppose 0 = -m - 4*m. Suppose m = 5*c - 4*c - 1, -3*x - 98 = 4*c. Let b = -135/4 - x. Are 0 and b non-equal?
True
Let n = -251 + 2257/9. Suppose 4*i - 2*i = 0. Which is smaller: n or i?
n
Let f be (-11 - -10)*-1*101. Suppose u + 16 - f = 5*a, 0 = 5*u. Which is smaller: a or -18?
-18
Let r = 31/36 + -10/9. Let a = -1.99 - -2. Let s = a + -3.01. Is s at most r?
True
Suppose 0 = 4*x - 1 + 5. Let p(v) = v. Let w(t) = 6*t - 1. Let s(k) = 4*p(k) - w(k). Let y be s(1). Does y = x?
True
Let n be (9/(-18))/(2/20). Which is smaller: n or -6?
-6
Let i(c) = c**2 - c + 11. Let h be i(0). Let g = 7 - h. Which is greater: g or -3?
-3
Let y be (-3 - (-7)/3)/((-2)/(-27)). Which is greater: -7 or y?
-7
Let q = 67325539/126872919 - 25/327837. Let z = -26/43 + q. Which is smaller: 1 or z?
z
Suppose 1 = -s - 2*t, 6*s + 29 = s - 2*t. Which is smaller: s or 0?
s
Let p = -105 - -73. Let k = p - -33. Let x(d) = -d**3 + d**2 + 2*d - 1. Let w be x(2). Is w bigger than k?
False
Let k be (-78)/(-144) + -2*2/8. Which is smaller: 0 or k?
0
Let g = -2.1 + 2. Let t = -7 + 13. Is t greater than g?
True
Suppose 0 = 3*h + 5*z - 11, 0*z = -3*z - 15. Let m(p) = -p**3 + 13*p**2 - 12*p + 15. Let k be m(h). Let n be (-2)/k*(-5)/3. Is n < 1?
True
Let t = -0.122 - -0.101. Which is smaller: -0.2 or t?
-0.2
Let d(s) be the third derivative of -s**6/60 + s**4/12 + 6*s**2. Let n be d(2). Which is smaller: n or -11?
n
Suppose 4*c = -4*g, 0*g + 4*c = 4*g. Are 1.3 and g equal?
False
Let h be (26/13)/(0 + 2). Which is smaller: 6/67 or h?
6/67
Let v = -11 + 6. Is -7 < v?
True
Let m(o) = o - 2. Let x be m(3). Suppose -6*t - 6 = -8*t. Is x less than t?
True
Let d(w) = w**3 - 4*w**2 + 4*w - 1. Let q be d(3). Suppose 0 = -c - 4*y + 3, 2*y = -4*c - q*y. Is -1/5 >= c?
True
Let o = 1/12 - -1/6. Which is smaller: o or -7/4?
-7/4
Let r = 0.539 - 0.139. Is -21 at least as big as r?
False
Let x(r) = -r**2 + 5*r - 5. Let w be x(3). Are -1 and w non-equal?
True
Suppose 5*x = -b - 2*b + 34, -3*x = -15. Let g be 18/84*4/b. Is g greater than 1?
False
Let z = 577/715 + -1/143. Is z smaller than 1/2?
False
Let o = -3.97 + -0.03. Let c = o + 3.9. Is -7 at most c?
True
Let a be (12/(-2313))/(-1 + 2/6). Which is smaller: -1 or a?
-1
Suppose 5*b = 8*b. Let p be (-32)/(-182) - 4/(-14). Do b and p have different values?
True
Let d = -10/11 + 14/11. Which is bigger: 0 or d?
d
Let n be -3 + 2 + -1 + 0. Which is smaller: n or -5?
-5
Suppose -69 = 3*r + 504. Which is bigger: -190 or r?
-190
Suppose 3*p + 6 + 0 = 0. Let n be -6*-2*1/4. Let q(b) = b**2 - 2*b - 1. Let l be q(n). Which is smaller: l or p?
p
Suppose 65 = -5*c + w, -5*c - 75 = 3*w - 2*w. Which is smaller: -16 or c?
-16
Let d(s) = -s + 4. Let y be d(4). Suppose y = 5*x - 0*t - 4*t - 36, -4*x + 4*t + 28 = 0. Let q = -11 + x. Is -3 at least q?
True
Let w = 4 + -3. Let h = 27 + -39. Let n = h - -12. Which is smaller: w or n?
n
Let b(r) = 2*r**2 - 18*r + 16. Let q be b(8). Let x be (-4)/10 + (-24)/15. Let g be ((-4)/14)/((-2)/x). Is q bigger than g?
True
Let m = -125 - -377/3. Which is greater: m or 16/3?
16/3
Let k = -17/100 - 2/25. Are k and 1 non-equal?
True
Let l be (3 - 2 - -4) + -22. Do l and -47/3 have the same value?
Fals