4 or p?
-114
Suppose -2 = -t + 4*k + 3, k + 2 = t. Let m be 15/5*t/3*-26. Is -26 > m?
False
Let j = -8 - -15. Let w be (j + -5)/(-1 + (-19)/(-21)). Let d(p) = -p**3 - 21*p**2 - p - 24. Let h be d(w). Which is bigger: h or -9/4?
-9/4
Let n be (1060472/348)/((-7)/(-6)). Is n smaller than 1?
False
Let d be (-523 + 22)/(-719 + -4) - (1 - 0). Are -1 and d non-equal?
True
Let t = -53 + 88. Let a = -120 + t. Which is smaller: a or -87?
-87
Let u(d) be the third derivative of 0 + 0*d + 2/15*d**5 + 11/6*d**3 - 1/4*d**4 - 21*d**2 + 1/120*d**6. Let p be u(-8). Is p > 59?
False
Let i(p) = -p**3 - 10*p**2 + 10*p - 6. Let v be i(-11). Suppose -5 = v*r - 15. Let a = -1063 + 1066. Does r = a?
False
Let l = -245 + 284. Suppose 3*d - l - 57 = 0. Is -2 > d?
False
Let c(z) = z**2 + 2*z + 7. Let a be c(-4). Suppose -4*q - 30*v = -28*v - 16, -v + 20 = 5*q. Let d be 57/q + 16/(-64). Is d less than a?
True
Let p = 97.42 - -4.58. Is p at most as big as 0.4?
False
Suppose -163*s + 70*s - 126015 = 0. Which is smaller: -1356 or s?
-1356
Let u = 5152774/984509 + 4/20947. Which is bigger: 4 or u?
u
Let z = 4643 - 4941. Which is smaller: -299 or z?
-299
Let k = -656 - -1499. Let v = -841 + k. Is 78 greater than v?
True
Let i be 67/13 + (-50)/325. Suppose v - 6*v + 5*r - 35 = 0, -i*v - 47 = -2*r. Let m = -42 - -30. Are m and v equal?
False
Suppose 0 = 3*u, 4*h = 7*u - 12*u + 188. Which is smaller: 1/3 or h?
1/3
Let x be (-22)/(-3 + 1) + -2. Let r be 12*(4/((-24)/x) - -1). Let h be 3/r - (-345)/666. Which is greater: h or 1?
1
Let l = 447 - 358. Suppose 3*q - 5*h + 459 = 0, q - h = -62 - l. Which is smaller: q or -147?
q
Suppose -12*h + 7*h - 180 = 0. Let v = h - -34. Let r(w) = -w - 1. Let n be r(6). Which is smaller: v or n?
n
Let z be (-195)/26 + (5 - 2). Let m = -67 - -61. Which is bigger: z or m?
z
Let o = -0.1081 - 0.2689. Is o >= 2?
False
Suppose 5*f + 5*h = 10620, -2*h + 3113 + 7510 = 5*f. Are 2126 and f nonequal?
True
Let i = 1500 + -1825. Which is bigger: -326 or i?
i
Let z(l) = 3*l**2 + 86*l + 84. Let m be z(-1). Which is smaller: m or -22/113?
-22/113
Let q(w) = -7*w - 221. Let f be q(-38). Suppose 54*h + 288 = f*h. Which is smaller: -38 or h?
-38
Let u(q) = -4*q**2 + 82*q - 1488. Let k be u(30). Is -2626 less than or equal to k?
False
Let p = 92609 + -92594. Let v = 3.9 + 24.1. Which is smaller: v or p?
p
Let c(a) = a**3 - 8*a**2 + 8*a + 18. Let z be c(8). Let b(w) = w**2 - 3*w - 16. Let i be b(6). Suppose i*h = 102 + 60. Which is greater: h or z?
z
Let z = 83 + -83. Let h be (34/5)/(794253/(-16260) + z). Let a = h - 2/6157. Which is smaller: -1 or a?
-1
Let d = 603/5 + -121. Suppose -24 = -28*b + 30*b. Let u = -12 - b. Which is bigger: d or u?
u
Let a be (576/8)/(-4) + 17. Which is smaller: -9/1001 or a?
a
Let l = -8593 - -7102. Is l bigger than 2?
False
Suppose -i + 8 = 2*h, 0 = i + 7*h - 4*h - 12. Suppose 5*b - k = -3*k - 5995, 5*k = -b - 1176. Let x = 108089/90 + b. Is i <= x?
False
Suppose 4 = 2*c + 6. Let d be c/3 - -8*(-2)/78. Let b = -127/260 - d. Which is smaller: b or -1?
-1
Let t = 0.89 + 0.11. Let g = t - -13. Let o = 1.439 - 1.639. Which is bigger: g or o?
g
Suppose 0 = 5*c - 6*c + 8. Suppose 3*d - 4*m + c = 28, 0 = -3*d + 5*m + 16. Is 12 less than d?
False
Suppose 2*k = -z - 156, -3*k - 167 = 2*z + 67. Let l be (k/16)/((-25)/(-20)). Let p = 758/195 + l. Which is smaller: -1 or p?
-1
Let y(g) = -4*g**2 + 59*g + 173. Let r be y(28). Is r > -1309?
False
Let l(o) be the third derivative of -o**6/120 - 13*o**5/60 + o**4/6 - 28*o**3/3 + 99*o**2. Let v be l(-13). Which is greater: -109 or v?
v
Suppose 7*o + 22 = 43. Suppose -2*u = 5*c - 3*u - 49, -2*c = o*u - 6. Suppose 9 = 3*z - 3*r, -4*z + r - c = -7*z. Which is smaller: 21/5 or z?
z
Let j(t) = -57*t + 1141. Let g be j(20). Do 2/12637 and g have different values?
True
Let r(t) = 8 - 9 - 16*t - 7*t + 4*t. Let g be r(2). Is g at most as big as -39?
True
Let y = -73 - -40. Let w = -33 - y. Suppose w = -5*g + 3*j + 23 + 6, 18 = 3*g - 2*j. Which is greater: g or 1?
g
Let w = 0.03 - -0.083. Let b = -1.521 - -1.621. Is w at most as big as b?
False
Let r be ((-6677)/66)/(4090/(-189908)). Let x = r + -23487/5. Is -1 smaller than x?
True
Let d be (-1870)/(-35) + (-5 - -1). Let c = d + -74729/1512. Which is greater: -1 or c?
c
Let i = -55.7 + 58. Let u = 39.4 - 7.4. Let q = u + -32. Do q and i have the same value?
False
Let x = 0.16 + -0.16. Let v = 1068 + -1067.88. Do x and v have different values?
True
Suppose -2*k + 6*k + 96 = 0. Suppose 0 = -789*x + 811*x + 110. Which is smaller: k or x?
k
Let w = 3001 - 3102. Which is smaller: w or 1/4?
w
Let x be (3 + (-40)/12)/((-1)/15). Suppose 5*w + 2*q = q + 37, -2*w = q - 16. Suppose w*u - 5*u = 0. Which is bigger: x or u?
x
Suppose 0 = -99*t + 171*t. Is 65/327 != t?
True
Suppose 0 = -5*n + 3*d - 4*d + 472, -5*n = 3*d - 476. Let a = -94 + n. Which is smaller: a or -7/18?
-7/18
Let f = -273/124 + 76/31. Let z = -86.258 + 86. Is f at most z?
False
Suppose 4*h = -o + 30, -5*h + 0*o - o + 38 = 0. Let x be (h - 7) + (-18)/9. Which is greater: -20/29 or x?
-20/29
Let z = -4609 + 4609. Do z and 2/3565 have the same value?
False
Let f be 12 + (-1 - -2) + -2. Let o(v) be the first derivative of v**3/3 - 13*v**2/2 + 23*v - 178. Let k be o(f). Which is smaller: -2 or k?
-2
Let c(n) = 32*n**2 - 10*n - 31. Suppose 0 = -32*s - 134 + 38. Let r be c(s). Which is smaller: 289 or r?
r
Let r be 804/1005*10/8. Which is smaller: -1/295 or r?
-1/295
Let k be (4/(-6))/((-6)/(-72)). Let f be -3 - k/(-1 - -5). Let z be 250/(-64) + 8 + -4. Is f < z?
True
Suppose a = 2*j, 8 = 4*a - j - 13. Let k be a*((-9 - -8) + 15/2). Let f = k + -53. Are -8 and f equal?
False
Let g = 15 + -14. Let l(k) = 49*k - 384. Let f be l(6). Which is smaller: g or f?
f
Let l = -18 - 22. Let g = l - -33. Let u be -2*((-116)/(-24) - 1). Which is smaller: u or g?
u
Suppose -15 = 5*l + 45. Let b(d) = 2*d**2 + 14*d + 1. Suppose 45 = -5*r - 3*i, -3*r + 4 = -3*i + 7. Let g be b(r). Is g less than or equal to l?
False
Let w be (-791)/565*(-1)/14. Is w smaller than 18?
True
Let r be 9535/(-36) + 1 + -4 + 264/96. Which is smaller: r or -265?
r
Let m be 245/10*(-608)/(-1064). Which is bigger: 12 or m?
m
Let d be (2 - 0 - -16)/(-1). Suppose 4*i - 4*r = -5*r + 25, -4*i + 4*r = -20. Let c(n) = n**3 - 8*n**2 + 13*n - 8. Let k be c(i). Is k >= d?
True
Let k(r) = -r**3 - 96*r**2 - 91*r + 30. Let j be k(-95). Which is smaller: -349 or j?
j
Let g(p) = p**3 - 39*p**2 - 264*p + 138. Let l be g(46). Which is bigger: 8419/3 or l?
8419/3
Let d be -4 - 170/(2 + -1). Let p be (-3)/66*d/9. Let f = -5/6 + p. Which is smaller: f or 0?
0
Suppose 461*a - 48 = 460*a. Let i be (a/9 + -4)*45/(-6). Is i greater than or equal to -22?
True
Suppose -z = l + 1655, -2*z + 24*l - 27*l = 3308. Is z smaller than -1657?
False
Suppose -292*u + 44 = 3*w - 297*u, -2*w - 4*u = 22. Let y(f) = f. Let c be y(-2). Is c less than w?
True
Let w = 68/319 + 5413/319. Are w and 18 equal?
False
Suppose -12*m = -10*m + 3*r + 4511, -3*m = 3*r + 6774. Let u = 3826 + m. Let l = u + -67215/43. Which is bigger: 0 or l?
0
Suppose f + 21 = 33*k - 36*k, -4*f = -5*k - 69. Are -280/29 and k unequal?
True
Let f = -124 + 145. Suppose -2*s - 43 = f. Which is greater: s or -97/3?
s
Let m(b) = -3*b**3 + 4*b**2 + 4*b + 3. Let l be m(-2). Let c(f) = -2*f**3 + 70*f**2 - 48. Let w be c(l). Are -48 and w nonequal?
False
Let i = 289 + -967. Let y = i - -684. Is 30 > y?
True
Let q be 2/(-7) - 13818/(-343). Let b be -6*((-152)/q)/((-8)/(-10)). Is b > -1/3?
True
Let p = -13724 - -13811. Is p less than 66?
False
Suppose 4*m - 3*i = 1 + 2, -5*m + 18 = i. Let q be (-32)/(-18) + 8/(-180)*-5. Suppose q*o - 8 = 2*k + 24, -o = 2*k + 17. Is k smaller than m?
True
Let o be (-15146)/42*((-378)/(-258))/(-7). Let m = o + -529/7. Is 0 > m?
True
Let x(f) = -1151*f + 6780. Let l be x(6). Is -1001/8 >= l?
True
Let u = -189 - -194. Suppose -2*g + 2*t = -1352, -u*t - 686 = 5*g - 4096. Which is smaller: g or 680?
g
Let y(o) = o**3 - 10*o**2 - 9*o - 15. Let p be y(11). Suppose 2*f + 5*s = -0 + 1, -4*s - p = -f. Suppose -f*t - 8 - 10 = 0. Which is bigger: t or -3/4?
-3/4
Suppose 0 = -5*f + 5*b + 5165, 0 = 5*f - 3*b - 2974 - 2195. Let l be (1/3)/(3/f). Let w = l + -110. Is 10 <= w?
False
Suppose -30*r + 357 = -13*r. Sup