*x. Do m and n have the same value?
False
Let n(s) = s**2 - 13*s + 15. Let t be n(12). Suppose x = -3*w + 1 + 6, 2*w - 1 = 3*x. Suppose 5*j - w*z - 12 = 0, -j = 3*j + 5*z - t. Which is greater: j or 1?
j
Let n be (-15 - -5)/(-2 + (-3)/(-2)). Let f be (n/(-30))/((-4)/162*-3). Which is greater: -55/6 or f?
f
Let i = 6 + -8. Let l = -9957 + 9960. Which is smaller: l or i?
i
Let s(h) = -2*h + 18 + 2*h - h - 14. Let g be s(9). Which is smaller: 5 or g?
g
Suppose h - 12 = -3*r + 14, 4*h - 3*r = 119. Let a = -17 + h. Suppose 2*d - a = -d. Is -1 equal to d?
False
Let k(m) = -5*m + 146. Let n be k(29). Is -7/72 bigger than n?
False
Let h be 1/(-1) + (-8)/2 + 10. Suppose 5*c = 3*c - h*x - 13, -5*c = 3*x + 4. Which is bigger: c or 26?
26
Let m(j) = -5 - j + j + 2*j. Let s be m(4). Let x(t) = -t**2 + 38*t - 103. Let z be x(35). Which is greater: s or z?
s
Let m be (-84)/(-30) + 2/10. Suppose -9 = -2*w + m*d, d = -w - 1 - 2. Are 5 and w unequal?
True
Let t = 5 - 5. Let h be (-20)/6*(t - 3). Let g(i) = 9*i**2 + 13*i + 14. Let k be g(-1). Is k < h?
False
Let q = -5099/35595 - -2/5085. Let n = -0.1 + 0.1. Let y = n - -1. Which is bigger: q or y?
y
Let j(d) be the third derivative of d**6/120 - d**5/5 + 11*d**4/24 - 8*d**3/3 - 30*d**2. Let m be j(11). Which is smaller: m or -14?
m
Let n be (-2)/(15/(-40) + (-759)/24). Is -1 at most as big as n?
True
Let s = -20977 + 41907/2. Let q(o) = -6*o**2 - 1. Let w be q(2). Which is smaller: s or w?
w
Let s = 2 - 1.9. Let y = 76 - 7. Suppose -48 = -2*t + 4*t - 4*j, 3*j - y = 3*t. Is s at most t?
False
Suppose -4*l = -9 + 33. Let b be (-8)/l*(-9)/18. Do 1.4 and b have different values?
True
Let z(b) be the second derivative of b**4/12 - 3*b**3/2 + 7*b**2 + 33*b. Let i be z(7). Is i bigger than -3/14?
True
Let g = -1380 + 1156. Which is greater: g or -222?
-222
Let f be 20/(-15) + (-133)/(-3). Suppose -t = -4*p - f, p - 2*p + 3*t - 19 = 0. Is -17/2 at least as big as p?
True
Suppose 0 = 5*f + 2*k - 73, 0 = -0*f + 5*f - k - 76. Let u be ((-9)/f)/(1/5). Suppose -3*t - 1 = 2. Which is smaller: u or t?
u
Let m be ((-2)/(-3))/(48/72). Is m less than 1/115?
False
Let j be 2/(-10) + (-14)/(-70). Let t be 2 + (j/2)/2. Is 3/4 less than t?
True
Let d = 23.96 - -0.04. Let s = -24.2 + d. Let y = s - 0. Are 1 and y non-equal?
True
Let y = -4 - -7/2. Let d = 0 - y. Let f = 1531/11 + -139. Is f at least d?
False
Suppose -99*u = -103*u + 148. Is u >= 44?
False
Let t be (3266/(-1302))/(-5 + 4). Let o = t - 52/21. Let h = -49 - -50. Which is bigger: o or h?
h
Suppose -75 = 5*c + 125. Let n = -161/4 - c. Which is greater: -16 or n?
n
Let g = -171 + 169. Which is smaller: g or -12/23?
g
Let m = -0.9 + -15.1. Which is smaller: 0.1 or m?
m
Let c = 1.85 + -3.191. Is c greater than or equal to 0?
False
Suppose -3 - 17 = 4*a. Let g(x) = -x**2 - 6*x - 7. Let q be g(a). Let j(c) = c - 2. Let m be j(3). Which is smaller: m or q?
q
Let u be ((-2)/(-24))/((-5)/10). Let n = 32 - 31. Which is bigger: n or u?
n
Let u(s) = -s**2 - 13*s + 33. Let v be u(4). Are -32 and v equal?
False
Let b(n) = -n**3 + 2*n - 3. Let o be b(2). Let v = -11989 - -11978. Is v at most as big as o?
True
Let v = -27 - -41. Let y be 358/(-12) - (-2)/(-12). Let a be 138/10 - 6/y. Is a less than v?
False
Suppose -5*c - 9 + 4 = 0. Let x be 9/(-3)*1*c. Suppose 3*r - 18 = 5*j, 5*r = 2*r + x. Which is bigger: j or 1/5?
1/5
Suppose -4*m - 13 = -1. Let o = m + 11. Let y be (o/22)/(-2)*-6. Which is smaller: y or 2?
y
Let q = -102 + 103. Is q not equal to -274?
True
Let z be -1*3/((-6)/(-4)). Let d be z/(2 + (-22)/10). Let o be 10 - 10 - (-12)/d. Which is smaller: o or -0.1?
-0.1
Let g = -43 - -27. Let m = g + -7. Let b = m + 16. Is 0.1 smaller than b?
False
Let n = 51/5 + -1678/165. Let t = n + 7/11. Which is smaller: t or 11?
t
Suppose -21 = 7*p + 70. Is -10 equal to p?
False
Let b be (-222)/(5 - 225/18). Is b greater than or equal to 30?
False
Let z = -80 + 555/7. Is -17 < z?
True
Suppose -63 = -9*g + 12*g. Let r be ((-6)/g)/((-18)/14). Is r > -1/3?
True
Let k be (6/1)/(-2) - 0. Let d(h) = h - 1. Let q be d(4). Suppose 8 = -s + q. Do k and s have different values?
True
Let y be (2/(-6))/(9/621). Let q = -63 - y. Does -40 = q?
True
Let l(v) = v**2 + 2*v + 4. Let c be l(-2). Suppose 23 = 4*g - 5. Are g and c unequal?
True
Let h = -37061/5 + 7413. Suppose 10*a = 5*a. Let n be 3 + ((-1)/1 - a). Which is smaller: n or h?
h
Let r = 1802/7 - 259. Is r less than -2?
False
Suppose 4*b = 0, -2*f + 2*b = -3 + 41. Which is smaller: f or -21?
-21
Let f = -3451 - -31129/9. Is f greater than 2/5?
True
Let g = 428 - 322. Which is greater: g or 2/9?
g
Let c be (-14)/6*((-60)/17 + 3). Is 1 less than or equal to c?
True
Let k = 4204 - 4204. Let q be 3/2*(-2)/(-6). Which is smaller: k or q?
k
Let a = 1375/8 + -8851/40. Let n = a - -49. Let h = 17 + -7. Which is smaller: h or n?
n
Let g = -390 + 1172/3. Which is smaller: -3.9 or g?
-3.9
Let z = 227 + -222. Let h = 1/79 + -319/237. Which is smaller: h or z?
h
Let y be 1*-29 - (31 - 28). Is y at most -228/7?
False
Suppose 3*s - 4*s = 0. Let i(f) = f. Let g be i(s). Let v(k) = -k**2 - 6*k - 6. Let x be v(-5). Which is greater: x or g?
g
Let q = -292 + 244. Which is greater: -51 or q?
q
Suppose -5*v = 9*v. Which is greater: 6/5 or v?
6/5
Let y = 4.9 - 5. Let c = -15 - -32. Let g = c - 17.2. Is g smaller than y?
True
Let z(a) = a + 8. Let s be z(-5). Suppose y = -s*y + 108. Let f be 4/(-18) - (-6)/y. Do 1 and f have the same value?
False
Suppose -3*t + 3*k = 126, 3*k - 6*k = 6. Let l = t + 75. Suppose -3*g + 0*g + l = a, -34 = -2*g + 2*a. Which is bigger: 3 or g?
g
Let f = -29 + 20. Let s = f - 0. Which is bigger: s or -11?
s
Let k be ((-42)/(-10) + 0)*5. Let y = 13 - k. Suppose a + 9 = -3*d - 1, 0 = -3*a - 4*d - 25. Which is bigger: a or y?
a
Let w be 1/2*-2 - -3. Suppose 8 = -5*x - 2*f - 1, w*x + 6 = -2*f. Which is smaller: -42/17 or x?
-42/17
Suppose 38*j + 19*j = 57. Let h = 349/6 + -231/4. Is j greater than h?
True
Let f(p) = -p - 8. Let i be f(-11). Suppose -8 + i = 5*m. Let d be m/12 + (-2)/8. Which is bigger: 3/2 or d?
3/2
Let i = -3.5 + 0.5. Suppose -6*y - 155 = -377. Let m = y + -149/4. Is m bigger than i?
True
Suppose -2*x + 192 = 3*w, -x + 49 + 79 = 2*w. Let j be (8/48)/((-6)/w). Is j < -1?
True
Let m = -3/86 + -235/1892. Is -1 less than m?
True
Let q = -23.6 - -4.6. Let h = -19.7 - q. Let w = -53/5 - -11. Which is bigger: w or h?
w
Let o = -46 - -219. Let h = 100 - o. Is h greater than or equal to -74?
True
Let a be (1 + 5/(-15))*(-9)/(-2). Suppose -16 = -w + 5*w - a*u, -3*u = 0. Is -6 at least w?
False
Let t be 21/35 + 158/(-30). Is t greater than 2/5?
False
Let u = 195317/87 - 2245. Which is greater: 1 or u?
1
Let j(b) = 1. Let f(q) = q**2 - 13*q + 45. Let i(k) = -f(k) - 4*j(k). Let m be i(7). Which is smaller: -5 or m?
m
Let w = -94 + 58. Let l be ((-15)/w)/(2/8). Let p be ((-2)/(-7))/(12/84). Are p and l unequal?
True
Suppose 0 = -2*t + 8 - 46. Let h(l) = -l**2 - 20*l - 32. Let z be h(t). Is z greater than -14?
True
Let g be 38/19 - -2 - (-1348)/(-6). Which is smaller: g or -222?
-222
Let z(n) = -n + 11. Let m be z(6). Suppose c - m*c + 4 = -4*g, 0 = 3*g + 2*c - 7. Let y be 4/50*(0 - -5). Which is bigger: g or y?
g
Suppose -62*i + 19*i = 86. Is i at most -2.1?
False
Suppose 3*v = 5*g - 121, -3*g - g - 140 = 4*v. Let z = v - -21. Let s be (z/(-60))/(6/5). Is 2 >= s?
True
Let b = -0.0758 + 2.0758. Is 142 less than or equal to b?
False
Suppose 0 = 26*f + 3*f - 6119. Which is bigger: f or 213?
213
Suppose 2*r = -z - 20, -5*r - 38 = 2*z - 0*r. Let s be (-68)/(-1)*18/z. Let y = s + 33. Which is smaller: y or -19?
-19
Let y(s) = -s**3 - 4*s + 61. Let o be y(0). Is o not equal to 61?
False
Let b = 302 + -302. Let g = 1 - -21. Let c = g - 200/9. Which is bigger: b or c?
b
Suppose -757 = -20*s - 1977. Is s at least as big as -62?
True
Let n(d) = -19 + 12*d**2 + 34 - d**3 + 28*d - 14. Let c be n(14). Is -6/13 >= c?
False
Suppose 7*r - 6 = -34. Let p be 4/(-16)*-2*r/2. Are 1/59 and p equal?
False
Suppose 9*t = -328 + 1120. Let d = t - 89. Which is smaller: -2/45 or d?
d
Let l = 681 + -677. Is l at least 33?
False
Let k = 19031.863 - 19045. Let n = k + 13.2. Which is greater: n or -0.1?
n
Let z be 128/(-576) - (4/(-18) + -1). Let u(v) be the third derivat