
Suppose 39 + 13 = p + u, -184 = -4*p + 2*u. Is 20 < p?
True
Suppose -14*y - 104 = -3*y + 15*y. Is -103/23 less than y?
True
Let y = 2695 - 2699. Let h(j) = j**3 - 6*j**2 + 2*j - 3. Let a be h(4). Is y at least a?
True
Let a(m) be the third derivative of m**5/120 - m**4/6 + 8*m**3/3 - 4*m**2. Let p(k) be the first derivative of a(k). Let d be p(8). Which is bigger: d or 2?
d
Let t(p) = -14*p - 71. Let b(d) = 13*d + 74. Let i(c) = 5*b(c) + 4*t(c). Let v be i(-17). Do -67 and v have different values?
False
Let t = -590632/157 + 3762. Let g = -736 - -735. Are g and t equal?
False
Let c = 19315 - 19283. Let t be (-6)/(-9)*(-12)/(-8). Is t greater than or equal to c?
False
Let v = 16250 + -17486. Which is smaller: v or -2/5?
v
Suppose 2*z + 5*p = 74, 37*z - 35*z = 3*p + 42. Suppose 4*o + z = l, 65 = 2*l - 14*o + 17*o. Which is bigger: -2/13 or l?
l
Suppose 0 = 5*p - 63 + 103. Let h be (-20)/p*72/(-30). Is h at most -7?
False
Let t(r) = -12*r - 5 + 2 + 2 + 11. Let h be t(2). Which is smaller: -0.5 or h?
h
Let u = -12747016/46069529 - -2/182093. Is u at least as big as 1?
False
Let v be ((-4)/12)/(-2*(-2)/(-24)). Let j be ((v + 1)*(-184)/(-24))/1. Let q = -38 - j. Which is smaller: -60 or q?
q
Let o(n) = -5*n**2 + 3. Let c be o(2). Let v = 244 + -265. Which is bigger: c or v?
c
Let w = -16982 + 17780. Does w = 798?
True
Let u be (554770/(-276))/5 + (-6)/36. Let f = -402 - u. Let z be -1 + 1 + 1 + -1. Are z and f nonequal?
True
Let r be 51999/(-9)*3 + (-20 - -10). Does r = -17344?
False
Let l be ((-32)/12)/((-13)/351). Suppose -5*t = d + l, 44 = -4*t - 2*d - 10. Let o(a) = -4*a - 2. Let v be o(3). Which is bigger: v or t?
v
Let n = 13715 - 13689. Which is smaller: n or -27?
-27
Let w = 3.665 + -3.865. Are w and -180 unequal?
True
Let y = -2/7401 - 5281/7845060. Suppose -s + 3 = -4*z + 4, z = 5*s + 5. Which is smaller: z or y?
y
Let h(z) = -3*z**2 + 26*z + 39. Let c be h(9). Which is greater: -36 or c?
c
Let h = -2125 - -4207. Let i be (-69)/(-46)*4/h. Which is bigger: -1 or i?
i
Let b(a) = -a**3 - 4*a**2 + 11. Let v be b(-3). Suppose 6 = -v*k + 4. Which is smaller: 3/13 or k?
k
Suppose 18 = -37*y + 39*y. Suppose -3*u + 2*a + 7 = 0, y = u - 5*a + a. Is 5/32 >= u?
False
Let v = 1944 + -25247/13. Let c = v + 15/26. Which is greater: c or 3/8?
c
Let g = -62122/3 + 20715. Let c(m) = m**2 + m + 7. Let p be c(0). Which is smaller: g or p?
p
Let n = -1622 + 9733/6. Which is greater: -111 or n?
n
Let x = 203 + -201. Suppose x*f = 21 - 27. Is f at least as big as -23/12?
False
Let z = 162 + -230. Let h = -8 + z. Let f = h - -74. Are -0.2 and f nonequal?
True
Let g(f) = -f**3 + 5*f**2 - 4*f - 4. Let o be g(2). Let d be (2 + o)*((-161)/(-14))/23. Which is greater: -6/119 or d?
d
Let y be (-65236)/92590 - (-6)/15. Which is smaller: y or -1?
-1
Let j be (-23 - -11 - -4) + 4776. Is j at least as big as 4768?
True
Let v = 19 + -15. Suppose 0 = 8*c - 9*c - v. Let w be c + 4 - ((0 - -1) + 27). Is w bigger than 1/5?
False
Let v be (2 + (8 - (-190083)/(-19008)))*-2. Is v bigger than 1?
False
Suppose 21*m = 76 - 265. Is 24 greater than m?
True
Suppose -59198 + 6574 = 88*z. Is z greater than or equal to -598?
True
Suppose -39*h = 2*h - 7257. Which is greater: h or 186?
186
Suppose 0 = 8*f + 92 + 84. Suppose 11*j - 1463 = -77. Suppose -3*g = 3*g + j. Which is bigger: f or g?
g
Let g = -544 + 547.56. Let z = g + -3.9. Does -2/3 = z?
False
Let b be 3*2/(-4)*1. Let d = 531 + -435. Is d less than b?
False
Let d(g) = -16*g + 2. Let a be d(-5). Let i be (-10 + 1)*1*-9 - (-25 + 26). Let f = i - a. Which is smaller: f or -6?
-6
Suppose 3*x = 4*t - 62, -3*t = -4*x + 3*x - 44. Let v be (8/2 - 2) + t/(-14). Which is smaller: 2/111 or v?
2/111
Let x be ((-7)/((-42)/303))/(1/4). Let n = 204 - x. Let h be (20/(-5))/((-76)/10). Which is smaller: h or n?
h
Suppose -w + 4*w - 2 = -2. Which is smaller: w or -8/703?
-8/703
Let t(p) = p**3 + 6*p**2 - 24*p + 11. Let m be t(-5). Let r = 158 - m. Is 17/9 at least as big as r?
False
Let q = -61 - -66. Suppose -2*z + q*t = 1, -2*z - 4*t - 27 = 1. Let b be ((-4)/z)/(2/(-4)). Is -1/41 at most as big as b?
False
Let b = -11.859 + 46.859. Which is smaller: b or 11.6?
11.6
Let s = 1972 - 2986. Let f be (-4069)/s - 3/(-78)*4. Which is bigger: f or 5?
5
Let v = -146 - -133. Let y be v/(819/(-301)) + 2/9. Which is bigger: 44 or y?
44
Let y(n) = 16*n - 5 - n**2 + 4*n**3 + 43*n**2 - 10*n**2 - 7*n**3. Let a be y(11). Is 49 smaller than a?
True
Let t be ((-48)/(-72))/((-2)/(-9)). Let x = -10 + -6. Let k = x + 15.8. Is t < k?
False
Let a = -26/1725 - -1/46. Suppose 15*t + 989 = 974. Are a and t equal?
False
Suppose -60 = -12*n + 60. Let o be n/(-4)*-1 - (-429)/(-6). Which is bigger: o or -70?
o
Let j = -104.79 - -28.19. Is j bigger than 1/4?
False
Let z(w) = -w**2 - 8*w + 2. Let y be z(-5). Let g = 8 - -19. Suppose 5*n + 5*k = 100, g*n - 26*n = 3*k + 20. Which is bigger: n or y?
n
Let w be (7 + -19)*((-2)/(-6) - 1). Suppose -9*x - 1240 + 286 = 0. Let m = 107 + x. Is w smaller than m?
False
Let x(c) = -c - 4. Let z be x(-3). Let n(a) = a**3 - 23*a**2 + 2*a - 58. Let f be n(23). Is z greater than or equal to f?
True
Suppose 93*i + 200531 + 180412 = -330879. Is -7655 != i?
True
Let a = -10043.26 + 10043. Which is greater: 114 or a?
114
Let o be (-154)/(-22) + -2*2. Suppose i + 5*y = -15, 0 = -o*i - 2*i + 5*y + 15. Let x be 1/(9/2) - (-517)/(-990). Which is greater: x or i?
i
Let y(r) = -15*r**2 - 4*r - 4. Let b(k) = 16*k**2 + 4*k + 3. Let q(p) = 4*b(p) + 3*y(p). Let a be q(4). Let j be (2/5)/((-8)/a). Which is greater: j or -1?
-1
Let h(g) = g**2 + 22*g + 91. Let l be h(-16). Let o be (55/(-75) - 6/(-15))*l. Is 1 at least as big as o?
False
Let t = -139 - -117. Let n be (-3504)/22176 + (-4)/t. Which is bigger: n or -1?
n
Let x = -2057 - -2056. Is 0.258 < x?
False
Let o be (-398)/(-184) + 12/138. Let d(q) = -q**2 + 8*q + 12. Let s be d(9). Suppose -s = -w - 0. Is o at most as big as w?
True
Let q = 78 - -35. Let c = q - 61. Is 49 less than c?
True
Let y = 13678 - 13671. Let i = -843 + 3353/4. Let s = i + 157/12. Which is greater: y or s?
s
Suppose 5*d - 182 = -182. Let f(h) = -h**3 + 3*h**2 + h + 1. Let g be f(d). Which is greater: g or 2?
2
Let g = -1.23 + 0.8. Let b = -5.43 - g. Let i = b - -5.02. Is i at most as big as 0?
False
Suppose -7*y = -5*y + 2. Let s be (y + 1/2)*-242 + 0. Which is bigger: s or 122?
122
Let v = -5962 + 5940. Is v equal to 20?
False
Let g = 20.3 - 3.3. Let j = g + -17.1. Let m = 1215 + -1198. Which is bigger: j or m?
m
Let n(b) = 5145*b**2 + 52*b - 56. Let i be n(1). Which is smaller: 5140 or i?
5140
Let s = 315 - 911/3. Suppose 3*g - 31 = w, 2*g - 197*w - 20 = -196*w. Which is bigger: g or s?
s
Let g = 77983/95 - 4097/5. Let h = 662/475 - g. Let n be -1*(-1 - 1)/2. Is n smaller than h?
False
Let u = 16169 - 15999. Which is smaller: u or 173?
u
Let i = -510 - -530. Suppose 406*w + i = 411*w. Which is smaller: w or 12?
w
Suppose -5*y = 28*y + 16*y - 57477. Do 1175 and y have the same value?
False
Let g be -38 + 1 + (-203)/(-29). Let o be (-405)/9 + g/6. Is -203/4 > o?
False
Suppose 2*d + 4 = -0*d. Suppose 286 + 34 = 4*c. Let i be (d/4)/(-3 - c/(-26)). Which is greater: i or -6?
-6
Let i(x) = 68*x - 254. Let o be i(4). Let c(l) = -l**3 + l**2 + l + 30. Let j be c(0). Which is bigger: j or o?
j
Let g(w) = 6496*w**3 + 3*w**2 + 45*w + 43. Let h be g(-1). Which is bigger: h or -6494?
-6494
Let i be -5*(3 + (-4)/1). Suppose 4*q - 56 = -5*b, -44 - 4 = -i*b - 2*q. Suppose 4*w - 5*w = -b. Is w not equal to 8?
False
Let d be (-23)/(-437)*19 - (1 + -6017). Is 6018 not equal to d?
True
Suppose -7*l = 104 - 300. Let f be 11*(12/(-20) + l/(-20)). Is -6 != f?
True
Let n(z) = z**3 + 5*z**2 - 29*z - 144. Let i be n(-6). Is i equal to -2400?
False
Let f(i) be the second derivative of -i**5/20 - 4*i**4/3 - 2*i**3/3 - 31*i**2/2 - 50*i. Let q be f(-16). Is 34 >= q?
True
Let t be 3/(18 - 0)*-6*1. Which is bigger: -54/29 or t?
t
Let c = -3477/9707 + 3/571. Which is bigger: 1 or c?
1
Let k(o) = o**3 + 19*o**2 + 19*o + 23. Let t be k(-18). Suppose 43 = 4*y - t*p, -2*p - 17 - 10 = -3*y. Suppose y*c + 6 + 1 = 0. Does -0.3 = c?
False
Let s(d) = d - 6. Let y be s(8). Suppose 5*n - y*n = -2*z + 6, -4*z - 6 = -3*n. Is z >= 21/41?
False
Let k = 169 + -155. Let g be 