?
True
Let l(m) = -m**2 + 8*m + 209. Let w be l(19). Let a be -1*(w/(-5) + 0)/1. Does 6/37 = a?
False
Let j(r) be the third derivative of -r**5/60 - 11*r**4/12 - 5*r**3/3 + 117*r**2. Let g be j(-7). Are g and 2 nonequal?
True
Let u = 40.1632 + -0.0632. Let p = u + -39.97. Which is smaller: p or 0.02?
0.02
Let k = 22737 + -23486. Is -747 smaller than k?
False
Let m(q) = 44*q - 2*q**3 + q**3 + 11*q**2 - 40*q + 8. Let s be m(5). Let r be ((-1)/3)/(s/90 + -2). Is 14 smaller than r?
True
Suppose -3*x = -4*l - 104, l + 164 = 5*x - l. Let f be -3*1*x/24. Is f greater than or equal to -36/7?
True
Let y(u) = 49*u**2 + 2*u + 1. Let v be y(1). Suppose 56*l - 32 = v*l. Let c be (0 + -2)/l + -40 + 37. Which is bigger: c or -0.1?
-0.1
Let z(u) = u**3 + 4*u**2 + u + 2. Let b be z(-3). Let k be 4/b - (-396)/8. Suppose -2*g + 6*g = v - 26, k = 4*v + 2*g. Which is smaller: 13 or v?
13
Suppose 356*d + 342 = 185*d. Is d less than -17/12?
True
Suppose 4*o - 2*b = 154, -40*o - 2*b + 86 = -38*o. Is -16 smaller than o?
True
Let q be -4 - (4/(-11))/((-8)/(-100)). Let m be (6/(-15))/(5/(-25)). Suppose 2*n + m*l = 0, 0 = -3*l + 1 - 4. Which is greater: n or q?
n
Let a = -34.6 - -38. Let x = 377 - 376.9577. Let q = 0.0577 + x. Which is greater: q or a?
a
Let v = -15 - -188. Suppose 166*a = v*a. Are a and 2/39 non-equal?
True
Let m(f) = 2*f**2 - 4*f - 3. Let g be m(4). Let l = 1115 + -1113. Suppose 8*k + l*u + 56 = 12*k, -2*k - 3*u = -20. Do g and k have the same value?
True
Let n be ((-4)/6)/(6/(-27)). Suppose -11 = 5*p - 11. Suppose 0*j - j + n = p. Do 1 and j have different values?
True
Let i = 1915 + -1356. Let m = 2.61 + -2.71. Which is smaller: m or i?
m
Suppose 0 = 4*j - 3*r - 53, -5*j = -r + 28 - 75. Which is smaller: j or 63/8?
63/8
Let v be (-1 + (-13)/(-9))*(-23 + (-3810)/(-240)). Is v smaller than -11?
False
Let h = 226 - 1825/8. Which is greater: h or 6/17?
6/17
Let v(a) = a**3 + a**2 - 3*a - 6. Let b be v(-2). Let w be ((-8)/(-6))/((-2)/7). Is b >= w?
True
Suppose 4082 - 1134 = -11*k. Let y = -268 - k. Is y greater than or equal to -1/376?
True
Let v(g) = -47*g + 795. Let b be v(49). Which is greater: b or -1510?
b
Let n = -753041/18060 + 4228/129. Let a = 35/4 + n. Is a less than 1?
True
Suppose 996 = 14*d + 19994. Do d and -1357 have the same value?
True
Let n = 657 - 656. Suppose 3*r - 9 - 15 = 0. Let z be (-2)/r - (-17)/12. Does z = n?
False
Suppose -8 = 4*s, 2*i - 1 = 5*i + 5*s. Let z be (i + (-5)/2)/((-4)/32). Which is smaller: z or -18/5?
z
Let b be (22/(-4) - -5)*-18. Let x be (b/(-21))/((-23)/(-161)). Let o be (1 + 1)*2/(-1). Which is smaller: x or o?
o
Let v be 14/3608*(128 - 132). Which is greater: v or 0?
0
Let g = 0 - 0. Suppose -5*r + 16 = -4*x, -4*x = -r - g*x. Let y be (-3 - 3) + (-12312)/(-540) - 14. Which is smaller: r or y?
y
Let d(k) = -k**2 - 10*k + 759. Let h be d(-33). Is h < -2/375?
False
Let z(v) = v**3 + 5*v**2 - 6*v + 2. Let n be z(-6). Let a be 30/10 - (n + 0 + 0). Which is smaller: -8/19 or a?
-8/19
Let x(z) = -z**2 + 4*z + 7. Let d be x(5). Suppose 0*u = -d*u - 7*u. Suppose 9*b - b + 112 = u. Is -15 at least as big as b?
False
Let s = -8.12531 - -1.12531. Suppose 5*h = -0*h + 25, 2*u + 3*h - 15 = 0. Let p = u - -2. Is p at most as big as s?
False
Suppose 3*a + 25 = 8*a + 5*o, 0 = 5*a - 4*o + 20. Suppose a = -3*q - 147 + 480. Suppose 10*t = -132 + 1242. Is t bigger than q?
False
Let r = 17 + -21. Let h be 2/r - 209/(-22). Suppose -5 = 4*j - h. Which is greater: j or -1/9?
j
Let p = 4640 - 4640. Let q = 725/6 + -51415/426. Which is greater: p or q?
q
Let y be (-3)/(-9) + (-48)/(-45). Let v = 29 + -16.9. Let p = v - 12. Is y less than p?
False
Let p = 1051.417 + -1044.8. Let m = p + 0.383. Which is greater: m or -0.07?
m
Let w = -933.799 + 933.2. Which is bigger: w or -13?
w
Let x(t) be the first derivative of t**4/4 + 14*t**3 + 20*t**2 - 40*t - 3. Let m be x(-41). Let h be (0 - 2/38)/(-1). Which is smaller: h or m?
h
Let w(j) = -14*j - 41. Let m be w(-4). Let q = m + -20. Suppose 3*v = -15 - 0. Is q less than or equal to v?
True
Suppose -2*t + 34 = -4*k, 5*t = -0*t + 4*k + 67. Suppose -4*g - 4*b = 172, 14*g + 164 = t*g + 4*b. Which is greater: -49 or g?
g
Let g = 2 + -3. Let z = -190389 + 190762. Is z at most g?
False
Let j = -106 - -76. Let s = 0.401 + 0.229. Let n = s - -0.37. Which is greater: j or n?
n
Let m = 211 + -206. Suppose 4*s - m*t = -0*t - 25, 16 = -4*s - 4*t. Which is bigger: -37/9 or s?
-37/9
Let d be 2916/270 + (-2)/(-10). Let y be (-356)/28 + (-2)/7. Let i = y + 25. Which is smaller: d or i?
d
Let w = -0.06 + 9.06. Let o = -0.02 + -5.98. Let x = w + o. Do 4 and x have the same value?
False
Let n(w) = 22*w**2 - 2385*w + 1040. Let m be n(108). Let k = -37 + 198. Suppose 3*h - 43 = k. Is h greater than or equal to m?
True
Let k be 20/6*5/25*18. Let d be (-6 - (-77)/14)*k. Is 6 equal to d?
False
Suppose 0 = 359*n - 371*n + 168. Suppose -k + 27 = 7*a - 3*a, -4*k = 5*a - 64. Is k <= n?
True
Suppose 6 + 89 - 20 = -25*j. Is -30/461 at most as big as j?
False
Let u = 7713 + -8326. Which is smaller: u or -609?
u
Let j(s) = -s**2 - s - 11. Suppose 10 = -2*w - 0. Let g be j(w). Suppose -104 = 3*q + o, -3*q - 4*o = -o + 114. Is g at least as big as q?
True
Let k be (260/(-2220))/(2/6). Let z be 1/((-1)/(-4)) + (-7 - -2). Which is smaller: z or k?
z
Let w = 18550 - 18566. Is w <= 22?
True
Suppose -5035 = 48*d - 4987. Are d and -1/11376 equal?
False
Let w = -131 - -78. Let t = w + -44. Is t greater than -97?
False
Let j = 20726875/20850312 + -4/124109. Let z = j + -11/168. Are 1 and z equal?
False
Let w = -16317 + 16316. Is w smaller than -22/25?
True
Suppose 4*a = -4*c + 12984, 0*a - 12984 = -4*a - c. Let v be 1 - (a/4005 + 16/120). Which is greater: v or 0?
v
Suppose -2*d + 2*g - g + 292 = 0, d + 5*g - 124 = 0. Which is smaller: d or -1.6?
-1.6
Let u(k) = k**3 - 129*k**2 - 3332*k + 1473. Let s be u(151). Suppose f + z = -36, 0 = -5*f - 4*z - 62 - 119. Is s >= f?
True
Let p be (-1440)/(-208) + ((-2)/13)/(-2). Are p and 107/16 equal?
False
Let o = -63.1 - -79. Let f = 16 - o. Let d be (-4)/9 + 0/2. Is f at least d?
True
Let p be 6/7*(-9 + 2). Let a be (-2)/4 - (-306)/68. Suppose 2*c - 8*o + 7*o + 5 = 0, a*c - 5*o - 5 = 0. Which is smaller: c or p?
p
Suppose -5*r - 828 = -3*i, -57 = -r - 3*i - 237. Let u(v) = 53*v - 8. Let h be u(-3). Does r = h?
False
Let n = -285 + 301. Suppose -5*x = 4*q + n, 3*q + 3*x = -0*q - 9. Which is greater: 58 or q?
58
Let h = 174515 + -174622.071. Let f = -12.6 + 119.6. Let x = f + h. Which is greater: x or 0.1?
0.1
Let o = 2/23051 - 253571/115255. Which is bigger: o or -1?
-1
Let u = -135 + 141. Suppose 22 - 16 = u*o. Which is smaller: o or -2/465?
-2/465
Let d = -24 - 26. Let u = d - -149/3. Let r(k) = 2*k**2 - 3*k - 14. Let h be r(7). Which is smaller: h or u?
u
Let x = -1518 - -268684/177. Is x at most -1?
False
Let t be (-2)/(-5) + (-32)/70. Let h = -7663/5844 - 43/1948. Which is smaller: h or t?
h
Let x be ((-6695)/721 + 4/14)*160/1. Is -1446 at most as big as x?
True
Let o be (4 - 3) + 2778/(-2780). Let t = o + -127/21962. Which is greater: 0 or t?
0
Let q = 113.454 + -112.5. Let r = q - -0.046. Which is greater: r or -32?
r
Let t = -1759 + 935. Let r = t + 22262/27. Is 0 greater than r?
False
Let z(j) = 4*j + 1. Let l be z(1). Let r be 0 - l/(15/12). Let g(s) = -15*s - 25. Let f be g(r). Is 36 at most as big as f?
False
Let o(z) = -z**2 - 12*z - 19. Let y be o(-2). Let d be y - (6/(-27) - 170/45). Do d and 68/11 have different values?
True
Let c be (-540)/225*(-30)/(-8). Which is smaller: -1 or c?
c
Let i = 652 - 368. Suppose -1353 = -273*u + i*u. Is -126 at most u?
True
Suppose 5*z = 15*y - 19*y - 2247, 0 = -y - z - 561. Which is smaller: -561 or y?
-561
Let h = 188 - 104. Suppose 10*l = 4*l + h. Suppose -l*c - 72 = -11*c. Is c at least as big as -24?
True
Let j be ((-366)/(-26936))/(29/48836). Let y = -69/259 + j. Which is bigger: 23 or y?
23
Suppose 4*l + j = -0*l + 5, -4*l - 5 = -j. Let x = -8368671/485 + 17255. Let w = 1531/9215 - x. Is l not equal to w?
True
Let u(c) = -40*c + 245. Let d be u(6). Suppose 3*x - 8 = -d*m - 1, -x = 2*m - 2. Is m >= -1?
True
Let r = 7535 - 7527. Let d = 12403 - 37744/3. Let s = -169 - d. Is r at most as big as s?
True
Let l be ((-1127)/230)/(47/29497). 