t y(k) = -2*k**2 - 12*k + 33. Let w be y(-7). Is w equal to i?
False
Suppose -8*k = 5*o - 14*k - 11267, 11283 = 5*o - 4*k. Which is smaller: 2262 or o?
2262
Suppose 0 = -25*t - 15*t + 49*t + 9. Is t >= -3/1211?
False
Suppose -32*b - 148557 = 7091. Which is smaller: -4863 or b?
b
Suppose -19*c + 34 = -2*c. Suppose 0*x + 2*l = 3*x - c, x + 3*l = 19. Is x at most 25?
True
Let t be ((-5)/((-50)/(-10)))/(-1). Is t less than or equal to 11/30?
False
Suppose 22 = -2*t - 4*k, 17*t = 15*t - 2*k - 10. Is t < 2/9525?
False
Let n be (-2 - -6)*1 + 15 + -17. Let x(i) = 0 - 2*i + i**2 - n - 3 - 1. Let w be x(-6). Are 43 and w equal?
False
Let s = 637 + -377. Let v = 183 - s. Let t = 78 + v. Which is bigger: -0.16 or t?
t
Let m be ((24 + -27)*(-1)/3)/(-1). Which is bigger: m or -2/1231?
-2/1231
Suppose 0 = 4*w + 370 + 11250. Do -2905 and w have the same value?
True
Let w be (3 + -16 + 15)*(-6)/(-4). Let p(r) = 34*r - 105. Let o be p(w). Is o smaller than -40?
False
Let o = -1.05 + 123.05. Let s = o - 120. Which is greater: 26 or s?
26
Let v = 264 + -263.9982. Let r = -0.2018 + v. Are 52 and r unequal?
True
Let k be (92/8)/((-4)/(-8)). Suppose k*t - 6 = -6. Is 3/94 < t?
False
Let d be (2/(-10))/(462/591745) - (-10)/(-12). Is d < -261?
False
Suppose 159*u + 150 = 209*u. Which is smaller: 756 or u?
u
Let v = 14866 - 13493. Which is bigger: v or 1?
v
Suppose 0 = -18*r + 22*r - 8. Let u be r/4*(-36)/1098. Let q = u + -115/427. Which is greater: 0 or q?
0
Let g = -1.743 + 0.113. Let w = g + 1.63. Let j = -8 + 7.3. Which is greater: j or w?
w
Let z = 68 + -67.732. Let w = -134 + 133.952. Let y = w + z. Which is smaller: y or 0?
0
Let q = 550 + -550.036. Let o = 24 + -51. Let s = -26 - o. Is s less than q?
False
Let f = 0.42 + 38.58. Let i = 39.38 - f. Let n = i - 0.18. Which is bigger: n or 0.4?
0.4
Let d(b) = -b**3 + 37*b**2 - 25*b + 959. Let i be d(37). Which is greater: 47 or i?
47
Let j = -7.471 - -7.671. Let x(w) = -w. Let k be x(12). Is j >= k?
True
Let f = 7.83 - -92.07. Let q = -100 + f. Which is smaller: -19 or q?
-19
Let y be (-1164)/96 + 12 - (-25698)/16. Is y at most 1615?
True
Let p = -29/68 - -7183/16524. Let x = p - 8/243. Suppose -4*z - 3 = -g, -14*g + 7 = -2*z - 19*g. Are x and z equal?
False
Let n = -4169 - -4155. Is 4 < n?
False
Let q be 0/(((-8)/(-10))/(108/270)). Which is smaller: q or 2/9651?
q
Suppose 2 = -2*x, 4*v - 478 = 2*x - 3828. Which is bigger: -835 or v?
-835
Let i = -2.9647 - 0.0453. Let r = -13.01 - -13. Let c = i - r. Is c less than 2?
True
Let g be (1 - 3) + (-6651)/(-3330). Let x be (-9 - (-2 + -4)) + 4. Is x < g?
False
Let o = 0.14406 + -0.24406. Is o at most -6877?
False
Suppose 80*g - 15 = -3*a + 77*g, 4*a = -2*g + 22. Is a at most 41?
True
Let q = 21.12 + -20.5. Let f = -2.62 + q. Are 0.09 and f equal?
False
Suppose q - 1990 = -4*q. Let x = -387 + q. Are 15 and x non-equal?
True
Let u be (-319 - -36 - -1)*((-2)/(-2) + 8). Which is smaller: -2536 or u?
u
Let c be 46/(-2) + -10 + 11. Let t = -39/46 + 8/23. Is c greater than t?
False
Let i = -3660 - -3708. Which is smaller: 3 or i?
3
Suppose -36*a = -53*a - 49*a + 272976. Which is smaller: 4137 or a?
a
Let n(i) = 2*i**3 + 18*i**2 - 29*i - 21. Let m be n(-10). Are m and 63 equal?
False
Let f be 248/(-12)*(-6)/(-14). Let b = -739 - -731. Which is greater: f or b?
b
Let l be 3*(55/15 + 0). Suppose -14*d + l = -11*d + 2*z, 3*d = -3*z + 6. Are d and 14 unequal?
True
Let d(o) = o**3 - 6*o**2 - 25*o - 5. Let k be d(9). Suppose -k*a + 28*a - 5700 = 0. Which is smaller: -2/3 or a?
-2/3
Let d(u) = -3*u + 3*u + 8*u - 155 + 2*u. Let c be d(12). Which is smaller: -37 or c?
-37
Suppose -6*w - 560 = -10*w - 5*m, -w + 161 = -4*m. Let x be w/15 + -3 + -7. Which is smaller: 404 or x?
x
Suppose 4*v = l + 2*l, -3*l = 2*v. Suppose 16 = -4*x, 3*i - 2*x - 3*x - 71 = v. Is 23 equal to i?
False
Let m(r) = -r**3 + 5*r**2 - 2*r + 3. Let q be m(5). Let t be 3*16/168 + (-509)/q. Which is greater: -1 or t?
t
Let m = -429 + -522. Which is smaller: -950 or m?
m
Let z be 4/(-34) + (-752)/(-34). Suppose 0 = -6*d + 5*d + z. Let r(j) = -j + 2. Let p be r(-21). Is p smaller than d?
False
Let x be (-2*(-3)/(-27180))/(1*(-14)/35). Which is smaller: -2 or x?
-2
Let t be 122*(-57)/(-24)*(-8)/(-3830). Let s = t + -2/383. Which is smaller: 0.2 or s?
0.2
Suppose -131*z + 315 = -152*z. Which is greater: -74/5 or z?
-74/5
Let v = -1 - -1. Let u = -418.23 - -418.51. Which is bigger: u or v?
u
Let v = -94287/70 + 1347. Let r(u) = u**2 - 17*u + 71. Suppose 3*p = 2*m - 1, -14*m - 21 = -16*m - p. Let a be r(m). Which is smaller: v or a?
a
Let n = -93 - -92. Let c be (-1)/(-5) + (-126)/30 + 4. Suppose x + 27 = 5*q, -7*q + 2*q + 20 = c. Is n bigger than x?
True
Suppose -56*k + 59*k - 1877 = 5*w, -5*k + 3190 = 4*w. Which is bigger: k or 635?
635
Suppose 225 - 231 = -6*g. Let i be ((-3)/(-9 - -6))/(g/2). Which is bigger: i or -40/13?
i
Let p(c) be the first derivative of c**4/4 + 3*c**3 + 3*c**2 + 51*c + 13. Let i be p(-9). Which is smaller: i or -15/7?
i
Let q = 10282598/185 + -55582. Is q greater than or equal to -1?
True
Let l = -544 + 13607/25. Let w = -34775273/275 + 126456. Let h = l - w. Which is smaller: h or 1?
h
Let u(n) = -n**3 - 3*n**2 + n - 2. Let q be u(-3). Let h be 114/(-5)*(3 - 875/273). Let k = -12/13 - h. Is q at least as big as k?
True
Let x be (4163/(-207) + 20)/((-10)/(-168)). Suppose -4*p - 5 = p. Is x > p?
False
Let v = 10975 + -10973. Which is bigger: -335.9 or v?
v
Let o(k) = k. Let z(g) = 15*g + 2. Let h be (-6)/39 + 1 + 48/(-26). Let t(q) = h*z(q) + 5*o(q). Let f be t(3). Do f and -32 have the same value?
True
Suppose -412 = -31*d - 195. Which is greater: d or -177?
d
Let y = 6.078 - 7.078. Let j be (-17)/24 + (-1)/(-3). Which is smaller: y or j?
y
Suppose -19*d + l - 1 = -16*d, -2*l + 2 = -4*d. Let f be (1 - (-7)/(-4))*8. Which is smaller: f or d?
f
Let a be 2/(2/(-4) - -1). Let x(w) = w**3 - 25*w**2 + 23*w + 29. Let f be x(24). Suppose -g - a*c = -7 - 3, f*g + 2*c = 86. Is g at most 19?
True
Let k be 2 - 1/((-10)/(-24)). Let v = -265.13 + 255.13. Is v equal to k?
False
Let l = 5744/429 - 320/33. Let a = -3 + l. Suppose -2*d - 5*c + 9 = 0, -4*d + 2*d = 2*c - 6. Which is greater: a or d?
d
Suppose -u + 3 - 4 = 0. Suppose -10*c = 685 - 205. Let j be (2/(-300))/(16/c). Which is smaller: j or u?
u
Let n = -790/137 - 217424/1781. Does n = -128?
False
Let w = -49536 + 10600763/214. Do -1 and w have different values?
True
Suppose -4*q = -4*v + 8, q - 12 = -2*v - 5. Let m be (-15)/(-2)*1/(222/(-8)). Let g = -1097/3922 - m. Which is bigger: g or q?
q
Let f be (-4 - (-13)/3)/(12/36). Which is smaller: f or -2/5405?
-2/5405
Let h(y) = -y**3 - 14*y**2 - 15*y - 13. Suppose 26 = 6*d + 182. Let q be (-2*4/(-8))/(2/d). Let t be h(q). Which is smaller: 12 or t?
12
Let w = -13 - -15. Suppose -4 - 44 = -w*y. Let a = y + -12. Which is bigger: -1 or a?
a
Let l(n) be the first derivative of -n**4/4 - 5*n**3/3 - n**2 - 2*n + 9. Let a be l(-5). Let v = 91 + -94. Is v at most as big as a?
True
Let k = -3201 + 3208. Is 83/10 >= k?
True
Let k be ((-110)/(-40))/(1/((-8)/(-5))). Let p be (447/(-30))/((-28)/(-8)). Let l = k + p. Which is bigger: 7 or l?
7
Let c = -208.84 + 207. Let a = -8.16 + c. Which is smaller: 11 or a?
a
Suppose 9*z = -35*z + 20*z - 408. Which is bigger: z or 329?
329
Let a = -362 + 217. Let g = -434/3 - a. Which is greater: -138 or g?
g
Let j be (-9 + 27)*5/(5 + 0). Suppose -j + 24 = 2*n. Let v be (0 - 1)*(5 + 0). Is v equal to n?
False
Let b = -7521/19 - -396. Let s = 97/133 - b. Which is smaller: s or -3/19?
-3/19
Let y = 1/104 - -23/104. Which is greater: y or -0.59?
y
Let q be (16/4 + 0)*1/1. Let k(v) = 14*v - 56. Let l be k(q). Which is smaller: l or 1/196?
l
Let a(s) = 2*s**2 + 13*s + 22. Let r be a(-2). Suppose -5*g = 0, 0 = r*l + 2*g + 157 + 191. Are l and -87 equal?
True
Let q be (-1)/(-3) + (-150)/(-90). Suppose g + 6 = -a - 4, -5*g - q = -a. Let k be (6/(-9))/((-1)/(-12)). Are k and a equal?
True
Let m be 12/(-4) - 2415*-1. Let g = m - 306322/127. Let h be (-2)/(-3) - (-5)/(-3). Which is greater: g or h?
g
Let c = 13.04 + -0.04. Let r = -12.1 + c. Let m be (2 - 2) + 4/6. Is r greater than m?
True
Let o = 28 + -27. Suppose 21 = -l + 90. Let m be -3 - (-5 + l/36). Is m not equal to o?
True
Suppose -