alse
Let w be 2/8*40 + (1 - 6). Suppose 163 = -0*j - 4*j - w*i, -j - 46 = -4*i. Is j smaller than -44?
False
Let n(x) = 35*x - 264. Let p be n(5). Does -86 = p?
False
Let u be (-6)/(-6) - (7 + (-102)/18). Let x = -61 + 107. Which is smaller: u or x?
u
Let r be (-6*(6 + (-35455)/28))/(9/(-12)). Is r bigger than -10083?
True
Let n be 0/(-1) - (27 + (-38616)/96). Is 375 less than n?
True
Let v(i) = i**3 - 3*i**2 - 6*i + 1. Let x be v(4). Let h(m) = 21*m**3 - 4*m**2 + 6*m - 5. Let k be h(2). Let p = 151 - k. Which is greater: p or x?
x
Let b = -8 - -4. Let h be -4*b/16*82. Let t = h + -244/3. Are t and 1/7 unequal?
True
Suppose -3*o + 446 = 4*v, -153 = 3*v + 3*o - 489. Suppose 4*k = -4, 2*z = z + 5*k + 116. Which is smaller: v or z?
v
Let k be 14/(-4)*(9/((-333837)/(-37177)) - 1). Is 0 at least k?
True
Let k be -5*(4932/255 - 4). Let l = k + 18900/187. Let d = 1502/77 - l. Which is bigger: d or -4?
-4
Suppose 52 = 61*f + 662. Which is greater: 9/2 or f?
9/2
Let l = -194 - -190. Let d be (5 + 7 + l)*4/(-168). Is -0.3 equal to d?
False
Let r = -48 - -51. Let l(q) = q**3 - 4*q**2 + 5*q - 3. Let b be l(r). Suppose b*x = -3*w - w - 51, -96 = 4*x - 4*w. Does -22 = x?
False
Let n be (20/4)/1 - (-7 - (-39510)/65). Which is smaller: -597 or n?
-597
Let n = -235 + 204.8. Let s = n - -30. Is 13.2 != s?
True
Let m = -3956 + 3957. Which is smaller: -2.694 or m?
-2.694
Let k be 4 - 0 - (-48)/156*-13. Which is smaller: 1/299 or k?
k
Let y = -169581/8 + 21156. Which is bigger: y or -41?
-41
Let c = 25138 - 25144. Which is smaller: -926 or c?
-926
Suppose -4*q - 3*g = 3, -2*q + 4 = -3*g - g. Suppose q = -0*x - x - h - 72, 3*x + 4*h + 213 = 0. Let d be 2*(x/(-63) - 12/9). Is 4/11 bigger than d?
True
Suppose 559*l - 564*l = -r + 39, -r = 5*l + 31. Let p be (-5 + 64)*2/5. Let x = p - 314/15. Which is smaller: r or x?
x
Let r = -26.39 + 26.34. Is r at least -0.244?
True
Let r = -9445 + 9446. Are r and 7/2700 equal?
False
Let k be (28 - 0)*9*(-12)/21. Let z be k/(-56)*((-14)/10 + 0). Which is smaller: z or -3?
z
Let n(u) be the third derivative of -u**6/120 - u**5/6 - 3*u**4/8 + 5*u**3/6 + 2*u**2. Let z be n(-9). Suppose 0 = -z*l + l. Is l smaller than -3/28?
False
Let y(r) = r**3 + 2*r**2 - r + 2. Let f be y(-2). Suppose f*v - 2*c - 41 = -7*c, -v + 2*c - 6 = 0. Let z be 0*((-18)/(-6) - v). Is 8/11 smaller than z?
False
Let o = 5156.1 + -5149.1. Let k = -8 - -6.9. Let d = 0.1 + k. Which is smaller: o or d?
d
Suppose -18*r + 26254 = -20326 - 11452. Is 3226 at most r?
False
Let a = -48126 + 47555.38. Let h = -571 - a. Suppose 0 = -4*u + 22 - 2, 0 = -2*z + 4*u - 20. Which is greater: z or h?
z
Suppose 4*x - 7*x + 6 = 0. Let r be (-205)/(-2)*x*5/(-1305). Let h = -2/261 - r. Is 2 > h?
True
Suppose 0 = -4*g + q + 7 + 3, q - 2 = 0. Suppose -11*b = g*b - 56. Which is bigger: 5 or b?
5
Let p = 10275 - 10274. Let k = 241/44 + -23/4. Which is smaller: p or k?
k
Suppose 2*l - 84 = -2*l. Suppose 21*p - 135 = 390. Let i be (-53)/(-2) + (20 - p). Which is greater: i or l?
i
Let f(x) = -5*x + 14. Suppose 0 = -n - 5, 2*o - 3*n + 2*n - 13 = 0. Let p be f(o). Let i be 72/(-81)*(-69)/(-24)*p. Is 15 not equal to i?
True
Let z = 379 - 131. Let j be (z/(-18) - 12/54)/2. Let f be (-14)/(-36)*5/j. Does 0 = f?
False
Let r = 21 - 20.6. Is r > 3?
False
Let l = -973254.981 - -973907. Let q = -652 + l. Is q not equal to -2/3?
True
Let o = 551 + -681. Let m = o + 121. Which is smaller: m or -25?
-25
Let o be (-20)/(-12) + (-244)/(-3). Suppose -o - 7 = -9*k. Suppose -7 - 5 = -3*p. Which is greater: p or k?
k
Suppose c + 19*w = 14*w + 27, -4*c = -4*w + 12. Suppose -172 = c*f - 170. Which is smaller: 15/43 or f?
f
Let z = 0.3128 - 9.0128. Which is smaller: -4 or z?
z
Let j = -13865 + 13498. Which is smaller: j or -384?
-384
Let w = 2235 + -2235. Is 4/7287 < w?
False
Let p = -249 + 250. Let a be 2/(-6)*(-261)/(-493). Is p at most a?
False
Let z = -441 + 441. Let h = -1/444 - 9749/8436. Are h and z unequal?
True
Let k be (-27)/(-81)*-84 - (-9 + 1). Let t = 38 + -38. Which is smaller: k or t?
k
Let x be (1/(-2))/((-105)/4). Let z(o) = -o**3 + 6*o**2 - o + 1. Let q be z(1). Let v be (-3)/q*455/(-273). Which is greater: x or v?
v
Suppose -5*d = -4*h + 13344, 152*h + 5*d = 148*h + 13304. Is h <= 3330?
False
Let i(t) = -t**2 + 28*t + 29. Let f be i(23). Let n(j) = 2*j**2 + j + 87. Let k be n(0). Let o = k - f. Does -57 = o?
True
Suppose -184 = -32*f + 36*f. Let m = f - -45. Let b be (-22)/(-44)*((0 - -1) + m). Which is bigger: b or -4.6?
b
Let o = -52/545 + 379/545. Let q(w) = -w**3 - 7*w**2 - 7*w - 5. Let m be q(-6). Which is bigger: o or m?
m
Let r = 50 - 134. Let m be r/9*(-13)/(-156). Which is greater: m or -2?
m
Suppose 2*n - 1 = 5*x + n, 0 = -x + 3*n + 11. Let p = -4378 + 4383. Is x != p?
True
Let k be 8/4*(-8)/304. Let m = -1 - -1. Let n(q) = q**2 - q. Let x be n(m). Is x < k?
False
Let w be 8/20 + (-49)/135. Suppose 0 = -93*p + 81*p. Suppose -137*f + 142*f + 5 = p. Is w greater than f?
True
Suppose -69*d = -135*d + 69*d - 663. Is 214 smaller than d?
True
Let q be (-1 - 1/3)/(70/(-1175)). Which is smaller: 21 or q?
21
Let d(r) = 3*r**2 + 14*r - 4. Suppose -5*h = -a, a - 2 + 9 = -2*h. Let q be d(a). Let p = 2 - 5. Is p less than q?
True
Let g(w) = w**2 + 4*w - 76. Let x be g(-11). Let n be 24/375 + (1 - 2/2). Which is greater: n or x?
x
Suppose -7*m = 2*m + 342. Let c = m - -61. Suppose 26 + c = 7*h. Which is greater: h or 8?
8
Suppose -5*b + p + 8819 = 0, 8801 = -817*b + 822*b - 4*p. Is 1764 < b?
True
Let p = 4998/23 + -69967/322. Does -2/11 = p?
False
Let r = -3463 + 3504.02. Let h = r + -1.02. Let n be (12/21)/((-12)/(-14)). Which is greater: n or h?
h
Let p = -22208053987211/219725 + 101072040. Let y = 3/1175 + p. Which is smaller: 0 or y?
0
Let m = -100952/44618805 - 2/51345. Let p = -5228/6083 - m. Let s = -0.4 + -1.6. Is s <= p?
True
Let y = 239.98 + -240.09. Do y and 14/149 have the same value?
False
Let y = 45438/7 + -7043142/1085. Is y <= 0?
True
Let w(q) = 53*q - 13. Let o(h) = -26*h + 6. Let k(r) = 5*o(r) + 3*w(r). Let y be k(-2). Is y less than or equal to -66?
True
Suppose -5*c = -15, 175*y + 109 = 171*y + 3*c. Which is bigger: y or 100?
100
Let m = 41 + -19. Let z = m + -22. Let v = -68.2 - -104.2. Which is greater: z or v?
v
Suppose 5*i = -3*n + 8, -341*n + 343*n - 4 = -3*i. Is 3292 > n?
True
Let l = -77 - -35. Let p be -36 - l - (-15)/(-3). Is p at least as big as 30/101?
True
Let o = -172994301/1349656 + -3523/4312. Let q = o + 129. Which is bigger: -1 or q?
q
Suppose 76*b - 29206 + 8005 = 113*b. Is -574 greater than b?
False
Suppose -221 = -4*r + 3*g - 74, -5*r - 5*g = -140. Let c be ((-2)/(-1086))/((-66)/r). Is c at least as big as -1?
True
Let c = -12573 - -12578. Is 230/39 equal to c?
False
Let p(o) = -o**2 - 105*o + 310. Let a be p(-51). Is a less than 3065?
True
Suppose -16 = i - 0*i. Let a = i + 20. Suppose 0 = -x + a*x. Which is smaller: -2/11 or x?
-2/11
Suppose -3*z = -7*z - 8, 5*l = -4*z + 7. Let q = l - 7. Let x(w) = 6*w + 1. Let v be x(q). Which is smaller: -25 or v?
-25
Let a be -8 - -7 - (-9)/4. Suppose -5*h - 4*g + 665 = -933, -5*h = -5*g - 1580. Let t = h + -316. Which is bigger: a or t?
t
Let l be 41920/8400 - (-15)/((-6)/2). Suppose 3*p + 6 = -3*p. Which is greater: p or l?
l
Let j = 1446 - 954. Suppose 5*y - 487 = -j. Is y greater than -3/17?
False
Let d = -43504 - -43508.4. Is d bigger than -44/5?
True
Let t = -667 + -417. Let r be t/1330 - 4/(-5). Is -1 < r?
True
Let h = 8/21 + 2/105. Let k = 421 - 419. Suppose 4*b + 5*x - 10 = 0, -9 = k*b - 4*x - 1. Is b less than or equal to h?
True
Let p(q) be the second derivative of q**5/20 + 7*q**4/6 + 4*q**3 - 72*q. Let h be p(-12). Suppose 4*g - 4 = 8*g. Are g and h unequal?
True
Let u = -17701/12 + 618151/420. Let x = u - -58/15. Is 1 at most x?
False
Let u = -271 + 263. Let d(k) = -8*k**2 - 51*k - 11. Let f be d(u). Are -115 and f non-equal?
False
Suppose 57*n + 79638 = -12417. Which is smaller: 8 or n?
n
Let z be (-2)/4 - (-3385)/10. Let v = 10482/31 - z. Let m = 180 - 181. Is m smaller than v?
True
Let g be -6 + (-160)/15*(-291)/4. Let r be (-114)/152 - g/8. Is -96 < r?
False
Let w(s) = s**3 + 11*s**2 - 3*s - 28. Let v be w(-11). Suppose z - 5 = -0*q - v*q, -20 = -4*z - 3*q. Let a be 28/35 + 11/z. Which is smaller