ast 61?
False
Let a = 5635 - 5178. Is 454 less than a?
True
Let j = -684.71 + 685. Let g = j + -0.2252. Do g and 0 have the same value?
False
Suppose -16*w + 5657 + 10355 = 3900. Are w and 753 equal?
False
Suppose -14*t - 3*g = -15*t + 140, -5*t + g = -630. Is 131 at least t?
True
Let q be 64/16 - 12*-243. Let b = q - 4220. Let k be (b/(-5))/4 + 2. Which is smaller: k or 68?
k
Suppose -20*o + 8*o = -443 - 3697. Is o not equal to 346?
True
Let z = -103645/52 - -1993. Suppose -100*v + 155 - 255 = 0. Which is smaller: v or z?
v
Let n = 33 - 98/3. Let h = 8 + 28. Let z = -35 + h. Do z and n have the same value?
False
Let u be 290/(-2175) + 502/(-10). Let t = -38 - 13. Which is smaller: t or u?
t
Let j = 109821 + -1647983/15. Are j and -45 equal?
False
Suppose 0 = -s + 3*s - 12. Let t(u) = u**3 + 12*u**2 - 15*u - 18. Let b be -1*13/(4 - 3). Let r be t(b). Is s equal to r?
False
Let i = -681 - -487. Let u = -194.1 - i. Suppose 0 = 2*o - 0*o - 52. Which is smaller: u or o?
u
Let d(c) be the third derivative of c**5/60 + c**4/12 - c**3 - 7*c**2. Let f be d(3). Let w be 2/60*12/f. Is w <= 1?
True
Suppose -c = -u + 2*u - 23, 0 = 4*u + 4. Let z = -235 + 260. Is c > z?
False
Let i = 5.973 + 99.027. Which is smaller: i or 13?
13
Let o be ((-36)/2)/((-114)/(-5168)). Let p be 4 + o + 2 - -1. Is -809 != p?
False
Let z(g) = 39*g - 121. Let w(v) = 2*v**3 + 9*v**2 - 4*v - 23. Let k be w(-4). Let p be z(k). Are 1 and p unequal?
True
Let k = 7162455/49 - 146184. Is k bigger than -11?
False
Suppose -3*m = -3*g, -1 = m + 5*g + 5. Let u = -314 + 325. Suppose 0 = -u*p + 7*p + 36. Does p = m?
False
Let i be (-441)/(-70)*16/24. Is i greater than or equal to 5?
False
Let s = 6.6 - 39.6. Let w = s - -34. Let j = 3188/11 + -290. Is w smaller than j?
False
Let n = -117 - -181. Suppose -16 + n = 12*h. Suppose 0*x = -h*x - 0*x. Which is smaller: x or -17/7?
-17/7
Let s = 1.718 - 3.518. Which is smaller: 1/94 or s?
s
Let s(t) = 1 - 14*t + t**2 + 4 - 8. Let l be s(15). Let j = -28 + 40. Is j bigger than l?
False
Suppose 0*g + 741 = 2*g + v, 1477 = 4*g + v. Suppose 2*u = -780 - g. Let k be 2 + u/132 + (-14)/(-84). Which is bigger: -2 or k?
-2
Let n = 1 + 1. Let u be (-557)/(-279) + (n - 4). Which is smaller: 1 or u?
u
Let d = 8.411 - 8.401. Is d bigger than -9/5?
True
Let d be 3*30/(-18)*(-13)/1. Let b be d/(-100) + 1/4. Let m(r) = r + 8. Let f be m(-8). Which is bigger: f or b?
f
Let o be (-868)/(-21) + 60/36. Are 53 and o equal?
False
Let j(q) = -9*q + 34. Let o be j(1). Suppose f - 2*a = -o, 2*a = 3*a. Is -27 at most f?
True
Let p = 26 + 89. Let q = p - -176. Are q and 291 equal?
True
Suppose -3*r = -3*x - 6, 2*r = -2*x + 7*r - 16. Let s = 39 - 97. Let b = -58.1 - s. Which is smaller: x or b?
b
Suppose 4*i - 21 = -5*s, s - 5*s + 2*i - 4 = 0. Let h = -175549/705 - -28006/47. Let q = h + -347. Is s greater than q?
True
Let i be 2/(-3) - (-11)/3. Suppose -51*z + 14 = -44*z. Let t be z + 0 - (-3 + i). Which is greater: t or 1?
t
Let f = -8 - -34. Suppose -13*p + 116 = -5*p - 4*p. Let y = f - p. Does y = -3?
True
Suppose 638*d = 473*d - 473385. Which is greater: -2866 or d?
-2866
Let n = 78 + -60. Suppose 2*l + l = n. Suppose -l = 2*z - 5*z - o, 0 = -2*z - 5*o + 4. Which is smaller: 2/9 or z?
2/9
Suppose 5*x - 29 = -3*t, 0 = x + 5*t - 24 + 5. Suppose 4*z + x*z = 24. Let v = 4 - z. Which is smaller: -61 or v?
-61
Let x be -1 - 0 - -5 - 0. Let q be ((-8)/150)/(x/(-10)). Let c = -19/30 + q. Is c less than 0?
True
Let x = 1648.91 + -1679. Let r = x - -30. Let b be -5*(-4)/30 + -1. Which is greater: b or r?
r
Let c = -14143 + 15020. Do 882 and c have the same value?
False
Let h(r) = 18*r - 166*r**2 + 79 + 65*r**2 + 102*r**2. Let d be h(-6). Is 74/9 bigger than d?
True
Suppose 4*c = -4*c + 32. Let i(b) = -3*b - 2 - 2*b - b**3 + 6 - c*b + 11*b**2. Let f be i(11). Is f != -95?
False
Suppose 12*g + 192 = -2462 - 598. Which is greater: g or -280?
g
Suppose -29 = -4*w - 5*k, w - 3*w - 4*k = -16. Let m be 5/w*((-606)/15 + 1). Let o = m - -33. Which is smaller: o or -0.1?
-0.1
Suppose i - 3*i = -j - 1056, j = -4*i - 1080. Which is smaller: j or -2129/2?
-2129/2
Let y(b) = b**3 - 29*b**2 - 304*b + 295. Let n be y(37). Is n greater than -20/1911?
False
Suppose 5*g = -4*n + 4977, -7*g + 4*g - 1223 = -n. Let z = n - 6218/5. Which is greater: -5 or z?
-5
Suppose 2*t - 1 = 1. Let o(w) = 23*w + 23. Let z be o(-4). Let u be (z/(-15) + -5)*5. Does u = t?
False
Let x be ((-549)/(-122)*(-10)/(-135))/((-1847)/9). Is x less than or equal to 0?
True
Let n be (3 + (-375)/(-5) + -7)*(11 - 12). Suppose 5*h + 345 = -0*h. Which is greater: h or n?
h
Suppose 3*q - 1353 = 2*h - 4*h, 5*h + 3*q = 3360. Let t be (-3 + 2043/h)/2. Which is smaller: t or 1?
t
Let s(o) = 78*o - 605. Let j be s(8). Which is smaller: j or 34?
j
Let a(m) = -m**3 - 37*m**2 + 37*m + 161. Let d be a(-38). Which is greater: d or 197?
d
Suppose -49*s - 4*s = 3339. Let b = 357 - 362. Is b bigger than s?
True
Let b be 10/(0 + (-2)/(-116)). Let i = b + -12182/21. Let v be ((-160)/(-24))/(-10) + 2/(-6). Is i smaller than v?
False
Let m be -16 + 245/21 - (-4)/(-6). Are m and 67 non-equal?
True
Let o = -0.5453 + 0.573. Let f = o - 0.1927. Which is greater: 1 or f?
1
Let c be (-1526)/4 - (-864)/(-36). Which is smaller: c or -407?
-407
Suppose 4*b - 16 = -0*b. Suppose 13 = -b*k + 5. Let u be (-472)/118 - -1*1. Do k and u have the same value?
False
Suppose 80 = -5*s + o + 223, 5*s + 2*o = 149. Which is smaller: s or 14?
14
Let i = 31 + -94/3. Suppose 391*k - 733*k = 419*k - 761. Which is smaller: i or k?
i
Let j(y) = 42*y - 113. Let n be (10/4)/(((-135)/18)/(-15)). Let z be j(n). Is z greater than 96?
True
Let j(x) = -x**3 + 4*x**2 + 2*x - 1. Let w be j(2). Let d(l) = 17*l + 37. Let c be d(-3). Let q be 14/c - 25/(-2). Is w at least as big as q?
False
Let a be ((-1)/8 - ((-135705)/(-9432))/5) + 3. Which is smaller: -1 or a?
-1
Let t = -17.7 + -0.3. Let z = -278 - -295.92. Let m = t + z. Do m and -1 have the same value?
False
Let h = 535 - 567. Suppose -8*m - 403 + 147 = 0. Is h smaller than m?
False
Let b = -10732 + 10740. Let m = -1473 - -2883/2. Let j = m + 32. Does b = j?
False
Let d = 43744 + -44001. Which is smaller: 47 or d?
d
Let r(p) = -p**3 - 7*p**2 + 6*p - 2. Let f be r(-6). Suppose 77596*g + 192 = 77593*g - 4*i, 0 = 5*g - i + 366. Which is greater: f or g?
g
Suppose -5*x - 6862 - 319 = 4*f, -5*f = -2*x - 2879. Is x at least -1438?
True
Let z = -29 - -36. Let f = z + -4. Suppose f*s - 33 = -0*s. Is -2 equal to s?
False
Suppose 0 = 4*w + 4*l - 7124, -2*w - 4*l + 1637 + 1917 = 0. Is w less than or equal to 3569/2?
False
Let d be 14278/(-110) - (24/20)/(15/(-10)). Which is smaller: -44 or d?
d
Let w = -2/48045 + 432433/672630. Let o = 0.1 + 0.2. Which is smaller: w or o?
o
Let w(l) = l**2 + 4*l + 3. Let v be w(-2). Let z be ((-276)/(-24955))/(30/(-105)). Is v smaller than z?
True
Let h = -50 + 47.9. Let b = h - -2. Suppose -3*f + 21 = 3*k, -157 = 2*f - 4*k - 141. Is b > f?
False
Let u = 34242 + -34399. Let a = 105 + -263. Which is smaller: u or a?
a
Let s = 38 - 35. Suppose -2 = -s*u + 19. Suppose 5*n - 2 = u*n. Is n at most as big as 2/31?
True
Suppose -16*v + 21 = -13*v. Suppose 6*k = v + 11. Suppose 70 = 10*y - k*y. Which is bigger: 0 or y?
y
Let n be ((296/(-24))/((-4)/(-3)))/((-54)/9504). Which is smaller: 1630 or n?
n
Let c be ((-69)/1840*-36)/(-1*8/20). Is c < -0.01?
True
Let n = 96.942 - -0.058. Let q = n - 88. Which is smaller: 0.06 or q?
0.06
Suppose -18*g = -36*g + 31*g + 247. Does g = -40?
False
Let f be ((-10 - -4)/(-6))/((-2)/(-608)). Let h = f - 304. Is h equal to 17/8?
False
Suppose -89*s + 6489 = 26069. Is -2410/11 not equal to s?
True
Let k(z) = 37*z - 4. Let b be k(-3). Let x(c) = 410*c + 7790. Let r be x(-19). Which is smaller: b or r?
b
Let l be 6*(6 + 44/(-8)). Suppose -4*b + 8 = 2*i, b = l*b - 4*i - 14. Which is smaller: b or 14?
b
Let k = 10.2 - -0.1. Let u = k - 10.21. Which is bigger: u or -0.07?
u
Suppose 6*y - 2*y = -20, -5*j + 5 = 4*y. Suppose 0*h + 270 = -j*h. Let g = -150 + 97. Is h > g?
False
Let o(n) = -n**3 + 22*n**2 - 22*n + 28. Let i be o(21). Let p(v) = -v**2 + 7*v - 8. Let l be p(i). Let j be (-10 - l)/(14/(-74)). Is 10 at most as big as j?
True
Let f = 3971 - 3999. Is f < 0.086?
True
Let m(o) = 72*o - 41