 (0 + (-2)/3)*3. Is m at most as big as d?
True
Let t(k) = 2*k**3 - 49*k**2 + 22*k - 18. Let m be t(24). Let i be (1/11)/((-6)/m). Which is smaller: 2.9 or i?
i
Let w = -157 + -232. Suppose -4*r - 361*j + 362*j - 1566 = 0, j + 1554 = -4*r. Is r equal to w?
False
Let p = -338540120/165249 + 2/165249. Is -2048 not equal to p?
True
Suppose 2*w = -217 + 227. Suppose 0 = 2*u + 5*g - 76, -w*u - 4*g = -g - 228. Which is greater: 47 or u?
u
Suppose 3*u + 2*d = 63, 4*d - 66 = -2*u - 16. Let m = -3 - -9. Suppose -5*x + m*x - 19 = 0. Does x = u?
True
Let t = -0.15 - -2.15. Let b = 72.2 + -65. Let p = 0.2 - b. Which is bigger: t or p?
t
Let n = 41.708 - 41.6. Let o = n + 0.892. Which is greater: o or 126?
126
Let a = 111 + -108. Let n be a/6*(-6 - 3). Which is bigger: n or -6?
n
Let s be (-1 - -3) + 1*-2. Let b(f) = -f**3 - f**2 + 3*f + 4. Let v be b(-2). Let j be (2/4 - s)/(1/v). Which is smaller: j or 2?
j
Let p(c) = -2*c - 49. Let j be p(-25). Let i = 50 + -68. Let n be ((-45)/i*j/(-5))/1. Is 18 bigger than n?
True
Let y = -149 + 51. Let u = 3461 + -3462. Is y <= u?
True
Suppose m - 11 = -4*r, -4*m + 2*r + 29 = -3*m. Let l = m - 19. Let g be ((-5)/l)/((-4)/192). Is g smaller than 60?
False
Let m = 387/1190 + -24/85. Suppose -45*h + 37*h - 8 = 0. Which is smaller: h or m?
h
Let u(x) = -6*x - 19. Let f be u(-9). Suppose 38*s = f*s + 6. Let l = 65/7 - 9. Are s and l nonequal?
True
Let g(f) = 24*f + 7*f**2 - 11*f + 67 - 63. Let o be g(2). Does 57 = o?
False
Let t = 369 + -368.483. Let s = 0.167 - t. Which is greater: 2 or s?
2
Suppose 0 = 62*j + 104 + 128 + 16. Are -2/341 and j non-equal?
True
Suppose 505 - 3673 = -48*n. Is n at least as big as 69?
False
Let y = 234 - -151. Suppose -139*u - y = -146*u. Is u > 54?
True
Let k = -5053 - -35369/7. Which is smaller: k or 2/2703?
k
Let a = 11884 + -6487. Which is greater: 5398 or a?
5398
Let u(o) be the third derivative of o**5/30 + o**4/4 - 5*o**3/6 - o**2 - 105*o. Let x be u(1). Which is smaller: -36 or x?
-36
Let z(j) = 10*j**2 + 23*j + 44. Let m be z(-2). Let s be 26/(2/(m/(-10) - -4)). Let n be 2 - 0*(0 - 1). Which is smaller: n or s?
n
Let w be 2/(-5) + 1 - (-60)/150. Is w smaller than -0.119?
False
Let l be 29/(-15) - (-4)/(-10). Let u(s) = s**3 - 39*s**2 + 199*s - 7. Let v be u(6). Which is bigger: l or v?
v
Suppose -3*k = -5*a - 8, -4*k = 4 + 12. Let y be -4*(a - 114/(-60)). Which is smaller: y or 9?
y
Let k = -77 + 4. Let w = k - -113. Suppose -39*y + w*y = 39. Which is greater: 1 or y?
y
Suppose -23*w - 3*w - 4*w - 167580 = 0. Is w bigger than -5587?
True
Suppose n - x = 3, 4*n + 5 = 5*n - 3*x. Suppose -3*f + l = -1, -5*f - 3*l - 9 = -n*l. Is 10 smaller than f?
False
Let w(v) be the second derivative of -v**4/6 + v**3/2 - 236*v**2 + 6*v. Let a be w(0). Let o = -4241/9 - a. Which is bigger: -1/2 or o?
o
Let g be (-270 - -259)/((-2)/(-2)). Let i be (18/21)/((-4)/56). Do g and i have the same value?
False
Let r = -1.2751 - -27.2751. Let k = 2.9 + -0.9. Does r = k?
False
Suppose 28 = -19*k + 26*k. Let n be (-45)/(5/k + -2). Which is smaller: n or 121/2?
n
Let j = 178 + -178. Let x be (j + (-21)/14)/((-12)/14). Which is smaller: -1 or x?
-1
Let z(c) = 5*c**2 - 4*c + 4. Let q be z(2). Let b be (-110)/(-22)*q/10. Let k be 3 - 1 - b/(160/(-36)). Is k > 4?
False
Let y = 850.51 + -851. Let m = y - 0.41. Which is smaller: -3 or m?
-3
Let u be (16/20)/((-4)/185170). Let q = 54699216/1477 + u. Is q bigger than 0?
False
Suppose 57*c = 59*c. Suppose -w + 8*w = c. Which is smaller: w or -1/99?
-1/99
Suppose -627 - 1438 = 7*y. Let t = y - -136. Is t at least as big as -161?
True
Suppose -2*j - 2*w + 98 = 0, 6*w = 2*j - 2*w - 158. Let b(s) = -2*s**3 - s**2 - 5*s - 4. Let l be b(-3). Which is bigger: l or j?
l
Suppose -433*r = -457*r - 33864. Let d = r + 1410. Let u be ((-1)/4)/(2/4). Does u = d?
False
Let m = -17.69 + 17. Let z = -0.09 - m. Let q = z - -0.4. Is 3 at most as big as q?
False
Let w(h) = -12*h - 29. Let r be w(-9). Suppose 0 = -85*k + r*k. Do -1/1059 and k have different values?
True
Let b be (-14 - 492/(-24))*(-3)/((-3)/(-310)). Is -2015 greater than b?
False
Let s be (-778)/4279 - 18/22. Are -92/147 and s equal?
False
Let b(n) = -n**3 + 4*n**2 + 77*n. Let o be b(11). Is -33/133 greater than o?
False
Suppose 52*a + 36 = 61*a. Let i be 112/24 - a/(-3). Is i >= 25/4?
False
Let g = 0.06 - 2.06. Let l = 1.3325 + -1.2565. Is g at most as big as l?
True
Let v = -2389/199 - -111487/9353. Suppose 3*s = 3*u + 4*s, -5*s = -4*u - 19. Which is smaller: v or u?
u
Let h(b) = 44*b + 1633. Let u be h(-37). Is 2.27 < u?
True
Let h be 1746*11/33*(-2)/(-26). Which is smaller: 44 or h?
44
Let i be ((-9)/(-4))/(-3)*-4. Let m be 25/((-6 + i)/(0 + -3)). Is m less than 3?
False
Let y = 668 + -446. Let t = 227 - y. Is -5 >= t?
False
Let i = 0.691 - -0.009. Let c = -0.3 + i. Let z = 0.45 - c. Which is bigger: 0.2 or z?
0.2
Let p be (-3)/((-81)/18)*(-3)/(-4). Let n = 3310 + -13059/4. Is p less than or equal to n?
True
Let x(b) = -4*b**3 + 10*b**2 - 4*b + 34. Let w(v) = -v**3 + 3*v**2 - v + 11. Let r(n) = 7*w(n) - 2*x(n). Let u be r(0). Is 9 < u?
False
Let j = 135 + -146. Suppose 5*w + 36 = 2*a, -2*w - 2*w - 3*a - 38 = 0. Is j > w?
False
Let c(b) = 2*b + 3. Let t be c(2). Suppose 0 = t*s - 4 - 24. Let w be s/((-32)/100)*6/10. Which is smaller: w or -7?
w
Let b be (4 - 3)*(24*7 - 4). Let v be 26 - 30 - b/(-42). Let a be -2 + (4 - (-9)/(-3)). Which is smaller: v or a?
a
Let m = 1 + 1. Let y be (-15)/(5 + (-77)/14). Suppose 0 = -2*v + r + y, -23*r = -19*r - 16. Is m smaller than v?
True
Let q = -11950 - -12475801/1044. Which is smaller: 0 or q?
0
Let f = -4002.2 + 4002. Are f and 10 non-equal?
True
Suppose -69*h - 244*h = -11268. Which is bigger: h or -92?
h
Let s be ((-2)/(-4))/(3/12). Let t be ((-416)/(-2976))/(2/36) - 2. Is s != t?
True
Suppose f = 11 + 31. Suppose -4*v = -0*m + m + 63, -m + f = -3*v. Let i be (v/12 - 1)/((-2)/(-8)). Is i less than or equal to -7?
True
Let n(m) = -2*m + 27. Let k be n(18). Let c be (k/(-5) + (-10)/10)/(-190). Is 1 <= c?
False
Suppose 2*r - 3*l + 19 - 107 = 0, 3*r - 132 = -l. Let z be 4*(1*(-186)/r - -4). Let v = -2 + 2. Which is smaller: z or v?
z
Let t be 0 - (12/(-30) - 8/(-20)). Which is greater: -400 or t?
t
Let q = -0.037 - -471.037. Let p = -472.6 + q. Are 1.5 and p unequal?
True
Suppose -18*a - 2091 = -58*a - 11*a. Is 3.18 > a?
False
Let t be -6 + (-364)/(-63) + 620/6435. Do -1 and t have different values?
True
Let b be (-23)/(3 + (-39)/12) + -2. Let r = b - 90. Suppose r = 10*d - 6*d + 80. Is d greater than or equal to -20?
True
Let i = 291727 + -291727.05. Suppose 4*s = 6*s. Let j = s - -3/5. Which is bigger: i or j?
j
Let q(h) = 2*h**2 - 25*h - 48. Let p be q(9). Is -768/7 at least p?
True
Suppose -7*w + 31 - 17 = 0. Suppose -3*s = -2*f - 16, 4*s - f - 15 = -s. Suppose k + 56 = w*g, 0*g + s*g = -3*k + 48. Which is smaller: g or 26?
26
Let s = -133 + 135. Suppose s*d - 2*g + 24 = 4*d, 3*g - 20 = -d. Let z(o) = -2*o + 24. Let k be z(d). Does 55/6 = k?
False
Suppose 112 = 15*c - 38. Let z be (518 - 85)*(-4)/c. Which is smaller: z or -173?
z
Suppose 191*d = 12962 - 80958. Is d at most -358?
False
Let m(a) = a**3 - 38*a**2 + 4*a - 570. Let z be m(38). Which is bigger: -428 or z?
z
Let t be 0 - (1 + (-4 - -4) - 177). Let c = 132 - t. Which is bigger: c or -42?
-42
Let y = 3 + 1. Suppose 5*g - 4*g - 4 = 0, 3*g = y*f + 16. Let j be (-19)/((-1 - (-2 - -4))*f). Which is bigger: j or -5?
-5
Let j be (381352/(-38135))/2 - (-403 - -398). Which is smaller: -1 or j?
-1
Let r = 0.737 + 0.053. Let k = 0.00856 - 11.79856. Let x = k + r. Which is greater: 1 or x?
1
Let p = 225 + -205. Suppose 2*l + p = 50. Which is smaller: l or 14?
14
Let l = 2104.1 - 2264. Let b = -160 - l. Which is bigger: -100 or b?
b
Let p be 10*9/(180/8). Suppose 1 = p*h + 17. Let b be ((-1)/(-2))/(2/h). Is -1 not equal to b?
False
Let x(m) = -m**3 - 15*m**2 - 20*m - 36. Let w be x(-14). Suppose w*u + 1212 = 60*u. Which is greater: u or 102?
102
Let x = -16635 + 16643. Let o = 5 + 0. Suppose -p - 2*s = -14, -o + 14 = 3*p - 5*s. Is p bigger than x?
False
Suppose -5*u = -3*i - 75, 0 = -2*u - 2*u - 2*i + 60. Let t be 5/u*(0 + -1). Let a be -3*(-2 + (-25)/((-825)/72)). Which is smaller: a or t?
a
Suppose h + 12 - 4 = 4*o, 2*h = 2*o - 