1*p + 24*p - y = 0. Suppose 2*w + p*w = -2*g + 18, 21 = 5*g - 2*w. Does g = -0.2?
False
Suppose t = v + 8, -v = -2*t + 2 + 1. Let m = 23 + v. Suppose j + 0*j = -m. Do -9 and j have different values?
True
Let h = -0.092 + 35.092. Which is greater: h or -2?
h
Let u(h) = -h**3 + 9*h**2 - 8*h + 3. Let x be u(8). Suppose 6*j - x*j = 0. Let c = -126/1537 - -8/53. Which is smaller: c or j?
j
Suppose 5*l = 21 + 49. Let o be (-28)/14 - 1700/l. Let z = -123 - o. Which is greater: z or 0?
z
Suppose 2*z + 4*j - 124 = -0*z, 0 = 5*z + 3*j - 275. Suppose -h + 5*h - 174 = 3*x, h = 5*x + z. Suppose 7 = -5*m + h. Is m <= 4?
False
Let r = -0.45 - -16.25. Let o = r - 14. Let y = -1.9 + o. Which is bigger: y or 0.01?
0.01
Let b = 1901/5 - 381. Are 2 and b equal?
False
Let d be 0/(-2 + 4) + -5. Let t be 2/(-8) + 1136/(-64). Let o be (t/15)/((-1)/(-5)). Which is greater: d or o?
d
Let b = -21 + 20. Do b and -0.228 have the same value?
False
Let j = 139/4 + -35. Suppose 4*n + 4 = -4*q, -32*n = -35*n - q - 1. Is j >= n?
False
Let k be ((-2)/7)/(2/(-28)). Suppose -28 = k*g + 24. Let x = 250.8 + -251. Is g equal to x?
False
Let b be (6/(-2) - 0) + 2883/(-31). Does -95 = b?
False
Let m be ((-169)/(-26) + -8)/(-3). Is m at most 1?
True
Let g(y) = -y**3 + 5*y**2 + 10*y - 17. Let r be g(6). Let w be (1 + (-36)/28)*r. Which is smaller: w or -20/11?
w
Let i(n) = -n**3 + n**2 + 5*n + 2. Let f be i(-2). Suppose 3*t + 8 = f*t. Let b be t/(-12) + (-2)/(-6). Is 0 less than or equal to b?
False
Let o be (795/(-81))/((-1)/(-6)). Let n = o - -59. Is n bigger than 2?
False
Suppose -28*n - 3*n = -31. Let s = -7/9 + 44/45. Which is smaller: n or s?
s
Let o be 0*(-3 + (-28)/(-8)). Let u be -2*(o + 4)/24. Is u smaller than 0?
True
Let v = -291 + 292.53. Let s = v + -0.03. Which is greater: -2 or s?
s
Let j be 1/(-1)*89 + -7. Which is greater: -97 or j?
j
Let s = 269/65 + -72/13. Which is greater: 6 or s?
6
Let l be (-7 - -6)/(5/(-1) + -4). Which is smaller: l or 1?
l
Let i(x) = x**3 - 7*x**2 - 23*x + 16. Let m be i(9). Is -30 greater than m?
False
Let j be 12/(-8) - 6/(-4). Suppose -5*y + y - 12 = j. Is -8/3 smaller than y?
False
Let g = -17527/355 + 247/5. Do g and 6 have the same value?
False
Suppose 4*h + 20 = -0*h. Let q = 11 - 12. Let t be q/3 - 28/6. Is h at least as big as t?
True
Let x = -13833/11060 + 2/2765. Which is smaller: x or -6?
-6
Let r = -5 - -4. Let o be (970/(-75))/((-2)/40). Let c = o - 261. Which is smaller: c or r?
c
Let z = 13 - 28. Let v be (0 - 1)/(-1)*-1. Let t be v/(-6)*10/z. Is t < 1?
True
Suppose -3*q + 12 = -0*q. Let z be 62/q + (-3)/6. Let h = 15 - z. Is -1 greater than h?
False
Suppose 0 = -4*v + m - 15, v + v + 4*m - 6 = 0. Let o(y) = 2*y + 12. Let w be o(v). Which is smaller: w or 22/3?
w
Let i = 1039.1 - 985. Let s = i + -54. Which is greater: 7 or s?
7
Let s be 2*(0 - (-2)/4)/(-3). Is s less than or equal to 68?
True
Let y(r) = -r**2 - 19*r - 19. Let s be y(-18). Is -1/28 != s?
True
Suppose 3*y + 3*y = 18. Let t be ((-50)/(-30))/((-4)/y). Is -1 at most as big as t?
False
Suppose 4*a = -3*g - 0*a - 608, 2 = -a. Let u = 996/5 + g. Let n(l) = -l**3 - 3*l**2 - l. Let q be n(-2). Is q bigger than u?
False
Let o(t) = -15*t. Let a = -21 + 20. Let k be o(a). Suppose 3 = 2*s + k. Is -6 at most s?
True
Let p = 19 + -15. Suppose 0 = -p*q - q - 10. Let t be 0*1*(-1)/q. Is -2/3 < t?
True
Let d = -94/3 + 31. Let y(c) = 28*c + 1. Let f be y(1). Let g = f - 204/7. Is d <= g?
True
Let o = -94 - 192. Is -288 > o?
False
Let z = -0.8 - -0.89. Let c be (3 + (-123)/39)*6/(-84). Let b = c + 88/273. Is z smaller than b?
True
Let q = -265 + -338. Which is bigger: q or -604?
q
Let z = 40 - 35. Suppose 0 = -2*n - z*d + 23, 0*n - n = 2*d - 11. Is n not equal to 9?
False
Suppose 16*k - 134 = 15*k. Let y be k/(-116) - (-3)/(-6). Let f = y - -2026/1189. Which is bigger: f or 0?
f
Let i be (-7 - -46)*(-2 - (-3 + 2)). Is 5 greater than i?
True
Let n be 13 + -15 + 1/((-1)/(-7)). Let z be (1 - n) + (-6)/(-3). Which is smaller: z or 0.02?
z
Let t(z) = -z**2 - 4*z. Let q be t(-6). Suppose -2*o = 4*m + 32, 2*o - 3*o + 24 = -2*m. Is m smaller than q?
False
Let v be ((-7)/15)/(9/27). Let n = v - -143/95. Which is greater: n or 0?
n
Let x be -410*(513/6)/9. Let f be x/(-273) - 5/15. Let l = f + -222/13. Are l and -2 equal?
False
Let c = 66 + -65.9. Suppose -2*o + 2*t - 34 = -2*t, 3*o = -2*t - 11. Which is greater: o or c?
c
Let x(r) = r**3 - 9*r**2 + 3. Let p be x(9). Let v be 34*-1*(-1)/2. Suppose -5*y + v = 2. Is p greater than or equal to y?
True
Suppose 0 = -5*g - 15, 2*p - 5*p - g = 3. Suppose 0 = 4*z + 4*n + 16, -6 = -3*z - p*n + 3*n. Which is smaller: 0 or z?
z
Let v(z) = z - 3. Let f be v(-3). Let n be 666/(3 + f)*1. Let c = -659/3 - n. Is c greater than 3?
False
Let s(c) = -c**3 + c + 4. Let u be s(0). Suppose u*w + 9 = 3*m - 35, -5*m - 2*w + 108 = 0. Is m <= 19?
False
Let d = 32.6 + -32.4. Is -0.53 at most d?
True
Let o be ((-2)/8*2)/((-6)/(-12)). Let y be ((-2)/(-56) - 0)*-2. Is o smaller than y?
True
Let f = 10447 + -1765550/169. Is f greater than -1?
True
Let v = -33 + 33. Which is smaller: -1/17 or v?
-1/17
Let a be 7 + -4 + 5010/1. Let k be -2 + -1 + a/(-693). Let y = -122/11 - k. Which is smaller: y or -1?
-1
Suppose -2*l = -l + 4*p - 14, 0 = -2*l + 2*p - 12. Let c be (-1)/(3/(-8)) + l. Let h(g) = -2*g**2 - 6*g - 3. Let z be h(-2). Does z = c?
False
Suppose 3*o = 4*b + 32, o + 3*b - 2 = -0. Suppose -7*g + 58 = -5. Do g and o have the same value?
False
Let y be -1*5 - (122010/(-3490))/7. Is 1 less than y?
False
Let m = 162.9 + -10.9. Is m less than or equal to -1?
False
Let d be (-2)/(-4) + 1/(-1). Let r = 2297 - 2297.2. Are r and d equal?
False
Let k = 1955 - 672. Do 1283 and k have the same value?
True
Suppose -u + 4 = -l + 2, -l = 4*u + 12. Suppose 2*n + n = -6. Is u <= n?
True
Let c = 45 - 49.2. Let j = c - 1.8. Let l = j - -4. Which is bigger: 3 or l?
3
Let x = 3.1 + -1.5. Let t = -2.3 + x. Which is bigger: t or 0?
0
Let q be 2/4*2*1. Let t be (-30)/(-28)*(-2)/(-20)*-2. Are t and q unequal?
True
Let x = 0.059 + -0.053. Let f = x + 0.094. Which is smaller: f or -28?
-28
Let z = -14351 - -42616/3. Let o = z - -6157/42. Let l = o + -10/7. Is l <= 2?
True
Let y = -27 + 11. Let n = -22 - y. Let l be (n/(-15))/((-3)/(-15)). Is l less than 2?
False
Suppose 0 = -2*r - 22 + 8. Let u be ((-28)/70)/(2/10). Let v be ((-20)/(-6))/(u/3). Is v > r?
True
Let g = -2104/29133 + -2/1079. Let u(m) = -m - 3. Let j be u(-3). Is j <= g?
False
Let p = -29 - -28. Suppose 0 = 4*h - 5*h + 1. Let o be 38/(-20) + 1 + h. Are p and o nonequal?
True
Suppose 20 - 14 = -3*u. Which is greater: u or -478?
u
Let b = -2.9212 + 0.0112. Let o = 0.09 - b. Let k = o - 2. Is 1 >= k?
True
Let m = 393/7 - 16885/301. Is 0.2 <= m?
False
Let t = -2287 + 2280. Which is smaller: t or -9?
-9
Let d be 172/((-1)/((-4)/4)). Suppose 112 = -4*w - d. Is w at most -71?
True
Let g be 155/(-55) - 2/11 - -3. Suppose -38 = 5*m - n, g = -0*n - 2*n + 6. Is -5 >= m?
True
Suppose -2*t + 72 = -6*t. Let r = 191 + -191. Is t bigger than r?
False
Let n = -708 + 707. Which is greater: n or 60/11?
60/11
Let z be (-2)/((10/3)/(-5)). Suppose 4*d + 3*c = 30, -2*c = -z*d + c + 12. Let n be (-2 - -3)*d/(-69). Which is smaller: n or 0?
n
Let z(c) = c**2 - 5*c - 1. Let b be z(5). Which is smaller: b or -35/6?
-35/6
Let f be ((-3)/6)/(-7 - -71). Is f less than or equal to -1?
False
Let c(u) = 4*u**2 - 14*u - 8. Let m be c(4). Which is smaller: -4/43 or m?
-4/43
Let n be 3 - (4 - 9/3). Suppose 2*l - n - 6 = 0. Let x(z) = 3*z + 8. Let c be x(-3). Which is bigger: c or l?
l
Let c be -1 - (1 + 55) - (-11 + 7). Is -55 less than c?
True
Let t = 52 - 97. Let h be (-3)/(-5) + (-2898)/t. Is 64 less than or equal to h?
True
Let y(c) be the second derivative of c**3/3 + 3*c**2 + 18*c. Let r be y(-11). Is -16 less than r?
False
Let k = -0.066 - -0.046. Which is smaller: 0 or k?
k
Let i(w) = 2*w - 2. Let t be i(-5). Let x = 11 + t. Let p = -220/2159 + -2/127. Which is smaller: p or x?
x
Let u = 124 - 91. Let y = u + -31. Which is bigger: y or -49?
y
Let a(d) = -3*d + 75. Let u be a(7). Is u > 267/5?
True
Let g be 4/((-96)/(-15))*6/135. Let m = 1630 + -58675/36. Let r = g + m. Is 0 at least as big as r?
False
Suppose 5*a - 3*l + 229 = -0*a, -5*a = -2*l + 231. 