 15. Let l(o) = 32*o - 3. Let w(m) = 2*h(m) + 11*l(m). Let v be w(1). Is 27 greater than v?
False
Suppose -6*t = -5*t - 5. Suppose 4*v + 0*o + 2*o = -48, t*o - 75 = 5*v. Is -13 bigger than v?
False
Let x be ((-12)/(-1576))/(6*1). Let a = x - 1627/40188. Are 1 and a non-equal?
True
Let o = 55 - 91. Let n = o - -18. Let p = -31 - n. Is p at least as big as -1?
False
Let p = 142 + -143. Which is smaller: 3/29 or p?
p
Let j be 2 - (-6 - -5 - 1*3). Suppose -j*d - 161 = -41. Is d bigger than -20?
False
Let u(b) = -2*b**2 + 45*b - 226. Let t be u(8). Let p be (0 - 1/(-2))*2. Are p and t equal?
False
Let s = -2 + 2. Let p(t) = -t**3 + 3*t**2 - t + 5. Suppose -2*o + 6*o + 2 = -2*a, 2*a - 10 = 2*o. Let w be p(a). Which is greater: w or s?
w
Let z be ((-11)/(-4))/(6 + -11). Is -2 at most as big as z?
True
Let u = 216 + -222. Are u and -14 unequal?
True
Let j = -42 - -49. Let o be (-2)/(-156)*-1 - j/(-42). Do o and 0 have the same value?
False
Let h = -209791/25 - -8393. Which is smaller: 1 or h?
1
Suppose 196*l = 199*l. Is -6 >= l?
False
Suppose 4*f - 60 = o, -3*f = -0*o - 4*o - 58. Let c = -607 - -619. Is c smaller than f?
True
Suppose -124*k + 121*k = 3. Does -4 = k?
False
Let c be -12*1*2/4. Suppose -2*y - 5*k = -19, -4*k = y - 3 - 11. Let l = c + y. Which is bigger: -3 or l?
-3
Let w(t) = -2*t + 6. Let y be w(10). Let j = y - -16. Suppose -j*h - h = -12. Is 3 less than h?
True
Let h = -3.9 - -5.8. Let u = -17 + 16.1. Let t = h + u. Do -2/11 and t have the same value?
False
Suppose 0 = -3*v + 2*a + 10, 4*a - 28 = 2*v - 4*v. Is -1.6 >= v?
False
Let a = 16 - 18. Let y be 1/(84/(-40) - a). Let w be (5/y)/(2/3). Which is smaller: w or 0?
w
Suppose 2*k + 9 - 7 = 0. Let m be (2 + k + 1)*162/36. Let p(b) = -b**3 - 4*b**2 + 3*b - 6. Let t be p(-5). Which is bigger: m or t?
m
Let v be (-1)/1*(103 - 3). Let k be (98/(-10) + 1)*v/40. Is k < 22?
False
Let o = 165 - 158. Is -32 at least o?
False
Let k = -57 - -47. Let j be (7 + k)*(1 - 0). Which is smaller: -13/5 or j?
j
Let q(d) = d**3 + 6*d**2 - 11*d + 40. Let u be q(-8). Is u smaller than 86?
True
Suppose -5*h - 5*t = -t - 313, -2*h = 2*t - 126. Let j = -387 + 448. Is h at most as big as j?
True
Suppose -7*h + 12*h = -10. Let u = -6 - h. Let a be 0/(3*u/(-12)). Which is greater: -1/2 or a?
a
Let t be (-3)/10 + (-1539)/95. Is -18 >= t?
False
Let v = 0.5 - 2.5. Let s = -0.127 + -0.003. Let n = 0.11 + s. Which is smaller: v or n?
v
Let m be 2/5 - 185/25. Let t be (0 + 2/m)*-7. Suppose -5*s + t*s = 0. Is -4 at least as big as s?
False
Let t = 280 + -276. Which is greater: t or 0.22?
t
Suppose -34 = 3*g - 2*g. Let s = g - -64. Let m be (-192)/s*10/(-4). Which is smaller: 15 or m?
15
Let z be (-3)/(-12) - 1/2. Suppose l + 4*l = 5*x + 50, l = 5*x + 18. Let m be (14/l*18/42)/(-3). Are z and m equal?
True
Let c = 18 - 12. Let m = 7.6 - 11.6. Which is bigger: m or c?
c
Let h(p) = -15*p**2 - 1. Let n be h(1). Let s be 0 + n/(-6) + 0. Let g = -7/3 + s. Which is smaller: g or 0?
0
Let d = 124/9 - 2870/207. Let n(c) = 4*c**3 - 5*c**3 + 12 - 4 - 3*c**2 - 4*c**2 + c. Let i be n(-7). Which is smaller: d or i?
d
Let x = -7 + 2. Let q(t) = -t**2 + 7*t - 18. Let k be q(4). Let f be (-12)/(-10)*15/(k - -3). Do f and x have different values?
True
Let z = 868 - 919. Let f = -4 - -3.9. Is f at least z?
True
Suppose -5*q + 15 = 4*m, 4*q + 8 = -m + 9. Which is greater: q or 6/71?
6/71
Let b(v) be the second derivative of v**4/12 + 3*v**3/2 + 3*v**2/2 + v. Let x(s) = -s**2 - 29*s - 87. Let p be x(-26). Let o be b(p). Is o greater than 3?
False
Suppose 0 = -4*v - 4*d - 24, 3*v = v - 3*d - 16. Let f be (9/(-15))/(v/(-4)). Let y = -30 + 29. Is y greater than f?
True
Let p = -53.27 - -0.27. Let n = p + 51. Is -1/12 <= n?
False
Let w be ((-2)/24)/(134/(-402)). Is w >= 100/7?
False
Let a(g) be the second derivative of g**4/12 - g**3 - g**2 - 3*g. Suppose -t = -4*r - 0*t + 22, -4*r = -4*t - 16. Let q be a(r). Is -5/4 > q?
True
Let q = 83 + -87. Let k = 4 - -2. Let f be k*(0 + q/(-36)). Which is greater: 2 or f?
2
Let d be 6*7/42 - 158/170. Which is greater: -1 or d?
d
Let l(s) = s**2 + 6*s - 11. Let f be l(-9). Suppose 3*y + f = -26. Let x = 15 + y. Are 0 and x equal?
False
Suppose o - c + 3*c = 15, -5*o = c - 30. Suppose n = k - o, 0*k + 19 = -k - 5*n. Suppose 0*y + y = 2*z + 6, 9 = 4*y - 3*z. Which is smaller: y or k?
y
Suppose q + 27 = 4*q. Let a be 32/8 - 38/q. Is -0.4 less than a?
True
Suppose 20 + 52 = -12*s. Let u(d) = -2*d + 5. Let r be u(4). Let k be 1*r*(-2)/s. Which is bigger: k or 1/26?
1/26
Let o be ((-434)/56)/((-2)/16). Suppose -2*g - 3*b - o - 33 = 0, -3*b = -5*g - 290. Is g less than -54?
True
Let j = -4.9 + 2.8. Let l = -0.9 + j. Let k = 2 - 3. Is l != k?
True
Let p be 78/90 - 6/9. Let r(m) = m**2 + 6*m + 4. Let b be r(-5). Is b at most as big as p?
True
Let d be (-464)/170 - 24/(-8). Let f = d + -7/51. Suppose -2*a + 3*t - 16 = -t, 2*a = -4*t + 16. Which is greater: a or f?
f
Suppose 12 = 5*z - 4*z. Let a be (-2)/6 + z/9. Let k be 3/(-1) + 2*a. Which is smaller: k or 1/12?
k
Suppose -8 = -m - 2*x + 4, -2*x = 5*m - 52. Suppose -3*y - 14 - m = 2*j, -2 = j - y. Let n = 12 - 21. Which is smaller: j or n?
n
Suppose x + 4 = 5. Let u be 4 + ((-124)/(-14))/(-2). Which is smaller: u or x?
u
Let h = -112.3 + 112.25. Let c = -4 - -2.7. Let y = 0.3 + c. Is h equal to y?
False
Let i = -0.08 - 43.92. Let m = 27 + i. Are m and -1 equal?
False
Suppose j = -3*w - 11, -5*j + 8*w - 7*w = -25. Let x(l) = 3*l - 2. Let k be x(2). Suppose k*g + 4*a + 12 = 0, 4*a + j + 14 = 2*g. Is 2 < g?
False
Let x(k) = -10*k + 58. Let a be x(8). Let y = -58 - a. Is -37 less than y?
True
Let h = 0.056 + 0.144. Which is smaller: 0.02 or h?
0.02
Let c = -64982.953 - -65010. Let f = c + -0.047. Let l = f + -29. Which is smaller: l or -1?
l
Let d be (-64)/(-12)*(-4 - -3). Let n = -6 - d. Which is greater: 11 or n?
11
Let h be 146/(-14) - 6/(-14). Let j be (-4)/(-10) + 0 + 4/h. Are 1/78 and j unequal?
True
Let k = -49/72 + 11/36. Is -1 at most k?
True
Suppose -4*q - 5*b = 92, -2*q - 45 = b + 7. Which is bigger: q or 2/9?
2/9
Let v = -1477 - -1398. Let n be (632/(-32))/(1/4). Is v less than or equal to n?
True
Suppose -b + 9 = 2*w, 0 = -3*b + 2*w - 0*w - 13. Let s = -9 + -9. Let h be (6/(-126))/(21/s). Is b at most h?
True
Suppose -5*f - 360 = -3*o, -3*f - 192 = -o + 4*o. Let c = -68 - f. Is 1 at most c?
True
Let b = 3.0491 - 0.0491. Which is smaller: -96 or b?
-96
Let j = -47 + 22. Let y = -24 - j. Let k be (y + -2)/(7/26). Is k > -4?
True
Suppose -8*a + 10 = -5*a - 2*j, 0 = -3*j + 12. Suppose 10*d = a*d - 4. Is 8/17 less than or equal to d?
False
Let n = -170.1114 - -0.1114. Which is greater: n or 2/9?
2/9
Let c = 271945/55278 - 867/166. Let n = -3/37 - c. Is 0 less than n?
True
Suppose 4*m + 0 - 2 = -5*v, 0 = -4*v - 3*m + 2. Suppose -29 - 25 = v*l. Is l greater than -26?
False
Suppose -8*c - 10 = -10*c. Let y(t) = -t**2 - 6*t - 6. Let h be y(-6). Let v(d) = d**3 + 7*d**2 + 4*d - 6. Let b be v(h). Is b at least as big as c?
True
Let d = 25 + 29. Let l = d + -54. Do l and 2/37 have the same value?
False
Suppose -36*p - 48 = -37*p - v, 4*v - 236 = -5*p. Which is greater: 45 or p?
45
Suppose 4*u + 9 - 33 = 0. Let x be (9 - (3 - (13 - 6))) + -4. Which is smaller: x or u?
u
Suppose 0 = 2*b - 5*h - 16, -4*b - 4*h + 1 + 3 = 0. Suppose 600 = 4*z + 4*i, 4*i - 5*i - 146 = -z. Let q be z/(-24) + 3 + b. Is -1 greater than or equal to q?
False
Let g(s) = -2*s - 23. Let u be g(-22). Let w = -23 + u. Are -2 and w non-equal?
False
Suppose 0 = 4*l - 3*l - 2. Let v = 6 - l. Suppose -8 = -3*r + v. Are r and 5 unequal?
True
Let a = 12 + -29. Let p = a + 17.4. Let n = 17/20 + -5/4. Does p = n?
False
Let p = -0.2 - -0.1. Let x be (-432)/(-48)*2/1233. Is p <= x?
True
Let d = -594.113 - -1.113. Is d less than -1?
True
Suppose 0 = 3*r - 12, r - 5 + 2 = n. Is n less than 1/358?
False
Let j be 4/(-22) - (-78)/66. Let k(q) = -q**2 + q + 2. Let d be k(0). Let s be d/(-8) + -1 + 1. Which is smaller: j or s?
s
Suppose 0 = -3*y - l - 4, -4*y + 14*l = 15*l + 6. Suppose -d - 32 = -3*d. Suppose -4*c - d = j, -j = 2*j - 3*c + 3. Is j less than y?
True
Let f be -13*(-5 + 4) - 0. Suppose 4 = -2*i - h + f, h = -1. Do i and 28/5 have the same value?
False
Suppose 2*u + 5*a - 12 = 0, 4*u = -2*a - 5 - 3.