2 + 35*v - 9. Let k be l(-4). Is -854 < k?
True
Suppose 17366 = 38*o - 14*o - 5*o. Does o = 914?
True
Let f = 0.14 + -0.468. Let d = f + -27.272. Let l = d + 27. Does 0 = l?
False
Let a be (3 + (-215)/75)*111. Let n = -3177/215 + a. Is n at least -0.1?
True
Let j = 38/339 - -188/339. Let q(b) = -447*b. Let y be q(1). Which is bigger: y or j?
j
Suppose -23*y = -21*y + 238. Let u = -125 - y. Which is smaller: u or -0.1?
u
Let s(k) = -3*k + 15. Let h be s(6). Let r be (h - (-68)/20)*10/272. Let m = 23/68 + r. Is m at least -1?
True
Let g = 15882/2047 + -180/23. Let d = -722/5429 - g. Let f be ((-22)/6 + 4)*-3. Is f less than d?
True
Let a(z) = -5*z**2 + 3*z - 3. Let h be a(2). Let d(w) = 0*w + 38 + 0 + 3*w + w - 2*w. Let r be d(h). Which is bigger: r or -3?
r
Suppose i + 3173 = -3*u, 2*u + 931 = -3*i - 1168. Which is bigger: u or -3?
-3
Suppose -9*p + 11*p - 2 = 0. Suppose 0 = 4*i - 20, -r - i - 2*i + p = 0. Let v be (1 + 1)*56/r. Which is smaller: -7 or v?
v
Let x = -5361.9 - -5362. Is x greater than 18?
False
Let p = -11737.317 - -11737. Is p bigger than -0.02?
False
Let l = -1/1057 - 5239/48622. Let g = 212926 - 212926. Which is smaller: g or l?
l
Let x = -161.098 + 161.07. Let h = -5.8 + 6. Which is greater: x or h?
h
Let k be (2 - (-16494)/(-45))*(-144)/192. Which is smaller: 272 or k?
272
Let f be 25644/3825 - (-18 + 25) - (-4)/(-34). Is f < 1?
True
Suppose -2*f = q - 137, 9*q + 20 = 13*q. Is -30 greater than or equal to f?
False
Let u = 1067.439 - 1069. Let x = -1.5 - u. Which is smaller: 0 or x?
0
Suppose -18*h + 14*h + 16 = 0. Let r be (-6)/(-2) + h + (-4)/2. Let a be 18/9 - (-1 + r + -2). Which is greater: a or 3/68?
3/68
Let r be (-2)/42*(-6762)/10764. Are -1 and r non-equal?
True
Suppose -17*y + 15*y = -2. Let i be (22/(-462))/(y/(-6)). Which is bigger: i or -126?
i
Let v be (1/(-2))/(3/6). Let q = -3/2577209 - 528322592/4512692959. Let z = 6/103 + q. Which is smaller: v or z?
v
Suppose -111*p - 4088 - 30051 = -3836. Which is smaller: p or -274?
-274
Suppose 0 = -2*g - 2*k, -g + 3*k + 0*k = -4. Let v = -5.9 - -2.4. Let y = 1.1 + v. Does y = g?
False
Let q = 25 - 21. Suppose 0*p - p - 29 = 5*a, 0 = -a - q*p - 2. Let w be (-15)/(-10)*a/9. Which is smaller: w or 1/19?
w
Suppose -2*n = -3*y - 705, 11*n - 4*y - 1745 = 6*n. Which is smaller: 349 or n?
n
Suppose -127 - 62 = 7*u. Let d(g) = -3*g**3 - 80*g**2 + 26*g + 39. Let t be d(u). Are t and 68 equal?
False
Let d = 620 + -620. Let s = -0.01 - 0. Let u = s - -7.01. Which is greater: d or u?
u
Let r(y) = y**3 - 12*y**2 - 10*y + 10. Let f be r(13). Let w = f - 33. Let j be (-2)/(-16) + ((-790)/w)/(-5). Is 21/2 smaller than j?
False
Let r = -0.93452 - 0.06548. Which is smaller: 506.3 or r?
r
Let c = -7576 - -7575. Which is smaller: 28/125 or c?
c
Let w = 126/29 - 1424/261. Suppose 12 = 4*z - 40. Let m = z - 15. Which is smaller: m or w?
m
Let v(u) = -52*u - 1. Let c = -53 + 48. Let z be v(c). Suppose 61 = -10*b - z. Which is smaller: -33 or b?
-33
Let t be 0 - 10 - (-4884)/(-165). Is t smaller than 2.5?
True
Let o(m) = 2*m**3 - 10*m**2 + 36*m - 182. Let t be o(5). Which is smaller: t or 1/52?
t
Let l = 78 + -74. Suppose 3*w - 23 = -c, l*w + 2 - 16 = 2*c. Let u be (1/3)/(2/w). Is 2/15 <= u?
True
Let m = 3784981791537891289/425967079560 - -51932/1613511665. Let n = 8885620 - m. Let g = -1/264 + n. Which is smaller: g or 1?
g
Let a(o) = o**3 - 31*o**2 + o - 13. Let u be a(31). Which is bigger: 176 or u?
176
Let q be 584/(-528) - 2/3. Let i be -7 + (-36)/(-25 + 16). Is q greater than or equal to i?
True
Let u = 55/546 + -1/42. Let q be 66/195*(-5)/(-4). Let s = q + u. Which is greater: s or 0?
s
Let u be 188/(-168) + (-3 - (-69)/21). Suppose -2 = -2*h - 4. Let q(p) = -p**2 - p. Let g be q(h). Which is smaller: g or u?
u
Let i = 4573 + -4576. Does i = -6/515?
False
Let y(f) = f**3 - 41*f**2 - 40*f - 92. Let h be y(42). Let x be 2*(16*-155)/h. Are x and 620 equal?
True
Let r = -958777/2226 - -3015/7. Do 0 and r have different values?
True
Let t(u) = u**3 + 7*u**2 + 3*u + 4. Let s be t(-8). Let y = 227 + -148. Let n = s + y. Is -2 greater than n?
True
Let i be 2/((-9)/(-6)*12/(-18)). Let y be ((36/5)/(-3))/(i/(-20)). Let h be 16/y*(-2)/4*3. Is 1 equal to h?
True
Let c be 2/(-36980)*(7122285/3 + -4). Let q = c - 5/3698. Which is bigger: -129 or q?
q
Suppose 14*w = 34*w + 4003 - 1203. Which is bigger: w or 8?
8
Let j be -12*6/(-12) - (13 - 390/15). Suppose -q - 80 = -3*q. Let b = q - 20. Which is greater: b or j?
b
Let q = 2635579/957 + -2754. Is q <= 1?
True
Let s = 63 + -45. Let m = s + -21. Let h be 429/141 - (m + 6). Do h and 0 have different values?
True
Let g = 2873 + -2881. Is 3/289 greater than g?
True
Let n = 920.4 - 920.7. Is -111.6 less than or equal to n?
True
Let g be 2 + 14/(2 - (-15)/(-6)). Let a = 403 + -429. Is g at least as big as a?
True
Let c = 87.8 - -4. Let s = c - 92. Which is smaller: -6.4 or s?
-6.4
Let o = -76.0712 + -0.0288. Let t = o + 78.6. Which is bigger: 13 or t?
13
Let z be (1/(-3))/(9/108) + 11. Suppose 4*v = z*v. Is v bigger than 2/33?
False
Let o be (21/50)/((-24)/32). Let d = 3681 - 3681. Is d <= o?
False
Let f be ((-1812)/17667)/(-1 + (-2)/(-6)). Let d(z) = -z**3 + 2*z**2 + z - 1. Let w be 3 - 3/6*2. Let j be d(w). Which is smaller: j or f?
f
Suppose 7 = -4*h - 5. Let a(r) = 7*r**3 + 2*r**2 - 15*r - 2. Let i(z) = z**3 - 2*z. Let n(p) = a(p) - 6*i(p). Let t be n(h). Is t bigger than -0.6?
False
Suppose -x + 25 = 15. Let d be ((-5802)/981)/((x + 4)*1). Let y = d - 2/327. Which is greater: y or -1?
y
Suppose 0 = -275*k + 418*k + 375*k. Which is bigger: 130/147 or k?
130/147
Let m be (-7)/(-4) - (5 + (-63)/12). Suppose -5 = i + m*f - f, -13 = i - f. Let p(x) = x**2 + 11*x + 8. Let w be p(i). Is w >= -11?
True
Let y = 0.23 + -2.23. Let z(i) = 73*i + 2. Let u be z(1). Let f be (3 - 6) + u/18. Which is smaller: y or f?
y
Suppose p + 4 = 13. Let l be ((-6)/p - 0)/(4/216). Let y = 36 + l. Is y smaller than 83?
True
Let h = 8588 + -7482. Is h at least as big as 3/2?
True
Let p(i) = 771*i + 4181. Let m be p(6). Which is smaller: m or 8805?
8805
Suppose -2*y = -4*y + 42. Suppose -27*j = -41*j - 434. Let w = y + j. Which is greater: w or -12?
w
Let b(s) = 71*s - 4757. Let f be b(67). Is f at most as big as 1/29870?
True
Let v(t) = t**3 - 29*t**2 - 111*t + 6. Let n be v(-5). Is n bigger than -1?
False
Suppose 0 = -47810*s + 47802*s + 23488. Which is bigger: 14678/5 or s?
s
Let d = 146875 - 1047365629/7131. Which is greater: d or 1?
1
Suppose -3*v = -2*v + 432. Let l = -7564502 + 385811636/51. Let i = l + v. Which is bigger: 1 or i?
1
Let f = -232 + 166. Let y be ((-2)/4*f)/((-3)/(-2)). Let j be 18/y - 4/(-22). Is j greater than 11?
False
Let q be ((-134)/(-5))/((-15)/(2475/(-66))). Let i = -49 - -113. Which is smaller: i or q?
i
Let k be (1/2)/((-6)/8). Let c = 0.0082 + -245.0082. Let s = c + 241.8. Which is greater: s or k?
k
Let j(k) = -k**2 - 4*k + 33. Let x be j(-7). Let f be 7 + (-35)/(x + -7). Is f not equal to -1/7?
True
Let i(y) = 3438*y**2 + 34387*y + 24. Let f be i(-10). Suppose -p + 132 = -4*p. Do p and f have the same value?
False
Let f(w) be the third derivative of 83*w**5/60 - w**4/24 - w**3/6 + 39*w**2. Let y be f(1). Let u = -107 + y. Are -51/2 and u equal?
False
Let b = -67 + 46. Let r be (79/8)/(-1)*(22 - (-30 - -50)). Is r < b?
False
Let k(t) = t - 14. Let d be k(10). Let a be (4/(-2090))/(d/5). Let l = a - -1043/836. Is l <= 0?
False
Let w = 7342 + -6021. Is 1318 at most as big as w?
True
Let f be 22/22*(-5 + 4). Which is greater: -20/257 or f?
-20/257
Let w = 0.835 + 16.165. Is w < -1/24?
False
Let o = 8.99227 - -0.00773. Let k = -2.5 - 0.5. Let f = -2.9 - k. Is f > o?
False
Suppose 2*p + 213 = -0*p - 3*z, 3*p - 2*z + 339 = 0. Let g = p - -117. Is g at most 66/13?
False
Suppose 0 = -37*c + 91*c - 54. Is 45/91 at least c?
False
Let y = -15946 + 1020477/64. Do y and -3 have the same value?
False
Let t be ((-12)/(-16) - (-644)/(-112))*(-1172)/(-10). Which is bigger: -587 or t?
t
Let h = -2205 + 3476. Let j = 3161 - h. Let v be 2 + 16/(-7) - j/(-5929). Is -1 < v?
True
Let r = 6527/17 + -384. Let w = 247 - 250. Is w < r?
True
Suppose -162 = 519*p - 465*p. Let o(q) = -q**2 - 3*q + 3. Let t be o(2). Is p not equal to t?
True
Suppose -15*d - 23*l - 13627 = -24