 Let r(p) = p**3 + p - 46. Let d be r(0). Which is greater: d or n?
n
Suppose 0 = 4*u + 3*h - 24, -2*u - 3*u - 2*h + 23 = 0. Suppose -2*o - 22 = 20*d - 24*d, u*o + 53 = 2*d. Is -19 less than o?
False
Let f = 322 - 176. Let d = f - 138. Is 9 bigger than d?
True
Let l(f) = 2*f**3 - 6*f**2 + 9*f - 10. Let h be l(5). Let s = 370 - h. Which is smaller: 0 or s?
0
Suppose 2*a - 7019 = 3*q, -5591 = 6*a - q - 26704. Which is smaller: a or 3519?
3519
Let j be (-1)/((-62)/126) - 2. Let v be (-10)/65 - (-10)/65. Suppose v = -y - 4*w - 17, y - 11 = -4*y + 4*w. Which is smaller: j or y?
y
Let z(v) = -v**2 + 6*v - 6. Let q be z(5). Let n be -6 + 4 - (550/(-90) + 3). Is n > q?
True
Suppose -5*z + 8 + 7 = 0. Suppose -5*y = -z*y + 32. Let q be (-64)/y - (21 - 1). Which is smaller: q or 2/7?
q
Let y be (2/6)/(1/(-3)). Let k = -593 + 590. Let p be k/(-1 - (-755)/(-10)). Is p equal to y?
False
Let k = 2653/5 - 527. Suppose -2*m = -5*b - 351, -m = m + 2*b - 330. Let g = 171 - m. Which is smaller: g or k?
g
Suppose -12*c - 18 = -13*c. Suppose -c*u + 1929 = -15*u. Let t = u - 10285/16. Is -1 >= t?
False
Let z be 38 - 39787/924 - -5. Let s = -0.1 - -0.1. Is z smaller than s?
True
Suppose 0 = -8*d - 2858 - 326. Let u = 394 + d. Does u = -19/4?
False
Let r = 3038612581591/47856438 + -90230580/1421. Let k = -3/1871 - r. Which is smaller: 4 or k?
k
Let h = 0.06 - -11.94. Suppose -6*k - 9 = 6*k + 99. Which is bigger: h or k?
h
Suppose -5*j + 71 = -f, j - 111 = f + 4*j. Let u be -1 - (-1 - 0) - (-90 - f). Let c = -8058/5 + 1606. Is u smaller than c?
True
Let n be ((-3990)/(-294))/((-5)/((-70)/24)). Is 7 greater than n?
False
Let u = -9412 - -8434. Which is bigger: -976 or u?
-976
Let d(w) be the third derivative of -w**5/30 + 17*w**4/24 - w**3 - 2201*w**2. Let n(g) = 2*g - 4. Let j be n(6). Let v be d(j). Which is greater: 3 or v?
3
Let n(a) = -28*a**2 + 6*a + 21. Let k be n(-5). Is k > -708?
False
Suppose -2*m = 45*m - 147172 + 2929. Which is smaller: 3065 or m?
3065
Let i = -794 + 704. Is -76 equal to i?
False
Let d be (-224)/(-32)*79/7. Is d less than 65?
False
Let l = 401 + -44. Let o = l - 473. Which is bigger: 0 or o?
0
Let u be ((-354)/(-708))/(-3*1/(-6)*-3). Is u at least 160.5?
False
Let a(k) = 14*k - 187. Let w be a(21). Suppose -269 = -6*p - w. Is p greater than or equal to 25?
True
Let a be 138/189*-1 + (-35)/(-35). Is a > 0?
True
Let p = 11757 + -11757. Which is greater: p or 1/533?
1/533
Let y = -1085 + 1083. Is y not equal to -219?
True
Let v = 3696 - 85035/23. Is -1 equal to v?
False
Let u = -245 - -85. Let t = u - -165. Which is smaller: 4 or t?
4
Suppose 3*z = -5*h + 16, -6*h + 2*h = 5*z - 18. Suppose 3*r = -h*r. Suppose r = 3*a + 67 + 59. Is a equal to -43?
False
Let y be 14336/476 + (-2)/17. Suppose 3*r - 4*k = 229, -y = -r + 2*k + 47. Which is bigger: r or 74?
r
Let p = 51/11 - 233/55. Let k = 0.26 + -0.08. Let u = k - -1.12. Which is bigger: p or u?
u
Let h be 3/(-12) - ((-318)/(-8))/1. Suppose 2*w + 3*l - 2 = 0, -3*w - 6*l + 3 = -3*l. Let r be (41/3)/(w/(-3)). Which is greater: h or r?
h
Let p = -2677963/39 - -68677. Let r = p + 15467/195. Let f = r - 477/5. Which is smaller: f or -5?
-5
Let k = 300 - 501. Let b = 290 + k. Is 441/5 less than b?
True
Let x = -17803 - -17802. Are 3/1465 and x non-equal?
True
Let k = 1.607 - 2386.607. Let m = k + 2326.88. Let i = 0.12 + m. Which is smaller: i or 0?
i
Let w be -6*(-4)/(-108) + (-7177708)/(-2394). Let f = 2998 - w. Which is bigger: f or 0?
f
Let z = -23/225 + -3/25. Let a be (-21)/(-4 - -11) + (-113)/(-38). Are a and z non-equal?
True
Suppose -5*y + a - 6*a = 1705, -4*a - 3380 = 10*y. Which is smaller: -1012/3 or y?
-1012/3
Let p = -5307 + 5306.9264. Is p at least as big as 0.2?
False
Suppose 93*a - 56 = 86*a. Suppose -127*w = -129*w - a. Is w != -23/6?
True
Let c be ((-4)/122)/((-2)/(-1)). Is -2/3 >= c?
False
Let m = 3579 - 3581. Let v(b) = 3*b**2 + b + 1. Let h be v(-1). Let x be 6/h + (-45)/21. Is x equal to m?
False
Let b = 1165 - 8157/7. Let z = -1.5 + 0.7. Let x = z - -2.8. Are x and b nonequal?
True
Let r = -1.2 + 3.2. Let b = 3 - r. Is b < -9?
False
Suppose 5*c - 5*u + 173 = -72, -4*c = 2*u + 160. Is -705/16 less than c?
True
Let j(v) = 38*v + 3200. Let w be j(0). Is 1 less than w?
True
Let m = -185 - -184. Let s be (-20)/(-11) - 2/(-11). Suppose 2*l = s + 4. Do m and l have the same value?
False
Let c be (1 + 14 - 0)*15/(-441). Let y = -18/49 - c. Which is smaller: -2/7 or y?
-2/7
Suppose 0 = -5*h + 10. Suppose h*m = c - 3, -4*c - 12 + 2 = 3*m. Suppose -2*f = -2*i - 4, 78 = 5*f - 4*i + 72. Is f equal to m?
True
Suppose 4*l - 2*l = 4*p + 3196, -p + l - 801 = 0. Let b = p - -753. Is b less than or equal to -46?
False
Suppose 0 = -3065*h + 3055*h. Which is smaller: 1/182 or h?
h
Let s = -3338 + 2980. Which is smaller: 0.07 or s?
s
Let g = 24411/2 - 12206. Which is smaller: 205 or g?
g
Suppose -4*a + 473 - 433 = 0. Suppose -4*l + a*l = 60. Which is smaller: 3 or l?
3
Let v = 697 - 693. Let f be (-3)/2*8/(-6). Suppose -5*x - 122 + 20 = -f*l, -68 = v*x - 5*l. Which is smaller: x or -23?
-23
Let g(p) = 109*p**3 + 7*p**2 - 3*p - 5. Let b be g(3). Is 2992 at most as big as b?
True
Suppose -7 = 7*j - 0. Let z = 4129/171 - 223/9. Let d = z + -40/57. Is j at most as big as d?
False
Let c = 624 + 164. Let h = -574 + c. Is h smaller than -1/4?
False
Suppose 79*k - 56*k + 10383 = -2888. Do -578 and k have the same value?
False
Let g(n) = 13*n**2 + 22*n - 4794. Let j be g(0). Are j and -4793 equal?
False
Let s = -1194 + 1178. Let p be 6 - (s + 7 + 7). Let y be (0 - -1)*(0 - -7). Is y at least p?
False
Let x = 328 - 327. Which is bigger: -16/985 or x?
x
Let c be (2 - 1) + -2*7/(-7). Suppose 0 = -4*b + 5*b + c*a - 172, -4*b + 704 = -4*a. Which is smaller: b or 176?
b
Let f(m) = -7*m - 311. Let d be f(-45). Suppose 5*b + 182 = 4*t - 456, 2*b = d*t - 644. Which is smaller: -0.2 or t?
-0.2
Let b = -499 + 4823. Are 4323 and b non-equal?
True
Let q = -947/15 - -314/5. Suppose -37*i + 32*i = -245. Which is bigger: q or i?
i
Let p = -3.3912 - -3.3912. Which is bigger: p or -11/174?
p
Let h = -11151 - -11149. Which is smaller: 32 or h?
h
Suppose 3*a - c = 21, 3*a - 79*c + 74*c - 33 = 0. Which is greater: -83 or a?
a
Let k = -405.223813 - -0.093813. Let y = -404 - k. Is y less than or equal to 0?
False
Let q(f) = -15*f**3 - 15*f**2 - 22*f + 12. Let p(h) = -7*h**3 - 8*h**2 - 12*h + 5. Let o(u) = 7*p(u) - 4*q(u). Let t be o(2). Is 99 less than or equal to t?
True
Let s = 91 + -81. Let o = s + -8. Let q be 0 + (-1 - 0)*1. Is o smaller than q?
False
Let o(i) = -i**2 + 14*i - 175. Let s be o(40). Are s and -1218 equal?
False
Let o(j) = -56*j**3 + 5*j**2 - 7*j + 13. Let g(f) = f**2 - f + 2. Let t(y) = 6*g(y) - o(y). Let c be t(-1). Is -59 less than c?
True
Let r = 97.75 - 99.75. Is r at most as big as 81/4?
True
Let s = 9489 - 3814. Do s and 3 have different values?
True
Let g be (1 - 5)/36*150*66/(-5). Suppose 0 = -x + 6*x - 1095. Which is smaller: x or g?
x
Let x be 6 - 4 - 6 - (-134050254)/(-2). Let o = -269306977967/4018 - x. Let k = o - -16/41. Which is greater: 1 or k?
1
Suppose 0 = 3*q + 2*p - 3 - 12, 4*p - 27 = -5*q. Suppose -q*r + 2*r = -3*c - 3, -19 = -r - 5*c. Suppose -r = 2*d + 1. Which is smaller: d or 1/4?
d
Suppose -512 = -1042*r + 1050*r. Let q be 10/(-4)*540/21. Let f = q - r. Is -1 greater than f?
False
Suppose -38*b - 315 = -22*b + 29*b. Suppose f = -0*d + 4*d + 88, -3*d - 5*f - 66 = 0. Which is bigger: d or b?
b
Let j be (13484/(-8))/((-3)/6). Is 3370 at least as big as j?
False
Let w be (-17208)/(-108) - 2/(-3). Let r = w + -144. Are 9 and r unequal?
True
Let o = -70/81 - -746/891. Do 2 and o have the same value?
False
Let r be ((-976)/(-48) + -15)*594/(-312). Suppose -2*z - 37 = 3*o + 3*z, -3*o - 31 = 2*z. Is r equal to o?
False
Let t(i) = 8*i**2 - 6*i + 27*i - i**3 - 5 - 1 - 7. Let w be t(10). Let y be -43*(-5)/(-55) - w. Is y at least -2?
True
Let b be 44/(-330) + (-5)/((-3300)/(-752)). Which is smaller: 44 or b?
b
Let z = 115 - 112. Let l(v) = 7*v**2 - 11*v + 4. Let s be l(z). Which is smaller: s or 31?
31
Let z(u) = u - 5. Let g be z(10). Let r be 43*g*(26/(-10) - -3). Let c be (1 + r/(-78))*3/10. Does c = 1?
False
Let m be (-1 - -1)*(-1)/2. Suppose -26*u = -17*u + 10935. Let r be (-112)/24*(u/399 -