-55 have the same value?
False
Let l(m) = -13*m**2 + 12*m - 2. Let n(b) = -14*b**2 + 14*b - 2. Let r(f) = -6*l(f) + 5*n(f). Let h be r(2). Is h equal to 25?
False
Let l be ((-675)/128625)/(3/(-10)). Does 1 = l?
False
Let k be (780/1690)/(1/13). Which is smaller: -24.8 or k?
-24.8
Let v be 112 - -5*128/40. Is 136 at least as big as v?
True
Let d be ((-6)/(-9))/(3/(-9)) + 0. Let h = d + 1. Which is smaller: h or 2/55?
h
Suppose -t + 5 = 8, 3*a = 2*t + 57. Suppose 16*i - 8 = a*i. Let s be 6/(-4)*i/39. Does -1 = s?
False
Let a = -39.025 - -0.025. Let y = -349/492 + -5/123. Is y bigger than a?
True
Let f be (291 - 289)/(6/171). Let i = -90 - -145. Is f != i?
True
Let g = -0.803 - -3.803. Is 889 < g?
False
Let h be (-4 + 2)/((-13)/(91/(-48))). Let s(x) = x**2 - 26*x + 89. Let t be s(22). Is h > t?
False
Let v = -30340 - -30338. Let z = -4/163 - 791/978. Which is smaller: z or v?
v
Suppose 89 = -2*r + o, -4*o + 222 = -5*r - o. Let s = r - -91/2. Let g = 1.5 - 1.4. Which is bigger: g or s?
s
Let r(o) = 18 + 29 - 26*o + 88 + 33 - 12. Let t be r(21). Is t > -1/3?
False
Let k(f) = f**2 - 13*f - 6. Let i be k(15). Let p = 27 - i. Let o be ((-15)/(-9))/(p/45). Is 25 != o?
False
Let t = -132244/21615 - -202/33. Suppose -2*c = -4*q - 3 + 15, 2*q + 2*c + 12 = 0. Which is smaller: t or q?
q
Let l = 451580/1857610689 + -2/217239. Does l = -1?
False
Let z(r) = r**3 - 8*r**2 + 6*r + 8. Let x be z(6). Let g be (8/20 - 35/25)*x. Does 27 = g?
False
Let c = 3084.2 + -3084. Which is bigger: 1/4 or c?
1/4
Let z(q) be the third derivative of q**4/8 + q**3 + q**2. Suppose -21*m - 1349 = -1391. Let t be z(m). Do 43/4 and t have the same value?
False
Suppose 5*c - 4*q + 12 = -5, 2*c - 10 = -4*q. Let i = 4/17549 - 2496976/17549. Let k = i + 142. Is c <= k?
True
Suppose 0 = 5*k - 8 + 3. Suppose 0 = 9*a - 2509 - 6212. Let f = -955 + a. Which is bigger: k or f?
f
Let g be ((-18)/(-9) + -1)/1. Which is bigger: -1106 or g?
g
Let v be (-6)/(-660)*11*(-7 - -2) + 1. Which is greater: -55 or v?
v
Suppose -61 + 166 = -15*n. Let a(m) = m**3 - m**2 - 10*m - 3. Let k be a(n). Is -326 smaller than k?
True
Suppose 0 = 5*b - 3*r - 18, -5 = -5*b - 3*r + 7. Suppose f - 31 = b*c, 2*f = -0*f - 2*c + 38. Let q be (-2)/f - 27/(-297). Is q at least as big as 2/31?
False
Let b be (9 - (8 + -8))/(-7). Is b >= 0.39?
False
Suppose -42*x + 37*x = -30. Suppose x = 5*y - 19. Let k = 521 + -5677/11. Which is greater: y or k?
y
Suppose d = 9 - 5. Suppose -2*b - d*p = -6, 4*p = -b - p + 15. Which is greater: b or -50/9?
b
Let u = -204 - -345. Let i = u - 141.3. Is -35 bigger than i?
False
Suppose 0 = j + w - 184, 3*j + 4*w - 550 = -0*j. Let t = 187 - j. Is -10/43 equal to t?
False
Let w = -1.9161 + 1.5061. Which is greater: w or -2/11?
-2/11
Suppose -130*l = -126*l + 20. Let u(p) = p**2 - 6*p - 54. Let i be u(l). Which is smaller: i or 1/65?
1/65
Let y be (1 + 1)/(8*(-27)/46764). Do -434 and y have different values?
True
Suppose -5*z - 16*z = -504. Let q be ((-164)/(-16))/(2/z). Which is smaller: q or 124?
q
Let n(t) = -t**3 - 3*t**2 - 4*t - 37. Let k be n(-4). Let h be 19/((-95)/30) + -5 + k. Which is greater: -106/7 or h?
-106/7
Let y be (-7)/(-35) + (-174)/70. Let g = -0.0881 + -0.1119. Is g greater than y?
True
Let y = 156 - 470/3. Let q = 11 - -5. Suppose 0 = 3*r - 4*c + q, -r - 3 = -5*c + 17. Is r equal to y?
False
Suppose z - 5*g = 21, 2*z = -3*g + 37 + 44. Let v = 71/2 - z. Let i = -19 - -38. Do i and v have different values?
True
Let y = -104197201 + 9273377600/89. Let z = y + 1947. Is 1 at most as big as z?
False
Let w = -135125 + 135130. Let l be (-225)/(-39) + -2 + 1. Which is smaller: l or w?
l
Suppose 8*o = -y + 135, -o = -1293*y + 1288*y + 19. Let r = -7 - -24. Is r greater than or equal to o?
True
Let h = 9191 - 11518. Do h and -2321 have different values?
True
Let u be -7 - 52*9/(-84). Let g = 3 - 5. Which is smaller: g or u?
g
Let i = 11 - 33. Let q = -783.99 + 784. Which is smaller: i or q?
i
Let n(r) = 593*r**2 + 86*r - 164. Let w be n(2). Is 2385 less than w?
False
Let t be 5 - 6/10*(-17 - -22). Let l be ((-3)/(-4) - t)*20. Suppose -5*y - 28 - 102 = 0. Is y less than or equal to l?
True
Let t = -419 + 419.68. Let a = t - 0.6. Is 2/5 > a?
True
Let y = -13069 - -134539/10. Is y at most 385?
True
Suppose -4*b + 25 - 202 = 3*y, 3*y - 3*b = -177. Suppose 3*s + 228 = -3*o - o, 2*o - 2*s + 128 = 0. Let w = y - o. Is w <= -5?
False
Let j be (-31)/(1 - (-25)/40*-2). Let x be -6 + 3 - (1720/j)/(-5). Is x greater than or equal to 1?
False
Let n be 5/(-4) - 3349/(-1700). Let r be (-4 - -4)*(-3)/12. Is n != r?
True
Let a = 5472 - 38308/7. Let v = -0.5 + 1. Let d = v - 0.51. Is a less than or equal to d?
True
Suppose 4*j + 408 = -t, 14*t + 510 = -5*j + 16*t. Let z = j - -407/4. Which is greater: 0.41 or z?
0.41
Let l = 3 - 3. Let v be (-154)/(-17) + -16 + (2 - 2 - -7). Is l < v?
True
Suppose 1424 = 3*o - 4*d, 4*d = -o + 5*d + 476. Let f = o + -9597/20. Which is smaller: 2 or f?
f
Let f(u) = 18*u**3 + u**2 + u - 2. Let m be f(1). Suppose -m*t = -20*t + 4. Suppose q - t = -3. Is 7 smaller than q?
False
Let l = -517 + 518. Let r be l*(-3)/9 + 2580/(-9). Is -287 greater than or equal to r?
True
Let a = 990.028 + -990. Let o = 9 + -9.072. Let z = a - o. Is z >= -46?
True
Let b(a) = -2*a**3 + 11*a**2 + 36*a + 26. Let n be b(8). Is n > 358?
False
Let b = -5709611/8378 - -2/4189. Is -681 equal to b?
False
Suppose -2*t + 4*q - 4776 = 0, -5*t + 10*q = 12*q + 11976. Which is bigger: -2391 or t?
-2391
Suppose k + 162 - 62 = -8*w, w - 4 = 4*k. Let v = 0.5 - -1.7. Let r = 2 - v. Which is greater: w or r?
r
Let y = -1.89 - -0.39. Let t = -1615 - -19379/12. Which is greater: y or t?
t
Let t be (-1)/(-15) + (-48)/240. Which is smaller: 0.152 or t?
t
Let p be (-1*(-1 + 2))/(2756/(-384568)). Is 139 greater than p?
False
Let p(s) = 4*s**2 - 78*s - 378. Let m be p(-7). Which is smaller: m or 360?
360
Let v(i) = 95*i + 660. Let a be v(-3). Which is smaller: a or 370?
370
Suppose -2*t + 195 = -2*k + t, 0 = k - t + 95. Let q be (k/(-21))/(14/(-21)). Suppose -4*i - 3*h - 39 = 0, 4*i + 0*i + 5*h = -49. Which is greater: i or q?
i
Let a(r) = r**3 - 8*r**2 + 13*r - 6. Let v be a(7). Suppose 19*k = 16*k - v. Let q be 32/12*k/40. Is q != -1/5?
True
Suppose s + 3*j - 2*j = 4, 2*s - 3*j = 3. Suppose 2*f - 2*r = 128 - 492, -525 = s*f + 4*r. Is -179 <= f?
True
Let i be (346/4)/((-5)/50). Let s = i - -831. Let z be ((-3)/(-6))/(2/(-136)). Do z and s have the same value?
True
Let g be ((-2)/(-4)*32/24)/(-110). Let w = 0 - 1. Is g at least as big as w?
True
Let k = 0.57 - 0.5897. Let p = -21.0197 - k. Let d = 0.6 + 0.4. Is p < d?
True
Let o = -231 - -234. Suppose -o*z - n + 3 = 0, -n = 4*z + 66 - 70. Which is smaller: z or -2/303?
-2/303
Let s = -0.7134 + -0.2271. Is s at most as big as 0?
True
Let x = 109066/76285 - 16/1387. Is x smaller than 1?
False
Suppose -3*g + 7*g + 3*r - 229 = 0, 3*r + 15 = 0. Suppose -4*w + g - 267 = -2*o, 152 = -3*w - o. Let b = w + 38. Which is smaller: -15 or b?
-15
Let o be (63 - 3)*(3705/(-20))/13. Is o != -854?
True
Let j = 0.4 - 0.03. Let h = -0.4 + j. Let y = h + 2.03. Which is bigger: -1 or y?
y
Let c(v) = -135 - 46*v + 67 + 15 - 2*v**2. Let w be c(-25). Are -152 and w equal?
False
Suppose -5*s - 8 = 3*t, -3*s + 0 = 5*t + 8. Let u be 33420/132 + (-2)/11. Let y = u - 1019/4. Which is bigger: y or s?
s
Suppose 0 = -61*i + 8087 + 4784. Is 210 > i?
False
Suppose -9 = 3*t, -36*t = -3*j - 38*t - 435. Which is smaller: -144 or j?
-144
Let m = 100 + -57. Let t = 47 - m. Let s be (10/75*-3)/(t/(-10)). Which is greater: s or 8/3?
8/3
Suppose 3*z - 49 - 125 = 0. Let n = -140 + z. Is n < -82?
False
Let f = -966 - -8704/9. Is f greater than -66/13?
True
Let j = -161 - -1125/7. Is j >= 293?
False
Let p be (-34)/(1*(-1 + (-20)/(-22))). Let a = p - 28796/77. Which is greater: a or 1?
1
Let m = 2.1087 - -2790.8913. Does m = -1/4?
False
Suppose -2 = -2*r + 2. Suppose -3*j - 3*f = r*j - 12, -2*j - 3*f + 3 = 0. Let g(x) = -x - 10. Let p be g(j). Does p = -1?
False
Let n = -3534 + 10735/3. Let j be (8769/54)/(22/6). Let u = j - n. Which is smaller: u or 0.1?
u
Suppose -5*k + 14540 = -5*o, 0 = o + 3*k + 1013 + 1919. Is o greater than -2915?
True
Let s = -2414.9 - 918.1. Which is smaller: s or -2?
s
Suppose s - 317621 