(a) = a**2 - 2*a - 27. Let w be x(7). Suppose 7 + w = -f*p. Which is bigger: p or -1?
-1
Suppose 200*f + 5320562 - 1513362 = 0. Are f and -19035 nonequal?
True
Let h = 75 - 74.975. Let t = h - -96.975. Let x = -38 + t. Which is smaller: -0.1 or x?
-0.1
Let u = -219013/7 - -31348. Let f = u + -9694/161. Let a = 11/161 + f. Are -1 and a unequal?
True
Suppose -90 = -4*t - 3*o, -2*o = 3*t - 352 + 283. Is t <= 28?
True
Let k = 452 - 328. Let r be (-1)/(-4) + (-20970)/168. Let a = r + k. Which is greater: -1 or a?
a
Let z = 480 - 479.8586. Let f = -0.0586 - z. Let o(m) = -m**2 - m. Let p be o(-1). Which is smaller: p or f?
f
Suppose -3*k = 2*z + 60, 0 = -14*z + 12*z + k - 52. Which is bigger: z or 13?
13
Let p = 17 + -20. Let f = p - -3.1. Is f at least as big as -175?
True
Suppose -3*v = -v + 8. Let d = -8 - v. Suppose 5*n + 202 - 184 = -3*k, -24 = 4*n + 4*k. Which is greater: n or d?
n
Let u be (168/(-108))/(8/(-18))*(748 + 2). Which is smaller: 2627 or u?
u
Let l(j) = -8*j + 46. Let q be l(6). Let b be 4/64*-4*q. Is -1/6 not equal to b?
True
Let j be (-5 - 2 - -3)/(44/55). Is j at least -5/47?
False
Let u be (-18)/(-24) - ((-33)/(-12) + -2). Suppose u = 108*y - 107*y. Which is smaller: y or -8/3?
-8/3
Let u(n) = n**2 - 7*n - 5. Let q be u(8). Let r be 2 - (-7 - -2) - 103095/14931. Is r <= q?
True
Let s = -26471/590 + -63/118. Let d = -2353/45 - s. Is -7 greater than d?
False
Let x = -747958 - -747956. Let r(t) = t**3 - 5*t**2 - 7. Let l be r(5). Which is bigger: l or x?
x
Suppose 4*n + 200 = 6*n. Let r be -99*1*3/12*-4. Let b = n - r. Is -6/13 less than b?
True
Let x be ((-25)/15)/((-434)/(-310)). Is 3 bigger than x?
True
Let z = -3999 - -4382. Is z bigger than 390?
False
Let d(v) = -3 - 9*v + 12*v**2 - 15*v**2 + 2*v**3 + 6*v. Let y be d(3). Let o be ((-7)/(-3))/((350/y)/(-7)). Is o at most as big as -1?
False
Let p = 3292 - 3293. Which is greater: p or 3/4400?
3/4400
Let p be (-438)/(-365) - 2484/20. Let u = 52 + -175. Is u less than or equal to p?
True
Let j = 4512 - 4219. Which is greater: 289 or j?
j
Suppose 0 = 4*w - 16, -m - 111 + 455 = -2*w. Let i be 41/123 + 1/(78/m). Which is greater: 0 or i?
i
Suppose -3*x + 0*a + 4 = 2*a, a = 2. Suppose -z - 13 = 19. Let m be 30/(-140)*z/(-6). Which is smaller: x or m?
m
Let h = -6 + 7. Let t = 9.05 - 9.176. Is h != t?
True
Let x be (30/105 + 17046/(-59710))/((-2)/(-10)). Is x less than -1?
False
Let u = 0.14 - -12.86. Let p = 15.4 - u. Let d = -0.6 - p. Is d < 1?
True
Let p(c) = c**3 + 5*c**2 - 8*c - 1. Let w be p(-6). Suppose 0 = 2*l + w*l + 39. Which is bigger: -36/19 or l?
-36/19
Let z = 4145/922 - -2/461. Suppose 4*j + 131 = 5*u - 0*u, 0 = 4*j - u + 119. Let d = 35 + j. Which is smaller: d or z?
z
Let s = 9251 + -6981. Which is smaller: s or 2269?
2269
Let f = 27032 + -26666. Which is bigger: 1827/5 or f?
f
Let x = -54.092 - -54. Let n = -0.018 + x. Let b be (6/4)/((-3)/(-4)). Which is smaller: b or n?
n
Let b be 1041/(-2)*(-42)/(-63). Let f = 32843 + -99542/3. Let v = f - b. Which is greater: 10 or v?
10
Let m = -13136 + 9804. Which is greater: -3334 or m?
m
Let m be (-452)/4 - 2 - (-3 + 5). Let x = m + 115. Let n be 1/(-2) - (-12)/(-136). Do n and x have the same value?
False
Let h = 1515 - 131764/87. Which is smaller: h or 0?
0
Let a = -942.5 - -944.5. Is -82 > a?
False
Suppose -32 = -2*p - 4*n, -p - 89*n = -94*n - 23. Let r = 3109/9 + -345. Which is bigger: r or p?
p
Let b = 1307555/64 - 20431. Let f = b + -3/64. Is f equal to 6.8?
False
Suppose 72*q - 82*q = 60. Let b be q*4/(-12) + (-4)/(-2). Is b at least 7/2?
True
Let d = 1562 + -728. Let p(v) = -2*v**3 - v**2 - 59*v - 217. Let t be p(-7). Is d greater than or equal to t?
True
Let i = -154/17 - 15/34. Suppose 4*o = 16*o - 384. Let j be (-47)/4 - (-56)/o. Which is smaller: i or j?
j
Let n be -4 + -4*(-296)/256. Do n and 1 have different values?
True
Let k = -12466508/49 - -254410. Let m = k - 21620/441. Which is smaller: -59 or m?
-59
Let d(x) = 9*x**3 + 8*x**2 + 29*x - 3. Let i(t) = -8*t**3 - 8*t**2 - 27*t + 2. Let a(m) = -3*d(m) - 4*i(m). Let z be a(-4). Do -0.1 and z have different values?
True
Let y = 6.38 + -7.9. Let j = -82.52 - y. Let b = -113 - j. Which is smaller: -0.2 or b?
b
Let u = -105/11 + 779/77. Let k = 2484.59 + -2483.99. Which is bigger: k or u?
k
Let n = 29.7 + -5.7. Let v = 25911 - 285020/11. Are v and n unequal?
True
Let o be 21768/(-544) - (-15)/60. Which is smaller: o or -40?
-40
Let h = 304.8 + -333. Let u = h - -28.2. Which is smaller: u or -90/11?
-90/11
Suppose 5*i + 2*p = 5*p + 6, 4*i - 24 = -4*p. Suppose -472 = 4*m - i*a - a, -m - 5*a = 88. Is m smaller than -112?
True
Suppose 60*t - 533*t = 806938. Which is smaller: -1704 or t?
t
Let r = 514 - 418. Suppose -408 = -4*d + 2*q, 5*d - q - 513 = 3*q. Let b = d - r. Which is smaller: b or 3?
3
Suppose -6*f - 60 = -2*f. Let c = f + -5. Suppose 0 = -5*d + 15, 6*d - d = -5*u - 85. Is c > u?
False
Let z be -14*((-132)/(-24) + -6) + -293. Which is smaller: z or -296?
-296
Suppose -46*a - 58*a = -120*a + 5328. Is 337 >= a?
True
Let d = 2459.8 - 2460. Do 1.01 and d have different values?
True
Let j be (-3)/(-421)*3*(-52252)/108. Let b = -4/421 - j. Let n = b - 8. Which is smaller: 2/7 or n?
2/7
Suppose 3*s = 8*s - 10. Let a be (40/(-16)*s)/(1/(-4)). Is 7 less than or equal to a?
True
Let r = -632 + 1018. Suppose 5*b = -o + r, b = -5*o + 2*o + 1102. Does o = 366?
True
Let o be ((-80)/30)/(-8)*24 - 9. Is o less than 13/72?
True
Let o(g) = -g**3 + 6*g**2 + 2. Let q be o(6). Suppose -q*k = -3*a - 7*k - 84, -4*a - 2*k = 112. Is -26 >= a?
True
Let s = -48 - -73. Suppose -k - 4*t = 0, -2*k - 4*t + 8 = -12. Let m = k + 4. Which is bigger: m or s?
s
Suppose 105 = -0*g + g - b, 5*g - 3*b - 535 = 0. Let f = g - 98. Let d be -5*(f/84)/((-6)/7). Is d greater than or equal to 2?
False
Let d = 2855 + -476. Do 2380 and d have the same value?
False
Let t(p) = -p**2 - 48*p - 319. Let g be t(-8). Is g equal to 15/413?
False
Let y = -2 - -2. Let t be 1330/8624 - (-2)/(-14). Which is greater: t or y?
t
Let a be (-214)/(-14) - (1 - 5/7). Let f(o) = o**3 - 13*o**2 - 33*o + 21. Let j be f(a). Let i be 10/j*((-42)/45)/7. Which is bigger: i or -3/4?
i
Let s be 59 + (1 - -1) + -3. Suppose 0 = 28*q - 25*q - 9. Let u be (-5 - (-666)/27)/(q/9). Which is smaller: s or u?
s
Let q = -5599 - -5603. Are -169/2 and q equal?
False
Let i = -32825 + 29523. Is -4 smaller than i?
False
Let y = 3 - -37. Let s be y/(-12) - 6/9. Suppose 5*v + z - 5*z - 27 = 0, -24 = -5*v + 3*z. Which is bigger: s or v?
v
Let p(q) = -8*q**3 - q**2 + 6*q. Let z be p(-4). Let t be (-2)/(-238)*z - (5 - 1). Which is smaller: t or 1?
t
Let f be 57*(50/30 - 2). Let h(z) = -z**2 - 11*z + 152. Let n be h(f). Is n greater than -2/869?
True
Let q = 426 + -36214/85. Let w = 889 + -890. Is w > q?
False
Let o = 38 + -37.16. Let z = 0.34 - o. Let f = z + 0.4. Is f less than or equal to 1/5?
True
Let k = 20 - 2.4. Let w = 27.6 - k. Is w bigger than 13?
False
Let x = -0.7639 - -0.8149. Which is smaller: x or 34?
x
Let r(v) = -v**3 - 75*v**2 + 78*v + 153. Let s be r(-76). Is s <= -32/281?
False
Let x = 4885 + -3180137/651. Which is smaller: x or -1?
-1
Let d(n) = -727*n - 53. Let w be d(-2). Which is greater: w or 1402?
1402
Let i = -64.531 + -3.409. Let t = -111.9 - i. Let u = t + 44. Which is smaller: 1 or u?
u
Let g be 1/2*8/2. Let q be 2/(-14)*(-26747)/(-42). Let v = -539/6 - q. Which is greater: v or g?
g
Suppose 187 = 32*z - 101. Suppose 0 = 3*j + z, x + 3*x + 2*j = 14. Is x != -4?
True
Let k be (-27)/(-45)*(-3135)/(-231). Is 1/16 <= k?
True
Let l = 24691 - 1160189/47. Which is smaller: l or 7?
l
Let q be (-441)/4 + (-4)/(-16). Let x = 55 + q. Let u = x + 91. Is u >= 36?
True
Let a be 2 + 40/22 + (-2)/(-11). Suppose -o - 2 = -j, -8*o + 6*o + a*j - 14 = 0. Which is smaller: o or 27?
o
Let c(l) = 638*l - 3782. Let d be c(6). Which is smaller: d or 10?
10
Suppose -3*i + 2*r - 7 = -3, -r + 13 = 4*i. Suppose i*n - 3 = 3*d, 4*n - 2*d = 3*d + 9. Let s = -0.5 + 0.3. Is n bigger than s?
True
Let y(h) = 2*h**2 + 147*h + 169. Let r be y(-73). Are 1231/13 and r nonequal?
True
Suppose 0 = -14*d - 350 + 336. Is d bigger than 9/524?
False
Let u be (1 - -26)/(12/8). Let w = -11.42 + 11.82. Is w at most as big as u?
True
Let n = -3107.4 + 3107. Do n and 3/4