t l(u) = 4*u + 9*u - 5*u**3 + 4*u**3 + 9*u**2 - 2 - 5*u. Let j be l(9). Are j and 71 nonequal?
True
Let v = -20 - -11. Let q be (1/15)/(v/(-28377)). Let j = q + -209. Which is smaller: 0 or j?
0
Let k(z) be the first derivative of 2*z**2 + 29*z - 20. Let v be k(-6). Is 7 less than or equal to v?
False
Suppose b + 5*c - 27 = 0, -b - c = 2*c - 17. Suppose b*i = i. Which is greater: -2/7 or i?
i
Let s = 65.8 + -68. Let q = 16.8 - s. Which is greater: q or -1?
q
Suppose a - 3*g = 5*a + 16, 4*g + 17 = -a. Let s be (1 - (-4 + 1)) + a. Let k be (2/s)/((-16)/(-72)). Is k >= 0?
True
Let b = -64.13 + 0.13. Let n = 67 + b. Which is smaller: -7 or n?
-7
Let c be -5*1*(-4)/10. Suppose 3*g - c*w - 29 = -7, 4*g + 3*w = 1. Let a = 4 + -1. Do a and g have the same value?
False
Suppose 0 = 13*y - 3543 + 1398. Which is bigger: y or 161?
y
Suppose -9*y + 44*y - 3745 = 0. Which is smaller: 109 or y?
y
Suppose -g = 3*i - 133, 0 = -0*i + i - 5. Let a = -69 + g. Is a greater than 49?
False
Let j(r) = -r + 40. Let k be j(19). Suppose k*c + 28 = 17*c. Let u = -17 + 9. Is u smaller than c?
True
Suppose -2832 = 4*d + 8*d. Is 0 greater than or equal to d?
True
Suppose 3*j + 6 = -0*j. Is -11/7 greater than j?
True
Suppose j = -31*j. Is 14/13 > j?
True
Let o = 599/145 - 21/5. Suppose w = -3*j - 10, w - 12*j + 16*j + 13 = 0. Are w and o equal?
False
Let m = 43613/9 - 4849. Let c be -2 + (-2 + 2)/(-1). Is c greater than or equal to m?
True
Let x = 3.43 - -2.57. Is -2/37 greater than x?
False
Suppose 0 = -10*v + 5*v. Let s be (-789)/1020 - 39/(-52). Is v <= s?
False
Let q = 103 - 102.775. Let i = 0.125 - q. Which is greater: i or -18?
i
Let d = 110 + -178. Are -68 and d nonequal?
False
Suppose 0 = -7*b + 23 - 2. Suppose 0 = 5*o - b*h + 265, o + 0*h - h = -53. Is -53 not equal to o?
False
Let k be (528/(-7))/(-1) - 164/(-287). Let h = k + -103. Which is bigger: -26 or h?
-26
Let c be -2 - (-3 + -4 + 1). Let u be (-14)/(-80) - c/16. Let g = u - 511/120. Which is smaller: g or -4?
g
Let k be (40/(-30))/(12/(-135)). Let v(z) = 3*z + 3. Let y be v(4). Is k greater than y?
False
Let b = 330 + -323. Let q(w) = -w**2 + 5*w - 4. Let l be q(4). Suppose l = 4*c - 35 + b. Which is bigger: 8 or c?
8
Let q(g) = 12*g + 88. Let w be q(-6). Which is smaller: w or 26?
w
Suppose -9*n = 2*n - 11. Suppose -l - 2 = -2*j, -n + 15 = -l + 5*j. Is 5 greater than or equal to l?
False
Let d = 1944 - 1828. Which is smaller: 7 or d?
7
Suppose -39*q + 11*q = 25*q. Which is greater: q or 1/216?
1/216
Let u = -88 - -634/7. Let k(x) = 2*x - 6. Let m be 22/4 + 7/(-14). Let r be k(m). Which is bigger: u or r?
r
Let c be (-87)/316 + 3/12. Let s(j) = 101*j + 505. Let m be s(-5). Is m bigger than c?
True
Let d = -24 + 17. Let i(v) = 7*v + 4. Let u be i(d). Let n be u/(-5) - (-2 - 0). Which is greater: n or -1?
n
Suppose 5*c + 0*c = f - 727, 0 = 3*c - f + 435. Is c at least -146?
True
Let c = 1.35 + -1.24. Which is greater: c or -0.9?
c
Suppose 5*f + 65 - 49 = t, -f + 2 = 5*t. Is t >= -26/57?
True
Suppose -37*f + 42*f = -45. Is f less than or equal to 13?
True
Let z be (-2)/8*32/52. Let n be (7 - 108/16)*20. Which is smaller: z or n?
z
Suppose 288 = 6*o + 2*o. Let x be (-4)/6 - o/27. Which is smaller: x or -4?
-4
Let g(l) = -1 - 3*l + 0*l + 0*l. Let j be g(-1). Suppose h + 2 = 2*o, -4*o + 3*o + 4*h = -1. Is o less than or equal to j?
True
Let s = -781 + 781. Which is bigger: s or 1/39?
1/39
Let j = -10 + 9.85. Let d = -0.27 - j. Let r = -0.08 - d. Which is greater: r or 1?
1
Let q(r) = r**3 - 3*r**2 - 3*r + 2. Let a be q(4). Suppose 16 = 10*i - a*i. Suppose -i*f + 2*f = 0. Which is greater: -4/11 or f?
f
Let h(z) = -z**2 + 6*z - 13. Let j be h(10). Let w = 38 + j. Suppose -78 = g - 62. Are w and g non-equal?
True
Let s(q) = -q**3 + 15*q**2 - 17*q + 11. Let k be s(11). Let j be 10/(-6) - k/(-42). Which is smaller: 6 or j?
j
Let g = -12.959 - 0.041. Let b = -85/176 + -3/176. Is g at least b?
False
Let p = -165/7 - -2675/112. Are p and 0 nonequal?
True
Suppose 3*d + 12*d - 5*d = 0. Which is smaller: -10/19 or d?
-10/19
Let x be -4 + -1 + 4 + -3. Let s be x/22 - (-2 - 1852/(-946)). Is -1 at most s?
True
Suppose 2*t - 38 = -5*y, 2*t = 2*y + y + 22. Suppose 5 = 3*k + t. Let s be (6/(-16)*2)/k. Is s greater than or equal to 2/27?
True
Suppose 1 = -0*u + u. Is u at most as big as -1/46?
False
Let g(m) = -6*m**3 - 60*m**2 - 13*m - 38. Let q be g(-10). Is q >= 90?
True
Let i = -8140/354309 - -2/3981. Let r = 307 + -307. Is r less than or equal to i?
False
Let b(y) = -y**2 + 10*y - 16. Let w be b(8). Is -24/17 > w?
False
Let o(p) = -p**3 + 12*p**2 - 33*p + 3. Let r be o(4). Let v be (1 - 1) + (-4)/46. Which is bigger: r or v?
v
Let a = -44.82 - -1.82. Which is smaller: 2/5 or a?
a
Let n = -4 - -4. Let p be (-10)/4*(-56)/70. Suppose -q - 6 = p*q. Are n and q non-equal?
True
Let x = -4 - -24. Suppose -21*h - 17 = -x*h. Are h and -17 equal?
True
Let g(d) = -d**3 - 12*d**2 + 8*d + 3. Let y be g(-13). Let n be (-2)/(4*(-2)/(-4)). Let s be ((-4)/y)/(n/2). Is 0.1 smaller than s?
True
Let d(s) = s + 49. Let w be d(-13). Suppose 7*x = 6*x + w. Is 36 >= x?
True
Let p = 4127/4 + -1033. Is p at least as big as 0.93?
False
Suppose 0 = -k + s - 6, 5*k = 4*s - 24 - 1. Suppose 2*b + 2 = 0, -2*y + 4*b = 3*y + 146. Let d be 69/y + (-2 - -4). Is d <= k?
False
Let u(d) = 6*d + 40. Let r be u(-7). Let p be r + 3 + 24 + -2. Which is smaller: p or 25?
p
Let u = -908 - -908. Which is bigger: u or 111?
111
Let v be (-6 - -2)*(-222)/(-12). Let f = 73 + v. Which is greater: 1/68 or f?
1/68
Let c = 53.9 - 53.9. Which is smaller: c or -114?
-114
Let j = 361.9 + -334. Let x = j + -28. Is x greater than or equal to 0.1?
False
Let u = -69/91 - -8/13. Let a(l) = -9*l + 36. Suppose 8*t - 7*t = 4. Let m be a(t). Which is smaller: m or u?
u
Let k be (102 - (4 + -6))*-4. Let j = -12893/31 - k. Which is greater: -1 or j?
j
Let d = -6647/86301 + -1/2007. Is -1 > d?
False
Let i be (-1)/2*48/(-8). Is 4 smaller than i?
False
Let z(p) = -p**2 - 6*p + 2. Let n be z(-5). Suppose -10*o + n*o = -123. Let g = o - 66. Is -25 less than or equal to g?
True
Let d be (-115)/70 - 2*-1. Let g = d + 3/14. Suppose -3*y - 2 = -3*b - b, 3*y = 3*b. Are b and g nonequal?
True
Suppose 5*a - 4 = -t - 20, 4*t = -4*a - 16. Let m be (-760)/(-12)*(-4)/(-10). Let p = m - 25. Which is greater: p or t?
p
Let p(l) = 3*l**2 + 2*l + 1. Let r be p(-2). Suppose 2*s + 3*g + 18 = g, 0 = 3*g - r. Let v be 2/s - (-2)/12. Which is bigger: v or -2/39?
v
Let f(p) = -p - 1. Let j be f(-1). Is -0.33 smaller than j?
True
Let a(l) = 5*l**2 - 7*l**2 - 10 + 0*l**2 + 7*l + 3*l**2. Let y be a(-7). Which is smaller: -12 or y?
-12
Let s = 19.88 + 0.12. Let l = s + -36. Let c = l - -16.2. Which is smaller: c or -3/5?
-3/5
Let u = 0.005 + -0.185. Let j = -0.08 + 0. Let k = j - u. Are k and 6 nonequal?
True
Let a be (-300)/(-72) - 2/12. Suppose 2*r + a = 4*h, -5*r - 12 + 2 = 2*h. Let b = -685 - -4787/7. Which is smaller: b or h?
b
Suppose -5*t - 5*x = -8 + 78, 3*x - 3 = 2*t. Let u = t + 9. Let o be 2 + u - (-50)/(-28). Which is smaller: 1 or o?
o
Let s(h) = 2*h - 6. Let w be s(5). Let p = 3 - 0. Suppose o + 5*r + 9 = 0, -r - 53 = -p*o + w*r. Is o at least as big as 0?
True
Let w(d) = d - 23. Let l(u) = -3*u - 47. Let p be l(-19). Let f be w(p). Is f smaller than -12?
True
Suppose -k - 6*j + 3 = -3*j, -4*k = j - 1. Which is bigger: 1/225 or k?
1/225
Suppose 18*a + 3 = 19*a. Which is smaller: a or 13?
a
Let i = -202.9 - -203. Is -14/5 less than i?
True
Let n be (-127371)/(-8)*(43765/43780 - 1). Let q = -3/6368 - n. Which is bigger: q or 4?
q
Suppose -k = -10 - 18. Let c be 49/(-22)*96/k. Which is smaller: c or -9?
-9
Let z = 1309 - 1259. Which is greater: z or 40?
z
Let k = -28 - -29.6. Let n = -7.4 - k. Let q = -3 - n. Are q and 1/5 nonequal?
True
Let b = 0.13 + -0.82. Let q = b - 0.31. Are q and 9 non-equal?
True
Let d = 228 + -3418/15. Let u = 372 - 372. Which is bigger: d or u?
d
Let z = 95 + -67. Let u = z - 26. Suppose -16 = 2*w + 4*n, -7*w + 4 = -u*w - n. Is w > 1/9?
False
Let t(d) = -2*d + 75. Let i be t(-40). Is i smaller than 0?
False
Suppose 105*a + 25*a = 0. Let o be 9/6*(-4)/3. Let p be o + (-2)/24 + 2. Is a != p?
True
Let q = 7 + -6. Let b = 4 + 1. Suppose -5*j - 8*l - 55 = -5*l, -33 = j + b*l. Is j at 