+ 10 - 6 + 11*w + 8 + w**2. Let l be d(-10). Which is smaller: l or g?
g
Let t = 1265 - 1294. Do -7 and t have different values?
True
Let h = 2 + 2. Let k(x) = -x + 7. Let j be k(h). Let l be (-1 + j)/((-18)/63). Is -6 bigger than l?
True
Let v be 2/(-4) + 63/6. Let y be ((-36)/8 + 2)*v/(-1). Is 25 bigger than y?
False
Suppose 2*v - 39 = 4*s - v, 2*s + 2*v + 2 = 0. Let t be 12/(-7) + ((-150)/35 - -4). Which is bigger: t or s?
t
Suppose -y - 22 = 4*j - 33, 0 = -j + 3. Let w = 29 - 40. Is w not equal to y?
True
Let g(z) = -z**2 - 15*z + 7. Let o be g(-15). Let v = -3 - -11. Let r = o - v. Is -0.14 != r?
True
Suppose -2*f + 272 = 4*j, -2*f = 2*f - 5*j - 596. Suppose -3*k = -2*r - 5 + 21, 19 = 3*k + 5*r. Let i be (k/(-6))/((-16)/f). Is i not equal to -4?
True
Suppose 14*z - 18*z + 32 = 0. Let f be ((-6)/z)/((-42)/(-72)). Which is smaller: -2 or f?
-2
Let n(c) = 2*c**2 + 12*c + 36. Let m be n(-3). Which is smaller: 121/7 or m?
121/7
Let v = 1/3 - 13/12. Which is smaller: -9 or v?
-9
Let j = 2.49 - 3.72. Which is bigger: 2/7 or j?
2/7
Let y be 2/((-318)/153) - -1. Let f = 597 + -598. Is f bigger than y?
False
Let l be (-2)/(-10) - 76/(-20). Suppose -l*a - 20 = 32. Let s(t) = -5*t - 2. Let u be s(2). Is u smaller than a?
False
Let f be (-2)/(-2) + 34/6. Suppose 0 = 7*a + 11*a - 144. Which is greater: f or a?
a
Let n be (-1557)/63 - 4/14. Let s = n - -53. Does 28 = s?
True
Suppose -22*q = 23*q. Is q < 15/26?
True
Suppose 5 = 2*p + a, -2*a = -5*p - 4*a + 13. Suppose -2 - 2 = -2*u. Suppose -5*h + 4*x + 8 = -3, 2*h = -u*x + 8. Does p = h?
True
Let k = -11 + 20. Suppose 0 = 2*p + 6*t - 3*t - 28, t = 4. Suppose 5*h = p*h - k. Is 3 at least h?
True
Let k(a) = 11*a**2 + 8 - a**3 - 10*a**2 - 2*a**2 + 2*a. Let o be k(-2). Which is greater: 12 or o?
12
Let d = -207 + -376. Let b = d - -4072/7. Which is smaller: b or -2?
-2
Suppose -28 = -s - 3. Suppose c - s + 26 = 0. Do -2/13 and c have different values?
True
Let l(a) = -3*a + 34. Let m be l(10). Suppose 0*t - m*t = 0. Which is greater: 4/9 or t?
4/9
Let u(h) = -12 - h + 12. Let w be u(-3). Suppose 31 = 4*o + w*b, 3*o + b = 3*b + 2. Is 13/5 < o?
True
Let f = 679 + 477. Is f at most as big as 1157?
True
Let q = 387 - 388.3. Let g = -0.4 + 0.6. Is q equal to g?
False
Suppose 3*v - 5 = 7. Let o = v + -16. Which is smaller: -10 or o?
o
Let o = -1.9 + 1.882. Let d = o + -0.182. Which is smaller: 1 or d?
d
Let c = 4/71 + 1049/284. Suppose 3 = -f - 2*f. Let q be (-5)/f - 0/2. Is q greater than or equal to c?
True
Let i(h) = 29*h + 66. Let k be i(-2). Is k at least as big as 18?
False
Suppose -3*h + h = 0. Let n = -1234037/338 + 3651. Which is bigger: h or n?
n
Let f = -6.3 + 53.2. Let q = -47 + f. Is -2/13 equal to q?
False
Let n(q) = 14*q**2 + 14. Let i be n(-5). Is i greater than 364?
False
Suppose -10*l - 86 = -236. Which is bigger: 13 or l?
l
Suppose 2*j = -5*x + 19, 9*j - 2*x - 40 = 7*j. Which is bigger: 129/8 or j?
j
Suppose 25 = 5*j, -4*j - 5 + 13 = -4*k. Let q(i) = i**2 + 3*i - 3. Let n be q(-3). Let w = n + 3. Are w and k non-equal?
True
Let b be (0 - 2 - 19) + 2. Suppose 67 = -4*d - v, -5*v + 3*v = 5*d + 80. Is b not equal to d?
True
Let s(r) = 2*r**2 + 8*r - 23. Let u be s(-6). Is u at least -1/1440?
True
Let x = 334 + -425. Which is greater: 1 or x?
1
Let c(d) = 4*d**2 + 3*d + 2. Let j be c(-6). Suppose -4*k + 0*k + j = 0. Let n = 543/17 - k. Which is bigger: 0 or n?
0
Let v(h) = -h**3 - 6*h**2 + 6. Let o be v(-6). Suppose -4*m - 3 + 7 = 0. Let q = m + 5. Is q bigger than o?
False
Let k = 170056/179 - 950. Which is smaller: k or 1?
k
Suppose 13 = -2*b + y - 4*y, 0 = -4*b + y - 47. Let a be (34/(-30) - 0) + b/(-33). Is -2 at least a?
False
Let x = -535 + 530. Let n(b) = b**3 - 5*b**2 - 5. Let s be n(5). Does s = x?
True
Let a = -158 + 176.2. Is -1/4 less than a?
True
Let f = 18.536 + 0.364. Let x = f - 19. Let l = 43 + -385/9. Which is greater: l or x?
l
Let l = -475492/10051 - 32/529. Let s = -213338/4503 - l. Is s equal to 2/3?
False
Let b be 120/27648*(-4)/(-20). Which is smaller: 0 or b?
0
Suppose 3*a - 2 = 5*a, 3*y - 23 = 5*a. Let x be y/(-231) - 0*3/(-3). Is x >= -1?
True
Suppose -1848 = -15*a + 12*a. Is 619 less than or equal to a?
False
Suppose x = -5*b + 21, -3*x - 45*b + 15 = -42*b. Is x < -1/1427?
False
Let r be 5/(-380)*100/(-75). Which is smaller: 9/4 or r?
r
Suppose -k = -3*k - 84. Let x = k + 44. Let q = -229 + 1149/5. Do q and x have the same value?
False
Let s(y) = -y**2 + 17*y - 35. Let g be s(11). Which is smaller: 30 or g?
30
Let u = -484 - -484.019. Which is greater: u or 0?
u
Let s = 505 - 504. Is 31/16 less than s?
False
Let o be (-36)/162 + (-40)/(-18). Which is greater: o or -12?
o
Let n(l) = -l**3 + l**2 + 16*l - 5. Suppose 7 = 2*z - 3*c, -2*c - 4 = -z - c. Let r be n(z). Is -23 equal to r?
False
Let x be (5/10)/((-3)/(-18)). Suppose -x*p = -4*p - 9. Let i = 35/4 + p. Which is smaller: i or -1?
-1
Suppose -u + 66 = -0*z + 3*z, -369 = -5*u - 2*z. Suppose 4 = 4*a - 3*q + 43, -5*q - u = 5*a. Let n be ((-6)/a)/((-2)/2). Which is smaller: 0 or n?
n
Suppose -15*b + 18*b = 6. Suppose t = 14 + b. Suppose -4*w = -75 + 15. Is w at least as big as t?
False
Suppose -3*i - 358 = -0*i - 5*y, -4*i - 3*y - 429 = 0. Is i at least as big as -219/2?
False
Let m = -670 - -677. Which is smaller: 29 or m?
m
Let i be 2604/4 + 16/(-4). Let b = -20059/31 + i. Which is smaller: 1/3 or b?
b
Let l = -3.039 - -2.039. Which is smaller: l or 5?
l
Suppose 0 = -2*n - 4, -m - 3*n = 2*n - 393. Suppose -13*p + 0 = -m. Are 30 and p unequal?
True
Let q = -137.2 + 160. Let n = 23 - q. Let m = 0.33 - 0.03. Is m at most n?
False
Let x(z) be the second derivative of 2*z**3 - z**2/2 + 8*z. Let p be x(-1). Which is bigger: 2 or p?
2
Let o(k) = -k - 11. Let z be (-28)/4 - (1 + 1). Let x be o(z). Is -2/13 at least as big as x?
True
Suppose 0 = l - 2 - 3. Let k be 140/(-50) + 4/l. Is k at most as big as -7?
False
Let k = -193 + 198. Let v = -6.1 - -6. Is v greater than k?
False
Let z(g) = 2*g + 6. Suppose 10*d + 3*d + 26 = 0. Let q be z(d). Is 19/9 != q?
True
Let v = 41.3 - -132.8. Let l = v + -204. Let a = l - -30. Are a and 30 unequal?
True
Let h = 3 - 1. Let q(f) = f**2 - 2*f. Let x be q(h). Suppose -5*m + 11 - 26 = x. Is 0.3 less than or equal to m?
False
Let m be (-2)/(-16) - (-46978)/(-144). Let a = -465 + 140. Let r = m - a. Which is bigger: r or -2?
r
Let z = 1028/285 + -32/15. Let x = z + -307/247. Is x greater than or equal to 1?
False
Let u = -0.55 + 1.55. Is -176 equal to u?
False
Let c = -0.518 + 212.518. Is 2/5 <= c?
True
Let h(g) = -9*g**3. Let k be h(-1). Suppose -5*u + k = -16. Let n be (112/(-120) + 1/3)*(2 + -7). Which is bigger: n or u?
u
Let i = -71 - -61.7. Let w = i + 11.3. Is w < -32/7?
False
Let p = 3 + -4. Let i be (-50)/4 - 12/(-24). Let y be (-6)/i + (-17)/42. Which is smaller: y or p?
p
Suppose 0 = -3*h, 0*w - 4*w - 3*h = 0. Let f = 12 - 9. Let v be 1*(-7 + f + 1 + 3). Is w < v?
False
Suppose -5*k + 2*k + 12 = 0, 0 = -3*o - 2*k - 517. Let d be ((-2)/(-364)*6)/((-50)/o). Is 1 > d?
True
Let a = 79.1 - 73.1. Let v = 0.02 - 0.12. Which is greater: v or a?
a
Let b = -2 + 3. Let c be 0*(2 + b)/(-3). Suppose -5*l = -c*l. Which is smaller: 1 or l?
l
Suppose 0 = -2*a - 0*a + 3*t + 155, -3*a - 5*t + 261 = 0. Which is smaller: a or 81?
81
Let l be 1071/42*(-2)/(-3). Let p be (-5)/(90/l) - -1. Which is greater: p or 1?
1
Let w = 1197 + -252. Is w at most as big as 0?
False
Let m = 0.173 - 0.078. Which is greater: m or 0?
m
Let i(g) = -g - 10. Let s be i(-7). Let q be s*(-2 + (-10)/(-6)). Let y = 7.1 - 8. Is q bigger than y?
True
Let d be ((-5)/(-10))/((-3)/(-1209)). Which is bigger: 201 or d?
d
Suppose -v + 11 = -5*y - 0*y, 1 = -v - y. Are 2/1245 and v unequal?
True
Let v = 144/17 + -2688/221. Let i = 1163/62 + -30156/2015. Let f = v + i. Which is bigger: f or 2?
2
Let t = -38467689/1624 - -23687. Is 1 bigger than t?
True
Let h(v) = 4*v. Let f be h(1). Suppose 3*d + 7 = -2*m - 13, -2*m = -10. Let n be d/f*(-8)/(-40). Is 0 at most n?
False
Let p = -5 - 2. Suppose -900 = 51*n + 39*n. Which is smaller: p or n?
n
Suppose 19*u - 25*u = -114. Is u >= 18?
True
Let h be ((-3)/2)/(9/(-12)). Suppose h*i - 264 = -4*x, -x - 3*i + 66 = i. Let z be (x/4)/((-15)/(-20)). Is z less than or equal to 23?
True
Suppose -628 =