 n = -89 + 56. Let l be y(n). Is 3 greater than l?
True
Let d = 122196 + -1367495434/11191. Are 4 and d unequal?
True
Suppose -7*n + 5*n = -50. Let x be (-17)/(-5) + (-10)/n. Let h(c) = -3*c**2 + c + 4. Let m be h(x). Which is smaller: -19 or m?
m
Let t(a) = 97 + 0*a - 9*a - 52 + 125. Let n be t(19). Do n and 5/151 have the same value?
False
Let z(n) = 9*n. Let t be z(-4). Let b = -3.4494 - -3.6494. Is b less than or equal to t?
False
Let h be 10/4 + (-11)/(-22). Let u be ((-26)/8 - -3)/(60/(-432)). Is h less than u?
False
Let o be -4 + -14*1/4*-2. Suppose -5*h - 4*c + 66 = 0, 0 = 3*h - 0*h + o*c - 39. Suppose -2*u = -h*u - 12. Is -1/131 at least as big as u?
True
Suppose 33*p + 2646 = -1314. Is p bigger than -112?
False
Suppose -167 = -5*i - 2*n, -195 = -8*i + 3*i + 5*n. Let y be (-640)/i + 2/7. Let v be 8/(-12) + (-21)/y. Which is greater: v or -5/2?
v
Let j = 42 - 10. Let t be ((-4)/j*4)/(-31 + 2). Which is greater: 0 or t?
t
Let c = 244.1 + 4172.9. Is c >= 1?
True
Suppose -5*g = -36 + 61. Let q be -4 - (-5 - (g - 4)). Which is greater: q or -16?
q
Let b(j) = -2*j**3 + 2. Let r be b(-2). Let z be (r/(-10))/((-6)/20). Suppose 0 = -4*t - o - 1, 2*t + 9 = -2*o + 1. Is t at least z?
False
Let y be 3*(4/(-6) - -1). Suppose q - 8 = 2*r + 18, -3*r - 66 = -3*q. Let x be ((-6)/84)/(9/q). Which is smaller: x or y?
x
Let t(l) = -2*l - 60. Let h be t(-30). Let m be h/(-5 + 8) - 0. Suppose -y = 2*o + 3, y + 3*o + o + 5 = m. Is y < -4?
False
Let n = 65/6 - 23/2. Let d = 52.5 + -36. Let j = -3.5 + d. Is j greater than or equal to n?
True
Suppose 105*n - 65072 = 161*n. Is n equal to -1162?
True
Let k be (-4)/(-8)*18/99*(-1 - -9). Let s be 60/27 - (-6)/(-27). Is s less than k?
False
Let j(x) = -5*x**3 - 4*x**2 - 7. Let d(g) = g**3 - g + 1. Let o be (2/(-6))/((-4)/(-12)). Let z(v) = o*j(v) - 4*d(v). Let i be z(-1). Is i not equal to 2?
False
Suppose -10*k - 1149 + 309 = 0. Let u be ((-3)/4)/(-3) + (-315)/k. Let f be u/(-23)*(-5)/10. Which is bigger: 0 or f?
f
Let b(y) = -393*y - y**3 - 21 + 53*y**2 + 393*y. Let i be b(53). Let n = 25 - 44. Is i greater than n?
False
Let p = 635.7 + -610. Let b = -53.7 + p. Is b at least as big as 0.1?
False
Suppose 0 = 3*t - 5*l - 1688, 4*t = -590*l + 592*l + 2288. Is 582 less than or equal to t?
False
Let u = 15842841/428 + -37016. Do u and 2/9 have different values?
True
Let y = -9 + 11. Suppose 0*p + 2 = 2*p - y*h, -4 = -4*p + 5*h. Let l be -1*(9 - (-408)/(-40)). Does p = l?
False
Let d = -2311 - -2238. Let g = 47 + -44. Which is smaller: d or g?
d
Let r = 0.47 - -0.03. Let h = 793 + -793.1. Is r less than h?
False
Let o be (11 - 5) + 4/(-95)*3210/(-4). Is o at least as big as -1?
True
Let c = 3288.07971 + -0.07971. Which is smaller: c or -1?
-1
Suppose 5*g - k = 100, 5*k + 11 = 36. Let h(b) = -b**2 - 11*b - 2. Suppose j = 1 - 9. Let z be h(j). Which is smaller: g or z?
g
Let h be (-9 - -6) + -1 + 5. Let t(g) = -6 + 24 + 2*g + 17. Let a be t(-17). Does a = h?
True
Suppose 260 = 7*n + 6245. Let w be (-4)/20*n/6. Let o = w + -29. Which is smaller: o or -3/2?
-3/2
Let k(v) = -2*v**3 - 40*v**2 + 43*v + 24. Let j be k(-21). Suppose -g - 61 = 3*i, -4*i - 2*g = -j*g + 86. Which is smaller: i or -19?
i
Let c be 7236/90 + (-6)/15. Let f be (3/12)/((-12)/c). Suppose -2*j = l - 1 + 5, -8 = 4*j + 5*l. Which is greater: j or f?
f
Let i be (-2800)/136 + 264/12. Is i at most 3?
True
Let r(j) = -238*j**2 + 20 + 121*j**2 + 118*j**2 - 10*j. Let o be r(5). Let a = 22 - 31. Which is bigger: a or o?
o
Let r = 85412 + -632902919/7410. Is 1 equal to r?
False
Let r = -179 - -176. Let o = -38364 - -126869750/3307. Let c = -52898/23149 - o. Which is bigger: c or r?
c
Suppose -4*r - 1721 - 3479 = 4*v, -5*r = v + 6504. Is r < -1303?
False
Let p be 19*542/12920 + 9/(-12). Do p and 1/4 have different values?
True
Let q(h) = -38*h - 220. Let c be q(-11). Suppose c*w = 191*w - 168. Let k = -82 - -58. Is w <= k?
True
Let i(m) = m**2 - m - 19. Let z be i(11). Suppose 4*s = -3*t - z, -5*s - 97 + 17 = -3*t. Which is greater: -20 or s?
s
Let v be 3/(-135)*-5 + (-34960)/314478. Which is bigger: v or 1?
1
Suppose -228*s + 224*s + 8 = 0. Suppose 10*q = 2*d + 5*q - 111, 0 = 4*d + s*q - 210. Is d bigger than 50?
True
Suppose 8*u - 9 = -1. Let d = 326742857/44 + -7425528. Let c = d + -446. Is c greater than u?
False
Let c(x) = -x**2 + 8*x - 8. Let o be c(5). Suppose 15 = 4*k + 3*m, 0 = -2*k + 3*k + 4*m - o. Let r be ((k - 2) + -4)/((-45)/(-2)). Is r > 0?
False
Let z be 2/(-2) - 31 - (-20)/(-5). Let h = z + 65. Does 33 = h?
False
Let t be 7 + -4 - (48/44)/((-4)/(-22)). Is t at most as big as -123/28?
False
Let k(d) = 33*d - 94. Let b be k(3). Suppose 3 + 5 = 2*p. Suppose -19 - b = p*o. Which is smaller: o or 2?
o
Suppose -2*c = 2*z + 6 - 16, -5*z = 2*c - 10. Let f be 4584/120 - (-4)/c. Which is greater: 119/3 or f?
119/3
Let u(h) = 6*h**3 + 1133*h**2 - 240*h + 342. Let y be u(-189). Which is smaller: y or 9979?
9979
Let g = 198 + -479. Let v = 280.9 + g. Is -0.134 <= v?
True
Let x = -38 - 32. Let q = x + 69.976. Let l = 0.124 + q. Which is bigger: l or 3/14?
3/14
Let u = 2542 + 1891. Do -2/7 and u have the same value?
False
Let y = -1 + 2. Let k be (-113)/(15368/680) + (-259)/(-47). Is k != y?
True
Suppose 2*f = 3*f - 78. Suppose 6*k = 4*k - f. Let m = -35 - k. Which is greater: m or -2?
m
Let v be (85*(-12)/30)/(0 + -2). Suppose -93 = -14*a + v*a. Which is smaller: -59/2 or a?
a
Suppose 5*s = n - 883, 1891 = 2*n - 2*s + 117. Suppose -4*a = -4*r - n, -5*r - 1098 = a - 0*a. Is r not equal to -220?
False
Let w(v) be the second derivative of v**4/12 + 7*v**3/6 + 5*v**2 + 4*v. Let x be w(-3). Let f be (-296)/330 + 16/44. Is f less than x?
False
Let z = 1035 + -582. Let q = -477 + z. Is -23 equal to q?
False
Let g be 366/2928*(-1 + -341). Suppose 0 = 3*y + 3*w + 117, -223 = 5*y - 2*w - 0*w. Which is bigger: y or g?
g
Let z = -16 + 28. Suppose -2*y = -2*j + 11 + 49, 125 = 4*j - 5*y. Suppose -j*s - 123 = -473. Is s at most as big as z?
False
Let v(g) = -2*g - 16. Let b be v(-7). Let x be 6/(-12)*b*1. Let r be (-65)/104 + 2/4. Are r and x non-equal?
True
Let q be (-115)/90*3 - 5/30. Let l = -174 - 27. Let n be 1*(l/51 - q). Is 0 greater than n?
False
Let a(x) = 842*x + 2319. Let d be a(5). Which is greater: d or 6530?
6530
Let m(i) = i**3 + 13*i**2 + 9*i - 36. Let v be m(-12). Suppose v = 2*t + 4 + 4. Which is smaller: -0.09 or t?
t
Let i = -6814 - -156763/23. Which is smaller: 1 or i?
1
Let z(l) = -l**3 - 7*l**2 - 9*l - 7. Let s be z(-3). Let t be 2/(-18) + (19520/36)/s. Is t bigger than -133/4?
False
Suppose 3*d + 12 - 15 = 0. Suppose -k - d + 5 = 0. Suppose -k*z = -0*z - 4. Is z >= 1/70?
True
Suppose 83 = 3*i - p, i + 8*p = 5*p + 41. Let n(q) = q**2 - 28*q - 42. Let r be n(i). Let v = -5 - -7. Which is bigger: r or v?
v
Suppose 155*p - 192*p + 236031 + 35179 = 0. Is 7328 at most as big as p?
True
Suppose 20*o - 23*o = -87. Suppose -m - 2850 = o*m. Which is greater: -96 or m?
m
Let o = -35 + 32. Let f = -6 - o. Let j be (((-50)/15)/5)/(1/f). Which is greater: 8/7 or j?
j
Let z(s) = 3*s + 50. Suppose -4*p + 4*y = 56, -3*y = -4*p + 12 - 68. Let w be z(p). Is 15 equal to w?
False
Let h = 0.0719 + -2.5719. Is -0.07 less than h?
False
Suppose -364 - 143 = 13*b. Let c be (-6)/(-5)*(-13)/b. Let l = -14.83 - -15. Which is smaller: c or l?
l
Let r(i) = -14*i - 67. Let y be r(-5). Let w be ((-1)/(-2))/((-3)/(-1092)). Let m = -541/3 + w. Is m at most as big as y?
True
Let f(u) = -108*u**2 + u + 1. Let a be f(-1). Let o = -175 - a. Let p be (-3 + 2)/1*o. Are p and 68 nonequal?
True
Let n be -2 - (29572/2688 - 13). Which is smaller: n or 0?
n
Let x(q) = 4*q**3 + q**2 + 5*q + 42. Let h be x(-6). Let v be (-8)/h*6*150. Is 9 > v?
True
Let l(h) = -90*h**2 - 8*h + 5. Let a(c) = -89*c**2 - 6*c + 5. Let p(s) = -3*a(s) + 2*l(s). Let w be p(1). Is w greater than or equal to -3?
True
Let s(m) = -134*m - 272. Let q be s(-2). Let b = 3 - 9. Which is smaller: q or b?
b
Let m(p) = 18*p**2 + 358*p - 41. Let a be m(-20). Let x = -1911 + 63071/33. Which is greater: a or x?
x
Suppose 185 = 18*j - 28 - 3. Is j bigger than 45?
False
Suppose -4*j = -7 + 11 + 4. Is j > -121?
True
Let z be (6/(-8))/((-20)/(-16)) - 242/(-220). Which is smaller: z or 2.57?
z
Let c = -6 + 12. Suppose 5*d - 4 - c = 0. Let