Let o(f) = f + 1. Let h be o(4). Let p be q(h). Suppose 2*u - p = -0*u. Which is smaller: u or 4?
u
Let z = -3 - -3.2. Let f = -26.3 + 0.3. Let o = -25.8 - f. Is z at least o?
True
Let k(w) = 3*w**2 - 22*w - 13. Let l be 225/12 - (-3)/(-4). Let p be k(l). Let i = p + -11821/21. Which is smaller: 1 or i?
i
Suppose 6 = 3*r, 5*c + 4*r - 5 = 4*c. Let m = c - -7. Let a be 130/(-18) + m/18. Is -7 bigger than a?
False
Let a = -410 + 384. Which is smaller: 4 or a?
a
Let y(g) = -g**3 + 18*g**2 + 19*g + 5. Let f be y(19). Let s = -1 + f. Which is smaller: 5/2 or s?
5/2
Let l be ((-2)/(-10))/(2/(-8)). Let a = 0.29 - 0.13. Let z = -1.84 - a. Which is smaller: l or z?
z
Let d = 134 + -403/3. Let s = 0.54 + -0.16. Is d greater than s?
False
Let k(w) = w**3 - 5*w**2 - 6*w. Let t = -21 - -27. Let u be k(t). Is u < 3/5?
True
Suppose 5*j - 4*k = -9 - 12, 5*j + 4*k - 11 = 0. Let p be -1 - (2/1 + -2). Is p bigger than j?
False
Suppose 3*z + k - 3*k = -30, -4*z - 29 = k. Let q be (2 - -1)/(z/8). Let i(o) = -o**2 - 4*o + 8. Let l be i(-6). Which is bigger: l or q?
q
Suppose m - 3*g + 6 = 19, g = 4*m - 8. Which is smaller: -5/26 or m?
-5/26
Suppose h = -3*u - 53, -110 - 115 = 5*h - 5*u. Which is smaller: -35 or h?
h
Let f = -1833 + 216293/118. Which is bigger: 1 or f?
1
Let f be (-12 - -16) + -144 + 2 + -3. Which is smaller: f or -133?
f
Let g be 15*(2 + -1 + (-33)/(-15)). Suppose -43*o + g*o = 195. Are 40 and o nonequal?
True
Suppose 0 = 4*z - 4*d, -z = -5*d + 23 - 3. Suppose -6*t + 1 = -z*t. Is t less than 20?
True
Let t be 3 - 5/((-20)/(-168)). Let z be (1*2/(-21))/(338/t). Which is smaller: z or 0?
0
Let d(p) = p**3 - 4*p**2 + 3. Let t be d(4). Suppose 5*b + 63 = j, 0*j = -2*b - t*j - 15. Is -12 greater than b?
False
Let s = -328 + 659/2. Suppose 4 = -5*w - 1. Let x be (-1 + -2*1)*w. Which is bigger: s or x?
x
Let g(x) = -x + 2. Let w be g(-6). Suppose -4 = q - 7. Suppose -4*s + 1 = 3*f - 4*f, -q*s - 29 = -5*f. Which is smaller: f or w?
f
Suppose 0 = -3*i - a - 7 + 8, 7 = 5*i + 3*a. Is i greater than 2/441?
False
Suppose -29264 = -41*q - 769. Is 697 less than q?
False
Suppose -4*t + 5*g + 29 = 0, -28*t + 27*t = 3*g + 14. Which is bigger: t or -1/169?
t
Let g(u) = 3*u**3 - 2*u**2 - 5*u + 93. Let w be g(0). Which is greater: 90 or w?
w
Let w = 313.8 + -313. Is -1/4 > w?
False
Let y be (8*-1)/((-6)/(-12)). Let d(b) = -2*b**2 + 5*b - 5. Let z be d(4). Is z smaller than y?
True
Let k = 6/3815 + -1696/385315. Which is smaller: -1 or k?
-1
Let o(d) = d**2 - 6*d + 11. Let u(r) = -3*r**2 + 19*r - 32. Let s(t) = -11*o(t) - 4*u(t). Let l be s(6). Let f be 3/6*l + -2. Is -10 > f?
True
Suppose g - 5*c - 39 = 0, -3*c + 0 = -18. Suppose 2*f - 4*k + 6*k - 142 = 0, 4*k + 268 = 4*f. Is g not equal to f?
False
Let i be 1*21/2 - (-4)/8. Are 10 and i nonequal?
True
Let x = -6651/634 - 3/317. Let i be (22/6)/((-2)/6). Which is greater: x or i?
x
Let i = 1289/1001 + -2/1001. Let c be (-2 - -4) + (-3)/3. Which is greater: c or i?
i
Suppose 0 = 11*r + 6959 - 1393. Which is greater: r or -507?
r
Let u = 1 - 1. Suppose o - 12 + 8 = u. Which is bigger: o or 5?
5
Let y = -451 + 4054/9. Let x = -173 + 171. Is x equal to y?
False
Let m(d) = -2*d + 6. Let p be m(2). Suppose -p*s = s + 81. Let i = s - -23. Is i smaller than 7?
True
Let c = 1985 + -1886. Let u = 181 - 83. Which is greater: c or u?
c
Suppose -9*n - 11*n = -120. Let b be 24 - 24 - (-2)/n. Which is greater: b or -2/3?
b
Let m = -18 + 20.61. Let n = m - 0.21. Is n <= 0.1?
False
Let o be (-8)/(-36) + (-412)/72 + 6. Which is smaller: -29 or o?
-29
Let h(m) = -2*m**3 - 62*m**2 + 6*m + 30. Let v be h(-31). Is -156 > v?
False
Let a = -6 - -6.75. Let p = -0.84 + 0.59. Let y = a - p. Is 3/2 at most as big as y?
False
Suppose -3*q + 34 = -n - 145, -77 = -q - 4*n. Are 69 and q nonequal?
True
Let m = 64 - 22. Suppose -5 = -z + m. Let h be -2 - 2 - z/(-8). Is 2 smaller than h?
False
Suppose -8*l = -7 - 9. Suppose -l*t = -p - 62, 0 = -5*p - 3*t + 2*t - 332. Is p at least 0.1?
False
Let f be (340/238)/(69/(-14)). Is f not equal to 1?
True
Let y be 2*-1*27/(-18). Suppose 1 = -2*b + y*q, -2*b - 6 + 3 = -5*q. Let t be (-2)/(1 + 8/b). Is t >= -2?
True
Let g = 19 + -19. Suppose -2*q + q = g. Suppose 26*z - 30*z + 4 = q. Is z at most 1?
True
Suppose -5*w + 5*i + 40 = 0, 0*i + 1 = i. Let b be ((-12)/10)/(w/(-30)). Let p(y) = -y**2 + 5*y + 4. Let h be p(b). Is 8 > h?
False
Suppose 11*i = 35*i. Does i = -10?
False
Suppose -88 = -60*n + 52*n. Which is greater: n or 9?
n
Let i = -1341 + 1340.9. Which is greater: i or 271?
271
Let a = -12 - 2. Suppose -109*h + 50*h = -54*h. Is h at most as big as a?
False
Let v be (1 - 0)/(1 + 0). Suppose v - 22 = 3*f. Let z = 689.9 + -690. Which is bigger: f or z?
z
Let j(p) = p - 1. Let x be j(-12). Let o = 14 + x. Let u = 57 + -453/8. Which is smaller: o or u?
u
Let x(y) be the first derivative of y**4/4 + 5*y**3/3 - 7*y**2/2 - 3*y + 28. Let t be x(-6). Which is bigger: 2 or t?
t
Let c = -2 - -3. Let z = -1.75 - -2.75. Do z and c have the same value?
True
Let m = 274 + -274. Let i = 481/42 - 35/3. Which is smaller: m or i?
i
Let u be 145*3/((-36)/4). Let g = -49 - u. Is g not equal to -3/2?
True
Let d = -16 - -17. Let z be (-12)/(-18)*(-9)/(-60). Which is smaller: z or d?
z
Suppose 9*j + 38 = -70. Let r(s) be the first derivative of -s**3/3 - s**2 + 2*s + 1. Let h be r(-5). Is j less than h?
False
Let j = 91/10 + -359/40. Let z be 12/10*(-5)/(-2). Suppose x + 3*x = -4*i - 4, 11 = z*i - 4*x. Which is bigger: i or j?
i
Let x = -23189/3984 + 93/16. Which is greater: -1 or x?
x
Suppose u + 3*p = 160, u = 4*p + 184 - 31. Do u and 151 have the same value?
False
Let w(f) = f**3 - 5*f**2 + 5*f - 3. Let l be w(2). Let q = 0.19 - -0.01. Is q > l?
True
Let x be ((-1)/(-5))/((-4)/(-5)). Let h be -7 + (-12)/((-96)/55). Which is smaller: x or h?
h
Let u(p) = -p**2 + 12*p + 16. Let d be u(13). Which is smaller: d or 4.5?
d
Let l = -1/6 - 1/6. Let f = 24 + 3. Do l and f have different values?
True
Let g(d) = 5*d - 1. Let i be g(2). Suppose 2*t - 2*h = -304, 2*h = 3*t + 5*h + 456. Let p be 22/(-165) + t/(-15). Which is smaller: i or p?
i
Let t be ((-6)/92)/(11/((-1056)/(-36))). Which is smaller: -1 or t?
-1
Let n be (-3 - 1/(-2))*-2. Suppose -31 = -2*g - 3*d, -5*g + 70 = -0*g + n*d. Let o = g + -12. Which is smaller: o or 3?
o
Let d(l) = l**3 + 5*l**2 + l. Let t be d(-6). Let q be t/30 + (-4)/(-10). Let x(m) = m**2 - m - 1. Let p be x(-1). Is q greater than p?
False
Suppose -2*n - 1 = -q, 0 = 4*n - q + 4*q - 3. Suppose 5*h - 6*h + 6 = n. Suppose 4*x - 38 = h. Which is smaller: 8 or x?
8
Let w = -5/6 + -17/30. Let s(t) = -t**3 - 4*t**2 - 2*t + 3. Let a be s(-3). Let o be 1*a/(-9)*(-1)/(-2). Which is greater: w or o?
o
Let h be (20/(-16))/(-2 + 493/240). Is -23 at most as big as h?
False
Suppose -25 = -4*l + 5*h, -5*l + 8*h = 7*h - 5. Suppose 0 + 12 = 2*v. Suppose l = -v*c + c. Is 2/17 greater than or equal to c?
True
Let u = -13.02 - -13. Let s = -0.08 - u. Let d be 3/(-2) + 9/(-18). Do s and d have the same value?
False
Let j = 9 + -13. Let b = 1245.1 + -1246. Which is smaller: j or b?
j
Let l(t) be the third derivative of t**6/120 - t**5/6 + 7*t**4/24 + 17*t**3/6 + 6*t**2. Let r be l(9). Is -1/3 at most r?
False
Let y be 72/33 - (-2)/(-11). Let o be -4 - -1*(-3)/(-3). Let i = o + y. Do i and -12 have the same value?
False
Let c be 578 + (3 - (5 - 0)). Let p be ((-3)/(-26))/(54/c). Which is bigger: 2 or p?
2
Let u be 15/45 - 82/(-15). Is 2 at most as big as u?
True
Let n = -118 + 33. Is -86 < n?
True
Let n(t) = 16*t - 18. Let y be n(2). Do y and 10 have the same value?
False
Let h = 271 - 3535/13. Suppose 5*g - 2*n - 20 = 0, -2*n - 17 = -g + n. Suppose j - 8 = -j, g*j = o + 10. Is h not equal to o?
True
Let c(t) = 5*t - 16. Let b be c(-6). Let h be -4*(b/10 - (-3)/5). Which is greater: 14 or h?
h
Let n be 0 - 3 - 87/(-6). Let a(y) = -y**2 + 37*y - 220. Let b be a(29). Is b not equal to n?
True
Let a(y) = -y**3 - 19*y**2 - 15*y - 8. Let h be a(-18). Let u = h + 34. Which is smaller: -27 or u?
u
Suppose 4*p - 2*f = 16, f = -2*f. Let h be (12/18)/(p/(-30)). Is -40/9 less than h?
False
Let u(r) = -46*r**2 + 6*r + 12. Let l be u(3). Is l greater than or equal to -383?
False
Let t be (-139 - (-6 - -4)) + (2 - 1). Let b = t - -3946/29. Doe