 + -7.94. Which is smaller: f or n?
n
Let v = 762 + -842.7. Let b = -81 - v. Which is greater: 35 or b?
35
Suppose -3 = 72*i - 75*i, 5*n - 5*i = 545. Is n greater than or equal to 1/6?
True
Let d = -227 - -321. Let u = -91.44 + d. Let s = u - 2.5. Which is smaller: s or -1/4?
-1/4
Let u(v) = -v**3 - 19*v**2 + 92*v - 11. Let i be u(-23). Let w = -40 + 29. Is i bigger than w?
False
Let r = 0.9 - 1. Let z = 148.8 + -149.7. Is z > r?
False
Let w(x) = -2*x + 9. Let q be w(-3). Suppose 2*o = q + 3. Is o less than 12?
True
Let o(l) = -2*l**2 - 15*l - 2. Let z be o(-7). Suppose z*c - 7 = 3. Let s be c*(-2)/96*-3. Is s at most 1?
True
Let f = 18573 + -29066747/1565. Let h = f + 153376/4695. Which is smaller: h or 33?
h
Suppose 3 = 3*c, 2*y - 2*c + 28 = 4*y. Let k = -3 + y. Let l = -58 + 68. Is k bigger than l?
False
Let k(q) = 2*q**3 - q**2 + 4*q - 1037. Let z be k(0). Is z >= -1037?
True
Let m = -143.1 - -143.4. Let k = 0.53 + -0.5. Do k and m have the same value?
False
Let o be 84/24*(-60)/(-14). Suppose -3*g - 114 = 3*s, 2*g - 22 = -s - 96. Let l be (g/o + 3)*5. Do 1 and l have different values?
True
Let t be (-62)/(-20) - (-2)/4. Let l = t + -3. Is 2/3 equal to l?
False
Suppose -i = 30 - 82. Suppose 3*a + 2*c + 2*c = -i, -a = 2*c + 14. Is -23 smaller than a?
False
Let c = -410 + 410.1. Which is smaller: -67/4 or c?
-67/4
Let p(q) = -q**3 - q + 4. Let u(d) = -d**2 - d. Let y be u(0). Let j be p(y). Suppose -j*g - g = -h, -4*g = -3*h. Is h equal to 0.1?
False
Let n be (-7)/3 - 2/(-6). Let c = n - 3. Let b(m) = -m - 5. Let d be b(0). Is d greater than or equal to c?
True
Let a be 6/5*35/21. Suppose -v - a*x = 10, -x + 37 = -5*v + 2*x. Is -8 at most v?
True
Suppose 3*s = -i + 127, 6*s - 3*i - 221 = s. Let m = s + -39. Let a be ((-8)/6)/((-3)/9). Are m and a equal?
True
Let i be ((-192)/65)/((-102)/(-495)). Let a = i + 194/13. Which is greater: a or 2?
2
Let v = -54 + 45. Let r(t) = -t**3 - 7*t**2 - 6*t + 1. Let h be r(-6). Let k be (2/(-6))/(h/3). Is k smaller than v?
False
Let q = 4 + -6. Let f be -4 - 84/(-120)*5. Is q != f?
True
Suppose -201 = 4*y - 313. Is 12 at least y?
False
Suppose z - 7*w = -3*w + 6, -4*z + 2*w = -24. Let d be (33/(-9))/((-2)/z). Suppose -9 = 2*x - d. Which is smaller: 2/7 or x?
2/7
Let o = 10931/4004 + -188/77. Is -1 less than o?
True
Let n be 6/9 - (1312/(-120) + 12). Let g = -3 - -3.16. Is g < n?
False
Let b be (-1)/(-1) + (4 - 6). Suppose -3*m + 4*m = -16. Let f be 25/72 + 2/m. Is b equal to f?
False
Suppose -2*w = 10, o + 3*w - 161 = 764. Which is smaller: o or 939?
939
Suppose 12 = 4*a - 12. Let w be (4/a)/(4/30). Suppose -q + 3*v = 4*q + w, 0 = 5*q - v + 5. Which is smaller: 0 or q?
q
Let r be 0 - (-36)/(-26)*-451. Suppose -1984 = 13*o + 6128. Let n = r + o. Does n = 1?
False
Let h be (-27)/(-45)*(-5 + 35/9). Which is smaller: h or -738?
-738
Let k = 8 + 21. Let p = k + -30.6. Which is smaller: 1 or p?
p
Let c = 364 - 443. Is -1 less than or equal to c?
False
Let d = -0.441 - -0.441. Is -48 at least d?
False
Let s(y) = -y**2 + 2*y - 1. Let d(n) be the second derivative of n**4/12 + n**3 + 9*n**2/2 + 4*n. Let c be d(-4). Let u be s(c). Which is smaller: u or 1/2?
u
Let k be (-21)/(-5) - (-8)/(-40). Suppose k*c - 24 = -0*c + 2*q, q = 4. Let p be (1/(-3))/(c/(-6)). Is 1 greater than p?
True
Let x be 682/(-21) + (-15)/((-225)/20). Is x bigger than -30?
False
Let q be (3/(-14))/(-19 + (-22933)/(-1216)). Which is smaller: 3 or q?
q
Let m be (-34)/22 + -49 + 50. Let u be (-2)/((-2)/(2 + -4)). Is m bigger than u?
True
Let a = 474 - 471. Are a and -15 equal?
False
Let v = 545 - 375. Let c = -73 + v. Which is greater: 98 or c?
98
Let k(a) = -10*a - 5. Let r be k(-4). Suppose -5*m - 2*z = -60, 0*z - z = -4*m + r. Suppose -10 = -2*v - 6*h + 3*h, 59 = 5*v - h. Which is smaller: m or v?
m
Let o be 7*(-4)/6*-3. Suppose o - 4 = -5*h. Let s(j) = j**2 - 25*j - 85. Let a be s(28). Are h and a equal?
False
Suppose 4*r - 98 = 5*r + 2*f, 2*r + f = -181. Which is greater: r or -87?
-87
Let w = -55521 + 276541/5. Which is greater: -213 or w?
w
Let d(p) be the first derivative of p**4/4 - 7*p**3/3 + 3*p**2 + 2*p + 2. Let i be d(6). Let v be 2/((-4)/(-4)) - i. Are v and -1/9 non-equal?
True
Let v = -0.1 - 0. Suppose -8*x = -7*x + 3. Let q = x + 27. Is q <= v?
False
Let k = -1958 + 1969.1. Which is greater: k or -2?
k
Suppose -161 = 6*t - 23. Is t < -21?
True
Let t = 10 + -11. Let g be -3*8/(-10)*(-15)/2. Let o be (2/g)/(((-325)/30)/(-13)). Which is greater: t or o?
o
Let w be (-64)/(-10) - (-30)/(-75). Suppose w - 21 = 5*y. Let n be (1/y)/(8/(-72)). Is n smaller than 5?
True
Let d = 0.632 + -0.432. Which is bigger: 187 or d?
187
Suppose 0 = 2*s - 3*n - 13, s - 2*n - 4 = 4. Suppose 2 = 2*y, -s*r - 8 = -2*y - 4. Is 7 at most r?
False
Let d = -1397/6 - -233. Is d > -1/5?
True
Let b = 590/11 - 6439/110. Is -6 < b?
True
Let x(b) = b**3 - 4*b**2 + b. Let h be x(4). Suppose 0 = 22*j + 17*j - 195. Is h <= j?
True
Let b = 70.6 + -71.6. Which is smaller: b or 750?
b
Let w = 4.91 - 5. Let f = -16.9 + 1.9. Let h = 14.8 + f. Which is bigger: w or h?
w
Let t = 110 + -176. Let r be (-12)/t + 18/22. Which is bigger: r or -2/51?
r
Let r be -12 + 7 - -8 - (-33)/(-12). Which is bigger: -3/5 or r?
r
Let c be (-102)/(-14) + 6/(-21). Let y = c - -5. Let i = 11 - y. Is -1 not equal to i?
False
Let f be 5/((-60)/579) + (-7)/(-28). Is f >= -2?
False
Let b = -2228.99 - -2229. Which is greater: 8/11 or b?
8/11
Let n = 27 - 22. Suppose -n*a - 6*p + 2*p - 27 = 0, -4*p = -4*a. Which is greater: a or -4?
a
Let b be 6*(5/(-2))/(-5). Suppose b*d + 46 = 58. Suppose d*v = 4*p - 8, -8*p = 5*v - 3*p + 40. Are -4 and v nonequal?
True
Let a = -25 + 12. Let z = 153 + -153. Which is greater: z or a?
z
Let c be ((-30)/(-12))/((-25)/(-120)). Let a be (-575)/(-45) - 4/(-18). Does c = a?
False
Let g be (-6)/15*(-750)/60. Suppose 4*w = -r + 3, -4*r - w - 2*w + 12 = 0. Is r not equal to g?
True
Suppose 3*n - 55 = -5*z, -5*n + 4*n + 23 = 2*z. Suppose 0 = z*y - 10*y - 220. Which is smaller: 56 or y?
y
Suppose 66 - 87 = -21*b. Which is smaller: -277/6 or b?
-277/6
Let p be 52/(-6) + 3*2/(-3). Let j = -166/15 - p. Which is smaller: 41 or j?
j
Let k be (-2)/(-7) + (-6)/21. Let x(g) = -35*g**2 + 2*g + 1. Let i be x(-1). Let t = i - -107/3. Are t and k equal?
False
Let g(p) = 8*p**2 - 19*p - 63. Let j be g(-7). Let f be (-177)/j + (-18)/(-42). Is f < 0?
False
Let u = -0.17 + 0.07. Let g = -465 - -390. Which is smaller: g or u?
g
Let u be (-204)/1526 - (-1)/14*2. Is u at least as big as 1?
False
Let f be 8/(-6) - 184/24. Suppose -4*u - 36 = -0. Is f less than u?
False
Let z be (-40)/12 + (-1)/(-3). Let a be 30/(-4)*(-2)/z + 0. Let p = -9 - -5. Which is greater: p or a?
p
Let f = 10 + -35. Let a be 40/f*5/(-1). Let v(b) = -2*b - 8. Let y be v(-8). Is y less than or equal to a?
True
Let a(u) = -2*u - 20. Let k be a(-9). Let q be 3*k*(-1)/(-2). Let d be q/(((-18)/(-26))/(-3)). Is 13 >= d?
True
Let j = -12 - -20. Let i = 8 + -33. Let k = -16 - i. Is k bigger than j?
True
Suppose 73 = 3*t + 5*w, 105 = 4*t - t - 3*w. Let p be t/(-180) + (-7)/(-35). Is p greater than 1?
False
Suppose 11 = -8*p - 3*p. Which is smaller: p or 6/65?
p
Let j = 0.11 + 10.89. Which is greater: 14 or j?
14
Let r be 2/(-7) + (-120)/(-28). Let x(c) = -8*c - 18. Let m be x(-4). Suppose 38 = -r*v + m. Which is greater: -5 or v?
-5
Let g(d) = 16*d - 1. Let a be g(2). Suppose -26*l = -a*l + 50. Are l and -0.1 unequal?
True
Let m = 231 + -236. Are m and -11 equal?
False
Suppose 5*g = 280 + 100. Let q = 77 - g. Are q and 6/19 equal?
False
Let j = -3 - -1. Let a = 1396/11 - -13611/44. Let l = a + -439. Is j >= l?
True
Let b(l) = -l**2 + 1. Suppose -4*t + t + 4*d = -11, 3*t = -2*d - 1. Let u be b(t). Do u and 6/17 have the same value?
False
Let v(i) = -i + 8. Let y be v(8). Let g be y*2/(-2)*(-23)/46. Is g equal to -6?
False
Let n be (9/2)/3 + 14/28. Suppose -5*o - 4*v = 11, 3*v + n = 4*o - 14. Which is greater: 0.052 or o?
o
Let u = 1.1 - -5.9. Let x = u - 6.91. Let t = -0.19 + x. Is 6 > t?
True
Let d be 6*3/42 + 9444/(-84). Which is smaller: -114 or d?
-114
Let y = 263 - 248. Which is smaller: y or 14?
14
Let b = -121/7875 - 2/1125. Which is smaller: -1 or b?
-1
Let r be 108/60 - (1 - 1). Suppose 3*p - n = 7, 0 = 4*p - p - 4*n + 8. Su