t v(p) = -p**3 - p**2 + 2*p + 1. Let a be v(-1). Let n be 2/(a/(3 + -1)). Let r be (n - (-716)/176)*(-4)/(-6). Do r and 0 have different values?
True
Let t be 0 + (-10)/8 + 147/252. Let v = 616 - 5536/9. Is t > v?
False
Let z = -168 + 203. Suppose 3*d = 38 - z. Is d > 2/1967?
True
Let t be ((-20)/35)/(4/(-154)). Let y be (1 + 10/(-12))*(-19 + t). Let z = 0.4 - 0.5. Is z bigger than y?
False
Let m = 551 + -524.5. Let j = 28.5 - m. Which is smaller: -67 or j?
-67
Suppose -25*r = -29*r + 12. Suppose 2*m + 21*i - 23*i + 324 = 0, i - 492 = r*m. Is -166 at least m?
False
Let v be (43100/(-1392))/25 + (-5)/(-4). Let l(c) = c**2 + 12*c - 12. Let q be l(-13). Does v = q?
False
Let i be (57/4)/((-144)/15744). Which is greater: i or -5?
-5
Let t(z) = 54*z**2 - 22*z + 36. Let n be t(-10). Is n < 5655?
False
Let y = -164/27 + 13117/297. Let x = -55705/1463 + y. Let k = 256/665 + x. Which is bigger: 7 or k?
7
Suppose 2 - 7 = -5*h. Let u = -151 - 118. Let l = -265 - u. Which is greater: h or l?
l
Let y = 14.26 - -0.64. Let m = y + -13.9. Which is greater: m or 2?
2
Let n = 21540 - 22639. Is -7688/7 > n?
True
Suppose 0 = 10*x - 263 + 23. Suppose -z = -i - 13, 0 = 5*z - 4*i - x - 45. Which is bigger: z or 20?
20
Let t = -118.6 + 3.6. Let l = t + 109.3. Let m = -5.2 - l. Which is bigger: m or -0.1?
m
Let u be ((-14)/3)/(-3 + 48/18). Let t(b) = 2*b**2 + 19*b - 35. Let z(g) = 3*g**2 + 37*g - 70. Let f(h) = 5*t(h) - 3*z(h). Let k be f(u). Is 7 smaller than k?
False
Let o = -33 + 27. Let t = 3 + o. Let c be 5*(t - (-1 - -1)). Which is greater: c or -27/2?
-27/2
Suppose -112809 = -2*k + 20*k + 13*k. Is k less than or equal to -3?
True
Let z be 16*3/3219 + (-2)/29. Let v = 10 + -9.9. Do z and v have the same value?
False
Suppose -276*u + 43*u + 96928 = 0. Which is smaller: 420 or u?
u
Let i = 2/18285 - -11824/3346155. Let a = -32935 - -32936. Is i at least a?
False
Suppose 0 = 13*q - 8*q - 25. Suppose 2*b - p - 192 = 0, -q*b - p = -4*b - 96. Which is smaller: 98 or b?
b
Let k(s) = 66*s + 139. Let u be k(-2). Is 55 < u?
False
Let r(z) = -1427*z + 2002. Let h be r(1). Is h != 577?
True
Let c = -4.1325 - -4.2. Let r = -0.0675 + c. Is 1.63 at least r?
True
Let m(o) = -31*o - 1737. Let s be m(-56). Let j be 4 + 5134/(-734) + 3. Is j equal to s?
False
Let p = 1469 + -1283. Let w be (5 - 3) + (-184)/(-1). Is w not equal to p?
False
Let n = -5071 - -4941. Is n at most as big as -1?
True
Suppose -228519 = 117*s + 21749 + 2218. Is -15116/7 smaller than s?
True
Suppose -7 = -147*o + 146*o, 0 = 3*n + 3*o + 261. Is n smaller than 83?
True
Suppose 4*u + 3 = w - 49, -2*u - 5*w = 48. Is u greater than or equal to -59?
True
Let j be ((-370)/(-6) - 62) + (-32)/(-6). Let y = -14335243/40 - -1806591/5. Let b = y + -2933. Which is smaller: b or j?
b
Suppose 0 = 205421*y - 205398*y - 109250. Is y bigger than 4750?
False
Let z(r) = 25*r + 254. Let x be z(-10). Let k = 34 - 37. Is k != x?
True
Let d(a) = -a**3 - 6*a**2 - a - 6. Let h be d(-6). Suppose 2*u = -h*u. Suppose 113*m + 95*m + 65*m = -270*m. Is u at least m?
True
Suppose -2*n + 16*f - 12*f = -6, 5*f = -n - 11. Let s be (3 - (-7)/(-2)) + (-475)/(-590). Is n not equal to s?
True
Let s be -21 + 160/((-96)/(-12)). Which is smaller: -4/3461 or s?
s
Let w = -10068 + 10036. Which is bigger: w or 66?
66
Let j be (-3)/(-5) - (171/(-15) - -3). Suppose 6 = 3*x - j. Suppose x*p = -5*p - 740. Is -73 bigger than p?
True
Let o = 3486 + -3532. Which is smaller: 2 or o?
o
Let l = 8 - 6. Let j be (-3)/((-351)/232) - l. Let u(g) = -g**3 - 13*g**2 + 29*g - 15. Let p be u(-15). Which is greater: j or p?
p
Suppose v + 71 + 18 = 0. Let b = v + 361/4. Suppose -2*z - 4 = 3*x + 1, -5*x - 4*z = 11. Is x > b?
False
Let n(j) be the third derivative of -1/6*j**3 - 10*j**2 - 4/15*j**5 + 5/8*j**4 + 0*j + 0 + 1/120*j**6. Let q be n(15). Which is greater: q or -1/4?
-1/4
Let r(q) = -2*q**3 + 20*q**2 + 77*q + 57. Let o be r(13). Is 33 at most o?
True
Suppose z = -9*h + 6*h + 11, 0 = z - 3*h - 59. Which is greater: z or 389/11?
389/11
Suppose x - 3 = 4*s - 26, 4*x = 2*s + 6. Let m(c) = c**3 - 7*c**2 - 10*c + 17. Let i be m(s). Are -52 and i equal?
False
Let k = -0.02442 - -49.00442. Let t = k - 49. Which is greater: -18 or t?
t
Let b(n) = 8*n - 89. Let f be b(-29). Let y be (-4)/30 - f/4095. Which is bigger: y or -1?
y
Let g = 21 - 33. Let n be (-3)/g*(-1 - -21). Suppose -3*q = s - 31, 17*q + 46 = 21*q - s. Is q < n?
False
Suppose -79*h - 24 = -75*h + 4*t, -h - 8*t - 48 = 0. Which is greater: h or -4/263?
h
Suppose 11*s - 12*s - 4 = 0. Let a be (s/330)/((-57)/57). Which is smaller: -1/3 or a?
-1/3
Suppose -9*p + 3199 = u, 198 + 145 = p - 3*u. Which is smaller: -15 or p?
-15
Let a = 203 + -182. Let o = -6 + a. Is o bigger than 16?
False
Let w = -416 - -633. Suppose 3*n - 1520 = -13*n + 1952. Is n not equal to w?
False
Let i be 215/(-10)*83*-2. Let p = i - 324775/91. Let s = 218/819 - p. Which is greater: s or 1?
1
Let s = -200861 + 200860. Let j = -25.872 - -26. Are j and s non-equal?
True
Let g = 370 + -619. Is -247 less than g?
False
Let p = 87692/3 - 292453117/10005. Let g = 6/667 + p. Which is smaller: 0 or g?
g
Let v be (3 + -11)*((-40272)/(-320) - 21). Is v greater than -838?
False
Suppose -j - 5*g - 29 = -340, -4*j + 3*g = -1359. Suppose 0 = 4*l - 1132 + j. Is 0 < l?
True
Suppose -3*s + 5*b = -846, 0 = b - 0*b. Let v = s + -295. Which is smaller: -1.1 or v?
v
Let r = -4983 + 5114. Is r > 69?
True
Let c be -15*(-4)/(-3)*4. Let m = c + 102. Let n be 31/(-26) + 0 + 33/m. Is n < 1?
True
Let d = -581 + 313. Let y = 164 + d. Is y bigger than -102?
False
Let k be (-2)/((-2)/10 - 0). Suppose k*i = -17*i + 810. Is i greater than or equal to 31?
False
Suppose 0 = -c - 5, 12*c - 15*c - 74725 = 5*f. Which is smaller: f or -14943?
-14943
Let v be (8/(-13))/(4/(-4)). Suppose 5 = -5*p + 3*f, 4*p + 12 = -0*f + 4*f. Let x = p + -2. Is v <= x?
False
Suppose -2*c + 123 = 825. Let j = c + 349. Is j greater than or equal to -9/4?
True
Let h = 485.2 + -489. Let z = 70.3 + -74. Let c = z - h. Which is smaller: -1/11 or c?
-1/11
Suppose 366*q - 367*q + b + 389 = 0, -2*b = -16. Which is smaller: q or 8?
8
Let p = 10916 - 10915. Which is smaller: 1/36850 or p?
1/36850
Let a = -34717858 - -27288241271/786. Let l = -6/131 + a. Which is bigger: 5 or l?
l
Suppose 11 = 4*c + 91. Let j = -141 - -153. Let q be 3/j - (-25)/c. Are q and -37 non-equal?
True
Suppose -4*w = 1252 + 80. Let b be (-37)/w + (-12)/(-135). Is -0.25 at most b?
True
Let i = -2.7654 + -169.5346. Is i not equal to 1/4?
True
Let t = 361100/41 + -8808. Let q = 26/41 + t. Let k(r) = 27*r + 81. Let g be k(-3). Is q at least g?
False
Suppose -6*j + 54 = 180. Let t = 16 + j. Which is greater: t or -11?
t
Let n(v) = v**2. Let y(h) = 5*h**2 - 3*h + 1. Let l(s) = -4*n(s) + y(s). Let c be l(3). Let r be c/8*(-11)/44. Is r equal to 1?
False
Let i be (1 - 2)/((-11)/583). Let g = -3758 - -3759. Which is bigger: i or g?
i
Let w = 3 - -1635. Is w >= 1638?
True
Suppose 28*m = 29412 - 10568. Which is smaller: m or 2695/4?
m
Suppose 0 = 3*x - 11 - 1. Suppose 8 = x*m - 0*m. Let k = 1535496.92 + -1535497. Which is smaller: m or k?
k
Suppose -15*q - 11*q - 220 = -24*q. Let o be (1 + -4)/(18/(-1428)). Suppose -5*m + o = -2*g, 503 + 54 = -5*g + 3*m. Do g and q have different values?
True
Suppose -26*u = -7*u + 65*u - 148176. Do u and 1763 have the same value?
False
Let h(l) = 7*l - 105. Let t be h(16). Suppose m + 2*v - t + 124 = 0, -v = -3*m - 323. Which is greater: -108 or m?
-108
Let h(d) = -3*d - 49 - 6*d + 76 - 43. Let i be h(-2). Suppose -3*o + n = -8, 7*o + 5*n = 5*o - 23. Are o and i equal?
False
Let y = -5567236322/3249505 - -59964/35. Let i = -1601912248/2135389 - y. Let m = -750 - i. Which is bigger: 0.1 or m?
m
Suppose -31*m = 31*m + 21452. Which is smaller: -7 or m?
m
Let q(y) = -17*y - 271. Suppose -3*n = -s + 47, 3*s - 2*s + 1 = 0. Let g be q(n). Do g and -1/229 have the same value?
False
Let k be ((-1)/(-12))/(2 + 4232/(-2136)). Let n = 11817/2660 - k. Suppose -4*o - 1 = -5*o. Which is smaller: n or o?
n
Let h = -1149796990/13243 + 86823. Is h at least 0?
False
Let x = 881 + -880.9158. Let q = -0.1542 + x. Is q at most as big as 1/67?
True
Suppose 0 = -4*f - 250 - 394. Suppose 11*r = -5*c + 8*r - 793, 3*c - 3*r = -495. Are f a