 b + 2*k - 1, 0 = -3*b - k + 9. Suppose -491*g + 495*g = b. Does 3/110 = g?
False
Let r(w) = 191*w - 3263. Let n be r(34). Is 3230 > n?
False
Suppose 3960 = 60*t - 104*t. Which is smaller: t or -86?
t
Let p = 9177 + -9174. Which is bigger: 199/85 or p?
p
Let x = -319.58 + 5.58. Let h = x + 300.9. Let y = -13 - h. Is -12/5 less than y?
True
Suppose -6*j - 1617 = -55*j. Suppose -y - 4 = -2*y. Suppose y*h = j + 59. Are h and 23 unequal?
False
Let t = -122 + 215. Let n = -95 + t. Let a = -1442/657 + -2/73. Do n and a have the same value?
False
Let f = 44 - 44. Let h = 13 - f. Let u be (-9)/(-18)*(-36)/h. Is -1 greater than or equal to u?
True
Let h(n) = -2*n + 1. Let a(k) = -15*k + 76. Let v(c) = -a(c) + 3*h(c). Let r be v(8). Which is smaller: 2/21 or r?
r
Suppose 21*g = 45*g. Is 2/227 at most as big as g?
False
Let k = 4958 + -4977. Which is smaller: k or 0.2?
k
Suppose 2*i + 696 = 2*l - 2730, -2*l = -4*i - 3438. Is 1716 bigger than l?
True
Let h(j) = -35*j - 35. Let r = -376 - -375. Let b be h(r). Is b at most as big as 2/231?
True
Let r = 263 - 356.8. Let u = 95 + r. Which is bigger: u or 5/4?
5/4
Let w(l) = -5*l + 113. Let q be w(29). Let b be q/(-48)*(129/(-87) - -2). Is 1 smaller than b?
False
Let l(k) = -k**2 - 7*k - 6. Let a be l(-5). Let c = 3578 - 3575. Suppose -c*b - a = -b. Is -15/7 < b?
True
Suppose 316 = -3*p + p - 2*n, 152 = -p - 3*n. Suppose -4*z - 7*a - 632 = -9*a, 2*z = 4*a - 304. Is z less than or equal to p?
False
Let o(z) = -3*z + 82. Let t be o(21). Suppose 7 = 13*r - t. Let m = 3 + -8. Which is smaller: r or m?
m
Let p(j) = -j**3 - 27*j**2 - 28*j - 53. Let a be p(-26). Let i be (-35)/7 - -28 - a. Is 24 equal to i?
True
Suppose 8*w - 23 - 25 = 0. Suppose 2*u = -2*y + 14, -2*u + 27 = 3*y + w. Suppose 3*i - y*i = -276. Is 68 at most as big as i?
True
Let v = -25 + 18. Let w = -15/2 - v. Let q be (-15)/36*27/90. Which is smaller: q or w?
w
Suppose -5*k = -2*o + 63, 0 = -3*k - 4*o - 12 - 5. Let t be ((-329384)/(-640))/k - -1*2. Let u = 223/5 + t. Do -0.1 and u have different values?
True
Let n = 0.147 - -166.853. Let c = -81 + n. Let r = c + -72. Which is bigger: -0.3 or r?
r
Let g = 3177 + -3159. Which is bigger: 34 or g?
34
Let q = -0.348 - 148.652. Let j = q + 147. Let k = -0.02 + 0.04. Which is greater: j or k?
k
Let a = 21646 - 23678. Is a < -2031?
True
Let l be (4376/(-5) - 0) + (-462)/(-385). Which is bigger: -886 or l?
l
Let s = -101 - -151. Suppose 0 = -5*n - 21*t + 18*t + 255, 4*t = 0. Is n not equal to s?
True
Let q be ((2 - 2)/9)/1. Let k be (1 + 18/(-17))*-2. Let w = k + -48/119. Is q less than or equal to w?
False
Suppose -a = 5*o + 119, o + 32 = -2*a + 10. Is o at most 169?
True
Let y be 108/(-729)*(-6)/(-5). Suppose 2 = 3*i + 5. Which is smaller: y or i?
i
Let t(a) = 7*a. Let v be t(38). Let w = v - 278. Which is bigger: 4/3 or w?
4/3
Suppose b = 5*u - 3*b + 50, -2*u = b + 7. Suppose 123 = -24*h - 8*h - 133. Which is smaller: h or u?
h
Let a = 44843 + -44845. Let g = -125 + 218. Suppose -5*s = -2*q + 59, 0 = 5*q + 4*s - g - 38. Is q less than a?
False
Let w = -968 - -534. Let d = -6512/15 - w. Is 1 equal to d?
False
Suppose 187 = 20*j - 2333. Suppose -2*u + 4 = 0, 5*b - 2*u + j = u. Which is greater: b or -26?
b
Let k = -1145.3 - -1226. Let r = k + -79.7. Is r at most as big as -1/26?
False
Suppose 5*a - 2*v = 75 - 4, -5*v = 5*a - 85. Suppose 0 = 3*c + 4*i + 22, -2*i + 10 = -0*i. Let w be c*((-2 - 1) + 2). Are a and w unequal?
True
Let l = -0.61175 + 0.71175. Let z = -380 + 231. Is l at most as big as z?
False
Let m(p) = p**3 - 23*p**2 + 35*p - 278. Let z be m(22). Which is smaller: z or 1417?
z
Let g = -1297 + 1286.67. Let x = 1.57 - g. Let y = x + -22.9. Which is greater: -2/5 or y?
-2/5
Let y = -8836187/24934 + 4607/13. Which is bigger: y or 1?
1
Suppose h + 259 = l, -h - 351 = l - 108. Is h bigger than -242?
False
Suppose 12 = 27*d - 28*d. Let j be -1 - 38 - (4 + d). Which is smaller: j or -20?
j
Let x = -49 - -53. Suppose 0 = 11*f - 10*f - 3*g + 9, 0 = -x*f + g - 25. Do -2 and f have different values?
True
Let w = 12.085 - 13.285. Which is greater: w or -225?
w
Let q = -1985 + 1673. Which is smaller: q or -316?
-316
Suppose 0 = 5*i + 2*x - 25, -2*i + 16 = i + x. Suppose 0 = i*w - 25 - 66. Let h = -0.7 - -0.4. Which is smaller: w or h?
h
Let z = 384.8 + -2.8. Which is smaller: 0.2 or z?
0.2
Let j be (30/27*3)/((-56908)/(-861) + -66). Suppose -5*y + 3*r = -3*y - 85, -10 = 2*r. Do j and y have the same value?
True
Suppose 0 = -2*r + 2*s + 148, 0 = -3*r - 2*r + s + 350. Let j be 12/(-20) + (-3042)/(-45)*1. Is j greater than r?
False
Let o = -0.44 + 4.34. Let k = -21.9 + o. Let y = k + 18.2. Which is smaller: y or -4?
-4
Let g be (-14102)/(-506) - 42 - -14. Let k = 6/31 + 69/124. Do g and k have the same value?
False
Suppose 13*u - 14*u = -4. Let w = -74 + u. Let s = 83 + w. Which is greater: s or 15?
15
Let k(t) = 5*t**3 + t**2 - 6*t + 4. Let o be k(1). Suppose 2*q - 5*z = 284, -3*z + 403 + 217 = o*q. Which is smaller: q or 150?
150
Let f = -31.329 + 24.579. Which is smaller: f or 0.01?
f
Let i = 14 - 20. Let h(d) be the first derivative of d**4/4 + 11*d**3/3 + 6*d**2 - 13*d + 1476. Let z be h(i). Is z equal to 95?
True
Let x = 1546119/155 - 9975. Is -1 >= x?
False
Suppose 2*j = -0*j + 10, -3*j = 4*o - 111. Suppose -o = 13*x - 17*x. Let i be 4 - (1158/49)/x. Which is smaller: 0 or i?
0
Let x(n) = 7*n**2 - 10*n - 20. Let b(j) = 20*j**2 - 29*j - 61. Let d(h) = -6*b(h) + 17*x(h). Let p be d(8). Does p = 3?
False
Let j be 12 + -14 + 898 + (-18)/(3/1). Which is smaller: 4446/5 or j?
4446/5
Suppose -109 = 7*v + 136. Let g = v + 39. Let r = 2/483 - -8201/2415. Is r greater than g?
False
Suppose -1360 = -4*b - 4*q, -202*q + 28 = -198*q. Suppose -k + 310 = -3*m - 12, -2*k + 4*m = -652. Which is smaller: k or b?
b
Let t = 849 + -1253. Are t and -404 non-equal?
False
Let t = 623 - 653.3. Let i = -7.7 + t. Let j = i - -37.96. Which is smaller: -2/11 or j?
-2/11
Let g = -424865/187 - -2272. Suppose 0*f + 3*f - 345 = -5*s, 3*f - 147 = -2*s. Let a = s + -65. Which is smaller: g or a?
g
Let c = -45 - -38.2. Let r = c + 0.26. Let k = -0.46 + r. Which is smaller: k or -2/15?
k
Let c = -0.3808 - 2448.6192. Which is smaller: c or 2/3?
c
Suppose 2*k = 66*w - 71*w - 16, w - 4*k - 32 = 0. Is w at least -68/93?
True
Let f be -23 + 36 + 556/(-20). Is -1/2 at most as big as f?
False
Let m = -67.7 - -388.7. Let k = -302 + m. Are 3 and k unequal?
True
Let c = 42.5 - 16.2. Let v = c - 25.9. Is -2/7 at least v?
False
Let j be (351/(-26))/(3 - 2355/820). Are j and -104 unequal?
True
Let r = 10.3 - 10. Let d = 58 - 62. Let q be d/(-22) - 31/(-11). Which is smaller: q or r?
r
Let u = -7139.1 - -6792. Let l = 347 + u. Which is greater: l or -20?
l
Suppose -3*k + 5*m + 5 = 7*m, -4*m = -16. Let r be (-5 - -4)/(k/2*2). Which is smaller: 6/13 or r?
6/13
Let c = -26604 - -9657. Are -16947 and c unequal?
False
Let i = -6/209 - 376/1463. Is i at most -0.646?
False
Let f = 14633.9 + -14634. Which is bigger: 4357 or f?
4357
Let g = 1348.1 - 1293. Let z = 55 - g. Is 0.039 at least z?
True
Let r be 13 - (1048/40 - 13). Which is smaller: 7655 or r?
r
Suppose -2 = 2*p + 2*q, 3 = 2*p - 9*q + 6*q. Which is greater: 9/440 or p?
9/440
Let w = -0.28839 + 0.36099. Is 2/7 at most w?
False
Suppose -y + 3*p = 4*p + 69, 0 = 5*y - 5*p + 365. Let k = y + 80. Which is bigger: -0.6 or k?
k
Let f be (-238)/22 - 6/33. Let w be -4 + -3 + (14 - 15). Does w = f?
False
Suppose 2*w = -12*w - 364. Let h = 56 + -82. Is h > w?
False
Let b(h) = -h**2 + 66*h + 166. Let i be b(37). Is 1244 <= i?
False
Let x = -0.3654 + 0.454. Which is smaller: x or -2?
-2
Let b be 32/(-40) + 9/5. Let h(i) be the first derivative of -i**3/3 + 5*i - 6. Let q be h(-2). Is q > b?
False
Let y be 3*(-100)/(-36) - (-7)/(-21). Suppose y = -2*v, 4*q - 440 = 9*v - 4*v. Are q and 311/3 equal?
False
Let x be (8888 + -8889)/((-6)/(-2)*1/(-3)). Let u = 3623 + -641269/177. Which is bigger: u or x?
x
Let y(w) = 7*w**2 + 2*w - 6. Let o be y(-3). Suppose 0 = -5*i - o + 181. Suppose 11*q = -i + 114. Which is bigger: q or 6?
q
Let r be (-102)/(-14) + (-14)/49. Suppose r = -13*p - 19. Let t = 4 + -7. Which is bigger: t or p?
p
Suppose 28*r + 14559 = 97*r. Are r and 849/4 nonequal?
True
Let p = 136 + -140. Let u be (-