- 5*n - 17. Which is smaller: u or n?
u
Let r(z) = -z**3 - 8*z**2 + 24*z + 99. Let u be r(-10). Is u greater than 5?
True
Let w = -2/77 + 24/77. Let x = -1379.594 + 1377. Let a = 0.294 + x. Is w greater than a?
True
Let n = -1077 - -1080. Suppose 2*c - 33 = 3*z, 0*c = -n*c + 2*z + 47. Let d = 859/2 + -414. Is d >= c?
True
Let i be (2103/(-12))/((-9)/(-72)). Is i != -1404?
True
Let z(c) = c**3 + 19*c**2 - 41*c + 21. Let d be z(-21). Suppose d = 164*f - 171*f + 126. Which is bigger: f or 17?
f
Let i = 0.448 - 142.448. Let y = i + 32. Which is smaller: 1/4 or y?
y
Let a be 3/30 - (-3138)/420. Let c = a + -163/28. Does c = -13?
False
Let w be (-57)/38 - (-17)/2. Let t(m) = -m**2 + 16*m - 24. Let a be t(6). Suppose w*d = d - a. Which is smaller: d or 2?
d
Let m(f) = 11*f**2 + 12*f + 505. Let u be m(25). Which is bigger: 7681 or u?
7681
Let m = 3416 - 3410. Is m at most as big as 76/11?
True
Let r = -18 - -15.8. Let k be (-16)/(-168)*-3 + 0. Which is smaller: k or r?
r
Suppose 5*t + 5 = m, 150 = 2*m - 2*t + 140. Let b = 120028/357 + 227/238. Let f = b - 333. Is m at least as big as f?
True
Suppose 28*a + 14382 = -23*a. Which is greater: -284 or a?
a
Let j = -161 + 166. Suppose -j*m + 3*k + 60 - 135 = 0, -45 = 3*m - 3*k. Which is smaller: m or -63/4?
-63/4
Suppose -27781*p = -27818*p. Are -54/913 and p unequal?
True
Suppose 2*y = 3*y + 5*h - 25, -3*h = -12. Let k be -6 + y + 4 + -2. Is k != -6/233?
True
Let o = -94 + 106. Suppose 11*z - o*z + 12 = 0. Let j(i) = -4*i + 32. Let c be j(z). Which is bigger: c or -13?
-13
Let f = -15823/8 - -1982. Suppose 0 = 19*z - 22*z + 1419. Let j = -470 + z. Which is smaller: j or f?
j
Suppose 5*v = -v + 5*r - 227, -2*v = -5*r + 79. Which is bigger: -42 or v?
v
Let o = 14084 + -14073.89. Which is smaller: -2 or o?
-2
Suppose -9923 = 4*a + 3*v - 28037, -a + 4563 = -5*v. Which is smaller: a or 4532?
4532
Let j(u) be the first derivative of -u**2 + 48*u - 4. Suppose 4*f = 5*x - 0*f - 125, x - f - 26 = 0. Let b be j(x). Which is bigger: b or 1?
b
Let x = -12.7283 + 12.661. Which is smaller: x or 0?
x
Suppose d + 20 = -3*j + 1, -3*d + 3*j + 3 = 0. Let k be 12*(d - (10 - 15)). Let z(m) = m + 2. Let i be z(5). Which is bigger: i or k?
k
Suppose 4*y - r + 27984 = 0, -16*y + 5*r - 7015 = -15*y. Do -1 and y have the same value?
False
Let g = -19.54 + -22.46. Is 6 <= g?
False
Suppose -130*z = -129*z + 5. Let t(k) = k**3 + 10*k**2 + 24*k - 8. Let j be t(z). Which is bigger: j or 110?
110
Let t be 110/(-156) - 24/52. Suppose i = 2*i. Which is smaller: i or t?
t
Let z = -2056/33 + 10214/165. Let q be (-117)/(-60) + (-3 - -1). Is q less than z?
False
Let r(q) = -11*q + 4*q - 10 + 7. Let p be r(3). Let u be (0/(-5))/(-1)*-1. Which is greater: u or p?
u
Let k = 321223/3 + -336125/3. Is -4967 > k?
True
Let p be 2 - (-1 + 2 + 2). Let k(f) = -69*f**3 + 3*f**2 - 2*f + 7. Let r be k(3). Let s = 240387/131 + r. Which is bigger: p or s?
s
Suppose 5*z + 29 = -q, -55*q + 57*q = 4*z + 26. Is 2/27707 != q?
True
Let h(m) = -m + 2. Let y be h(6). Suppose -7*b + 13*b = 4*d + 376, b - 4*d - 76 = 0. Let u be y - b/(-16) - -1. Which is smaller: -1/9 or u?
-1/9
Suppose 9*r = -20*r - 25 + 518. Suppose p + 3*p = 12. Which is smaller: r or p?
p
Let u be 1*(1 + 0)*-2. Let i = 144 + -140. Suppose -4*w - i*t - 4 = w, 0 = -4*w - 5*t - 5. Which is smaller: w or u?
u
Let a(m) = -m**2 - 5*m + 73. Let q be a(8). Do -433/14 and q have different values?
True
Let s = 0.09364 - 0.16364. Is s > -0.5?
True
Let n = -71294 + 358093/5. Let w = n - 325. Which is bigger: -51 or w?
w
Let h = 1327 + -1271. Which is smaller: h or -0.04?
-0.04
Let w = -128335/7 + 18334. Let h = 0.75 - 0.54. Which is greater: w or h?
w
Let k = -1474 - -1431. Let l be 1 + 3 + 5 + -3. Let s be -88*(-1 - l/(-4)). Which is greater: k or s?
k
Let c(h) = -h**3 + 6*h**2 + 6*h + 8. Suppose 10*t - 7*t = 21. Let u be c(t). Suppose 3*i - i = 3*z - u, -2*z = i - 3. Is z at most as big as 0.17?
False
Let a(g) = g**3 + 3*g**2 + 353*g + 1064. Let p be a(-3). Let m(o) = 2*o**2 - 3*o. Let r be m(2). Let q be (3/(-4))/(r/(-8)). Are q and p nonequal?
True
Let p(q) = -q - 69. Let x be p(-10). Let z = x + 64. Let t be z/(((-6)/(-2))/21). Do t and 36 have the same value?
False
Let z = 58.05 + -56.05. Which is bigger: z or -2/21?
z
Let s = -737 - -1475/2. Suppose -9*r = -r + 1744. Is r not equal to s?
True
Suppose -4*w + 20 = -2*r, 0 - 10 = -2*w - r. Suppose 71 = -g - 3*n, w*g + 7*n - 4*n + 319 = 0. Is g > -62?
False
Let x be (225/10)/(-3)*-4. Let b = -28 + x. Suppose 0 = b*t - 5*t - 90. Which is smaller: t or -1?
t
Let t = 17288 - 17807. Which is smaller: t or -501?
t
Suppose m + 5*h = -10, -2*m + 4*h + 6 = h. Let t be (m - 0/5)*(-3)/(-6). Is -6 equal to t?
False
Let o = 959837/26 + -36910. Let r = o - 15917/2340. Which is smaller: r or 0?
0
Let t = 14.244 + -14.344. Which is greater: t or 0.03059?
0.03059
Let o be (((-31367)/(-3486) + -9)*-2)/((-2)/(-24)). Which is smaller: -1/4 or o?
-1/4
Let z = -8 + 16. Let i = z - 6.4. Let q = i + -1.6. Is q != -7?
True
Let b = -53 + 52. Let j be 1/(-2) + (-575)/(-10). Let u = j + -1595/28. Which is bigger: u or b?
u
Let l be ((-260)/5)/(1/4). Let p be l + 1 - (-32)/8. Let t be (-4)/(-6) + p/399. Is 1 bigger than t?
True
Let w = 8830403/10005 - -2/2001. Which is smaller: w or 883?
w
Let h = 25 + -37. Let f be -1 - (-2 + 18 + -4). Let r be (-4)/(f/5 + 3). Which is greater: h or r?
r
Let j = 0.35 + 0.05. Suppose -f + 4*z = 46 + 81, -3*z + 652 = -5*f. Let o = f + 132. Is o < j?
False
Suppose 2*q + 2*d = 22, -467*d + 13 = 5*q - 469*d. Which is smaller: 620/161 or q?
620/161
Let n = 2 + 107. Let c = -109.024 + n. Is 2 not equal to c?
True
Suppose 78664 - 3860 = 80*p - 636. Does p = 942?
False
Let i = 151 + -207. Let r = i - -223/4. Is 7 at least r?
True
Suppose -5*u - 4595 = -3*k, -3*k - 6*u + 2*u + 4613 = 0. Suppose -3*a = 4*f + 886, 5*a = 2*f + 3*f - k. Are -302 and a equal?
True
Let d = -1292.844 + 5.844. Which is bigger: d or -1?
-1
Let c = 52.91 - 53.11. Is -2.418 greater than c?
False
Let i = 75 - 251. Let k = -174 - i. Which is greater: k or 15/23?
k
Let p = -14.156 - -10.156. Is p <= 90.1?
True
Let n = -0.19 + 61.19. Let b = n - 44. Let s = -26 + b. Which is smaller: 3 or s?
s
Let n = 241.3 - 276. Let h = n + 35. Is 15 != h?
True
Let t be (0 - 4/68)/((-5)/(-21765)). Let i = t + 256. Which is smaller: i or -1?
-1
Let m(c) = -620*c + 2163. Let h be m(4). Which is greater: h or -345?
h
Let a(r) = 31*r - 140. Let z be a(18). Suppose 147*v - 149*v = z. Which is greater: -207 or v?
-207
Suppose -21*j + 3*j = -54. Let i be ((-1)/j)/(((-14)/(-2))/(-553)). Is 25 less than or equal to i?
True
Suppose 135*x - 132*x + 15 = 0, -48215 = 5*r - 4*x. Which is bigger: r or 0.1?
0.1
Let b(y) = -y**2 - 35*y - 160. Let v be b(-30). Let j be (5/(-3))/(v/30) + -19. Which is smaller: j or -8?
j
Let g = 201 - 198.6. Let c = 0.403 + -0.313. Which is greater: g or c?
g
Let n = -42 - 15. Let o be ((-12)/(4 - (-48)/(-40)) + -3)*7. Which is smaller: n or o?
n
Let a = 12032/5 + -2406. Which is smaller: a or 41.3?
a
Let r(w) = -w**3 - 3*w**2 + 1. Let p be r(-1). Let j be -2 - (-60)/33 - (-312)/22. Suppose -f + 4*a - 150 = 4*f, j = -f + 4*a. Which is greater: p or f?
p
Let l be (-1 + (1 - 2))*2421/75858. Which is greater: 0.9 or l?
0.9
Suppose 4*m + 32 = 0, -710 = -29*g + 30*g - 5*m. Which is smaller: 2 or g?
g
Let c = -75 - -77. Let v(f) = f + 3. Let j be v(8). Let h = j + c. Which is bigger: 11 or h?
h
Let s be (-1)/(-4) + (-270)/(-8). Suppose -5*v = -i + 48, 0*i + v = -2*i + 63. Which is smaller: i or s?
i
Suppose -7 = 16*l - 15*l. Let r be -6 + -3 - l - (0 + -121). Is 119 not equal to r?
False
Suppose -59*c + 35418 = -24231. Is c > 1009?
True
Let i = -24586449/76 - -323493. Let t = i - -1200/19. Which is smaller: 51 or t?
t
Let d be 1/((-5)/(-15)*-1). Suppose -36 = -15*f + 6*f. Is f != d?
True
Let c be (-4)/5 + 2248/10. Suppose c = -5*y - a, 4*a = -0*y - 2*y - 104. Suppose 2*i - 146 = 6*i + 30. Is y at least as big as i?
True
Let q = -11394 - -421512/37. Let y = -404/185 - q. Which is smaller: y or -19?
-19
Let y(m) = -963*m - 37. Let g be y(14). Let a = 175663/13 + g. Let v = a + 4239/650. Which is smaller: v or 0?
0
Suppose 78 - 14 = 2*i. Suppose -i*h + 27*h = -1680. Is h < 336?
False
Let r be 35