rue
Suppose -308*f = -306*f - 6. Suppose 0 = f*o + 8*o. Is o equal to 5/22?
False
Let h = -63 - -74. Let r = h - 10.7. Which is smaller: r or 4/7?
r
Let o(b) be the second derivative of b**5/20 - 2*b**4 + 25*b**3/6 - 17*b**2/2 + 527*b. Suppose 18 + 5 = h. Let d be o(h). Does d = 29?
True
Let l = -2381 + 2380. Suppose 3 = -3*d, 4*x - 2*d + 0*d - 14 = 0. Suppose 4*m + h = -2, 0 = x*m + 5*h - 2*h + 6. Does l = m?
False
Let p = 218.05554 - 0.05554. Which is bigger: 3/7 or p?
p
Let w(g) = -g**2 - 11*g - 5. Suppose -116*k = -111*k + 60. Let q be w(k). Is q bigger than -19?
True
Let p(d) = -114*d - 1825. Let u be p(-16). Is 2/39345 less than u?
False
Suppose -172*u - 77020 = -29720. Which is greater: u or -277?
u
Let u be -273*5*5/25. Let x = u - -274. Is -2/7 less than x?
True
Let c = 0.645 - 0.545. Is -706 smaller than c?
True
Let c be (-1167)/(-39) - (-10)/130. Suppose -685*z = -690*z - c. Which is smaller: z or -20?
-20
Let o be 7 + 6/(-3) - (7 - 5). Suppose o*d - d = -3*p + 2, -p = -4*d + 4. Which is greater: p or 2/781?
2/781
Let f be (21/(-9))/((-1)/(-3)). Let c(g) = -g**3 - 7*g**2 + 4*g + 7. Let k be c(f). Suppose -5 = -s, s - 57 = 4*q + 36. Are k and q non-equal?
True
Let t = 15.4914 + -1.4914. Let p(x) = x - 3. Let a be p(6). Is t greater than a?
True
Let g = -1315 + 1347. Is 55 at most g?
False
Let g = 259.7154 + -276.76. Let j = -0.0446 - g. Which is bigger: j or 13?
j
Let y be 38/(-1102)*2 - 7428/(-58). Let c = 303 + -175. Do c and y have the same value?
True
Let r = 40 + -26. Let m = r - 15. Is m >= 0.09?
False
Let b be ((-328)/(-48))/(-41) - 5/(-30). Are -3/2762 and b non-equal?
True
Let o = -3910 + 4677. Is 770 greater than o?
True
Let l(c) = 42*c - 7. Let v be l(-3). Let p = 46 + -187. Let x = v - p. Is x < 5?
False
Let i(r) = 10*r**2 + 5*r. Let c = -218 - -155. Let j = -65 - c. Let l be i(j). Is 29 at most as big as l?
True
Let n = -8732 + 6744. Do -1988 and n have different values?
False
Suppose 3*x + 12 = 2*x. Let m be (-16)/x*3 - 3. Let t be ((-15)/(-100) - 0)/(11/5). Is m at most as big as t?
False
Let b be (-2208)/(-368) - (-6)/(-3)*(-10133)/(-2). Which is smaller: b or -10126?
b
Let r = 19525 + -81302101/4164. Which is bigger: r or 0?
0
Let z(a) = 3*a**2 + 3*a - 3. Let x(b) = -b**3 - 9*b**2 + 10*b + 4. Let n be x(-10). Let j be z(n). Let l = -57 + j. Which is greater: l or 2/127?
2/127
Let q = -668 - -662.87. Which is bigger: 11 or q?
11
Let g(t) = 10*t - 85. Let q be (-88)/(-6) - (-10)/45*-3. Let h be g(q). Is h smaller than 51?
False
Let f(d) = d**3 + 28*d**2 + 6*d + 251. Let c be f(-28). Is 80 smaller than c?
True
Suppose d = 4*l - 758, -5*l + 5602 = -5*d + 1767. Let x = -754 - d. Is 15 <= x?
True
Let q = 3 - 1. Suppose 2*d - 4 = 3*p, -3*p - d + 2*d = q. Let s = -8899/7940 + 306/397. Do s and p have different values?
True
Let h = -0.18 + -6.82. Let v be (-10)/(-65) - ((-22320)/(-52))/(-5). Let s = 86 - v. Which is smaller: h or s?
h
Let z = -1994 - -1998. Are -20 and z equal?
False
Let a(y) = 2*y**3 + 5*y**2 + 2*y + 1. Let n be a(-4). Let p(l) = -1065*l - 2074. Let q be p(-2). Let v = q + n. Which is bigger: v or 1/52?
v
Let t = 8/461 + -21699/1844. Suppose 4*g + 53 = -s, 14*g - 5*s = 10*g - 23. Which is bigger: t or g?
t
Let z(a) = -a - 1. Suppose -14 = 3*l - 5*l. Let f be z(l). Suppose 0 = -6*u - 46 - 8. Is f at least u?
True
Let q = -48 + 33. Suppose 3*y + 2*y = 0. Let f(s) = s**3 - 2*s**2 - 2*s - 16. Let p be f(y). Is q > p?
True
Let n be -2*(8 - -1)*1/(-3). Suppose -9*b = -18*b + n*b. Are b and 5/8 unequal?
True
Let h = -568.82 - -423.82. Is -70 less than or equal to h?
False
Let b be 30/((-45600)/(-17990)) - (11 + 0). Do 1 and b have the same value?
False
Let w(u) be the second derivative of -u**5/20 + u**4/4 - 3*u**3/2 - 3*u**2/2 + 9*u. Let d be w(4). Let o = 53 + d. Which is smaller: o or -15/8?
o
Suppose 201 = f - 2*u, 2*f + 2*u = 578 - 152. Suppose 5*b = 4*z - 383, 4*z + b = 2*z + f. Is 100 smaller than z?
True
Let z = -2951.9 + 2952. Which is greater: z or 1.984?
1.984
Suppose -4*q - 3*a - 743 = 0, 10 = -5*a + 5. Let o = 151 + q. Which is smaller: o or 0.2?
o
Let h be (-438213)/(-2607) - (-1 - -6). Is h greater than or equal to 164?
False
Let k = 227976/55 + -4145. Are k and 15 unequal?
True
Let t = -777 + 464. Let n = 312.99 + t. Is 0 > n?
True
Let z = 429 - 365. Let a be 4 + (-7 - -2) + 50/z. Is a at least as big as 0?
False
Suppose -39*w = -3*y - 37*w - 9010, 15010 = -5*y + 2*w. Do y and -2999 have the same value?
False
Suppose 0 = 298*t + 464785 - 5323973. Are t and 16306 unequal?
False
Let s = 94.086 + -94. Let p = s - 0.055. Let m = p + 6.969. Which is smaller: 3/2 or m?
3/2
Let u = -111.51 + 116.51. Is 2/17 < u?
True
Let l = -26017.04 - -26017. Is l > -12.99?
True
Let y(t) = t**3 - 11*t**2 - 27*t + 15. Let r be y(13). Suppose b = 2*p, -6*p = -r*p. Which is greater: -4 or b?
b
Let p = 254255 + -7372403/29. Which is greater: 34 or p?
p
Let w = -127 - -132.4. Let u = 5.6 - w. Let l = 0.4 - u. Which is smaller: l or 12?
l
Let z(l) = -1509*l - 5586. Let b be z(-6). Which is smaller: 3469 or b?
b
Suppose 3160*r + 528 = 3156*r. Is -127 at least r?
True
Let y = -3/157 + 166/471. Suppose -5*a - 68 = -3*k, -3*k + 51 + 5 = -2*a. Suppose -20*c + k*c = 0. Which is bigger: y or c?
y
Let t = -0.48 - -9.58. Let m = -9.09 + t. Let f = 93.1 - 93. Is m greater than f?
False
Suppose -v + 2*v + 25 = -4*b, 2*v + 5*b + 44 = 0. Suppose -3*n = -k - n - 4, -2*k - 20 = 2*n. Let p be ((-4)/k)/(1/(-38)). Which is bigger: p or v?
v
Suppose -3*s - 2 = -5*s. Let k be 156/(-7488) - 355/(-3216). Which is bigger: s or k?
s
Suppose -43*s = 40*s - 236235 - 102654. Which is greater: s or 4084?
4084
Let t(z) = -2*z**2 - 18*z - 36. Let y be t(-5). Suppose w + g - y - 1 = 0, w + 13 = 5*g. Let m be ((-1568)/(-72) - w) + (-4)/(-18). Is m > 19?
True
Suppose 434*a - 439*a - 4*o = -810, -3*a + 3*o + 459 = 0. Which is greater: 155 or a?
a
Let g be 171/(-12) - 1/(-4). Suppose -45*f + 18 = -43*f. Let a(w) = -21*w + 176. Let j be a(f). Is g less than j?
True
Suppose 7*v - 7*v = -12*v - 24. Which is smaller: -76/63 or v?
v
Let r = -11 + 10.943. Let x = -82 + 80. Is r equal to x?
False
Let f be 0*(-3)/(-18)*3. Let s be (-654)/(-4)*(-40)/(-18)*(-1140)/1900. Is f greater than s?
True
Let q = -10667 - -9946. Is 4 >= q?
True
Let g be (-12)/26 + 450 + -172. Which is smaller: g or 277?
277
Let k = -376 - -380. Suppose 9*c = 4*c + o + 17, k*c + 3*o = 6. Which is smaller: c or 51/13?
c
Let s = 619 - 1100. Let v = s + 359. Which is smaller: v or -121?
v
Let c be -8 + (2 - 2*(-2 + -1)). Is -3/1037 >= c?
False
Let c = 0.119 - -3.881. Let g be (-5 + 19416/3880)*-245 - (-1)/1. Is g less than c?
True
Let f(g) = -g**3 + 22*g**2 + 25*g - 31. Let u be f(23). Let r be 4 - 5 - 2204/u. Let c = r - -148. Which is greater: c or -1?
c
Suppose 0 = -c - 2*x + 128, -4*c + 6*c - x = 271. Which is smaller: 13 or c?
13
Let l = 0.862 + -371.862. Let y = l - -376. Which is greater: y or 1/24?
y
Let j = -172 - -169. Let s be 1 - (8/(40/15) + j). Which is smaller: s or 9?
s
Let i = -269.072 - -272. Let v = 3.02 - i. Is 1 less than or equal to v?
False
Suppose -147037 - 108835 = -97*o - 25206. Is 2376 >= o?
False
Let t = -1616/41 + 399022/123. Which is smaller: 3205 or t?
t
Suppose 189033 = 518*f - 57218 - 679415. Is f < 1785?
False
Let l(w) = -w**2 + 2*w + 4. Let r be l(3). Let v = -432 + 436. Let i be (v/(-1400))/(3/(-6)). Is r greater than or equal to i?
True
Let r = -803.369 + 740.32. Let u = -63 - r. Let y = u + -0.209. Is 0.2 > y?
True
Let p be (-22)/70 - (-4)/(-14). Suppose 2*l - 4*d = -20, l = -d + 2*d - 9. Let v be 3 + l + 8 + -4. Is v at most p?
True
Let n = -3478/261 + -2/261. Let r be (-12)/20 + (-3)/(-5). Which is greater: n or r?
r
Let o = 39.31 - 40.11. Which is bigger: -4/3 or o?
o
Let q be (-2 + 1)/((-3)/(-24)). Let c(g) be the first derivative of g**4/4 - 5*g**3 - 35*g**2/2 + 19*g + 7. Let t be c(17). Is q < t?
True
Suppose -3*g = n - 3, 3*g + 15 = 13*n - 11*n. Which is greater: -8/31 or g?
-8/31
Let s = -12.639 - -4.639. Is s greater than -98/13?
False
Suppose -23*s = -15*s - 792. Let r = s + -221. Is r at most -123?
False
Let o(g) = g**2 - 5*g - 6. Let v be o(5). Let h be 3*(4 - (-20)/v). Is 11 bigger than h?
True
Let a(r) = -r**2 + 25*r - 8. Let s = -630 + 652. Let