False
Suppose 4*p = 2*j - 6, -4*j - 3*p + 3 = 2. Is 3/1820 greater than j?
False
Let h = -39 - -37. Let v be (2/(-15))/(h/9*-6). Which is greater: v or 0.2?
0.2
Let r = 27482.92 - 27483. Is r greater than 1124?
False
Let p = -11.076 - -12.676. Is p < 27?
True
Let u(g) = g**3 + 2*g**2 - g + 1. Let t be u(-4). Let y(q) be the third derivative of -q**5/20 + 5*q**4/6 - 10*q**3 + 3*q**2 - q. Let i be y(3). Is t at most i?
True
Suppose -4*d + 64 = -68. Let y = d + 151. Which is greater: 183 or y?
y
Let t = 31 + -29. Suppose -3*b = -3*w - 45, -4*b = -t*w - w - 43. Suppose -4*f + 0*f - 2*z - 78 = 0, -3*f - 76 = 5*z. Are f and w nonequal?
False
Let x = 125 + -122. Suppose x*d + 61 = 67. Suppose -5*p + 3*l + 0*l = 5, l = 4*p + 11. Is p less than or equal to d?
True
Let n be ((-7)/((-28)/(-8)))/(162/378). Let z(p) = -p**3 + 6*p**2 - 3*p - 5. Let y be z(4). Suppose 5*d + 5 + y = 0. Which is greater: d or n?
d
Let n = -4394573/13699387 + 246/767. Is -1 at least n?
False
Let f(j) = 3*j - 28. Let t be f(-15). Let n(l) = l**2 - 10*l - 11. Let a be n(6). Let s be 2 - (6/8 + a/(-28)). Is s < t?
False
Let x = 2464 + -2493. Let d = -57 - -33. Is x < d?
True
Let y(z) = -32*z**3 + 4*z**2 - 2*z - 2. Let w be y(1). Let f be 12/w + 516/(-416) + -2. Is f equal to -3?
False
Let m = 12860 - 12059. Which is bigger: m or -1/3?
m
Suppose 3*g = -s - 5 - 16, 0 = 2*g - 6. Let l be (-238)/(-170) + 3/(s/4). Let k = -3.27 - -2.9. Is k <= l?
True
Let s = 586/19 - 14137/475. Let n = s - 503/475. Let p be -4*(2/(-6))/(20/15). Is n bigger than p?
False
Let b be 290/(-5365) + (-17466)/(-37). Which is bigger: -15 or b?
b
Let l = -4225 - -3474. Is l > -4501/6?
False
Let f = 59/26 - 2617/39. Let z = 129/2 + f. Which is bigger: z or -2/5?
z
Suppose -3*g - r = -5*g + 77, 0 = -5*g + r + 194. Suppose l + 2*i + g = 0, -2*i - 138 = 4*l - 0*l. Let u = l - -29. Is u >= -9?
True
Let n be (-11)/(-22) + (-5)/(-2). Suppose 4*r - 5*r + 3*k + 2 = 0, n*r - 5*k = 18. Let b be (1/(-2))/(((-7)/140)/1). Which is greater: b or r?
r
Let c be (4/(-6))/(4/24). Let l = c - -30. Suppose 8*i = -l - 54. Is i != -11?
True
Let n be 1*(-1)/(-3)*411. Let z = -17535/128 + n. Let y = -1 - 0. Which is greater: z or y?
z
Suppose -4*u + 2282 + 484 = 2*u. Which is smaller: 465 or u?
u
Let y = 1036.9 - 1037.9. Let d be 6/4*(-21)/(-36). Is y not equal to d?
True
Let o = 14 - 11. Let n be (o/(-30))/((-6)/15). Let h = 37.95 - 15.95. Is h at least n?
True
Let u = 366.7 - 386. Let c = u - -19.1. Is 36 less than or equal to c?
False
Let v = 11118 + -12930233/1163. Which is smaller: v or -2?
-2
Let w be (-350)/(-4)*1566/270. Which is smaller: 507 or w?
507
Let a be (-8844)/384 + (30/(-3))/2. Let q = a + 28. Which is bigger: -2/11 or q?
q
Suppose -30 = -166*j + 136. Is j less than or equal to 103?
True
Suppose 7*p = 8*p - 20. Let w(j) = j**3 - 19*j**2 - 20*j + 1. Let i be w(p). Suppose 0 = 6*o + 7 - i. Is -2 less than o?
True
Let h be 42 + (-8 - (5 + (-105)/7)). Which is smaller: h or 85?
h
Let d(y) = -2*y**3 + y**2 - 2*y + 1. Let h be d(1). Let p be ((-6)/15)/(17 - 13 - (-136)/(-40)). Which is smaller: h or p?
h
Let l = 0 - 1. Let h = l - 0. Let u = 59282/91 + -4558/7. Is h less than u?
True
Let v(c) = c**3 - 12*c**2 + 3*c - 29. Let l be v(12). Let k be (-19 - -5)/l + -3. Is -17 equal to k?
False
Let a = -0.02 - 0.98. Let v(d) = -d**3 - 21*d**2 + 7*d + 70. Let z be v(-21). Which is bigger: a or z?
a
Let c = 1980175/49 - 40410. Is 1 >= c?
False
Let q = -0.9 + 54.9. Let u = q - 63.4. Let w = -8.4 - u. Which is greater: -30 or w?
w
Suppose 16*j + 16*j - 3840 = 0. Let l(n) = -n**3 + 11*n**2 + 2*n + 1. Let r be l(10). Let a = r - j. Is a less than -1/63?
False
Suppose 2*v = -3*k - 29, 4*k - 3 = -v + 6*k. Let l = v - -7. Which is bigger: 2/141 or l?
2/141
Let v be 4536/12565*((-830)/66)/(-5). Let y = 2/1795 + v. Let f = y - 53/22. Are 1.4 and f non-equal?
True
Let m be 432/(-5589)*3/(-12). Which is bigger: m or 0?
m
Let f = -7910577 - -7910057.8899. Let l = 0.1101 + f. Which is smaller: l or -1/2?
l
Let k be 2 + ((-24)/(-4))/(-3). Let t = 4 + k. Suppose 0 = 37*a - 32*a. Is t >= a?
True
Let s be (-768)/(16 + 8) + 36. Let r be (-4)/(-1) - (-5 - -4). Which is smaller: s or r?
s
Let l be (-11028)/(-110) - 36/(-66). Which is smaller: 100 or l?
100
Suppose 7*s = -4*s - 121. Let x(z) = 2*z + 17. Let y be x(s). Suppose t = 3*t - 4*w + 18, 0 = 2*t - w + 9. Which is smaller: t or y?
y
Suppose 5*v - 152 = -b, 376 = 2*b + 10*v - 9*v. Let p = -470 + 662. Does p = b?
True
Let b be (88/(-32))/(4/(-6)). Let g = 11399 - 11394. Do b and g have the same value?
False
Let n = -3219 + 2713. Is n > -1/2?
False
Let p = 1764 + -1226. Let n = p - 487. Which is smaller: -4/3 or n?
-4/3
Let w(p) = -p**2 - 32*p + 230. Let z be w(-37). Suppose -4 = -41*n + z*n. Let a = -9 - -2. Which is smaller: n or a?
a
Let m = 5488 - 5431. Which is smaller: m or -3/4?
-3/4
Let w(f) = 83*f + 483. Let r be w(18). Which is smaller: r or 1978?
r
Let m = -207663/105056 + 533/268. Is 0 >= m?
False
Let k = -4.88 + 4.98. Which is smaller: -2/3049 or k?
-2/3049
Let h = 10047 + -6968. Is h smaller than 3080?
True
Let t = -0.5395 + 0.6568. Which is smaller: 1/6 or t?
t
Let x = -1246 + 2975. Is 1729 greater than or equal to x?
True
Let k(o) = 54*o - 2535. Let z be k(69). Is 1190 greater than z?
False
Let n = 1.175 + -39.095. Let g = n - -38. Let v = 0.02 + g. Is -4 >= v?
False
Let b = -406 - -416. Let u be 85/19142*(-8)/b. Is u less than or equal to 0?
True
Let a be (10 - 17)*(-52)/(-14). Suppose 2*j + 2*p = 3*j + 34, -j - 10 = 4*p. Let u = a - j. Is 2/21 at most as big as u?
False
Let t = 37480862/171 + -219184. Let a = t - 40/19. Let k = 158 + -159. Is a greater than or equal to k?
True
Let y = 144 + -86. Let b be 4/5*15051/y. Let w = -1071/5 + b. Are w and -7 equal?
False
Let k = -145 - -57. Let b be 84/(-10)*((-84)/(-24) - -4). Let m = b - k. Is m less than or equal to 25?
True
Let r(c) = 96 + c**2 + 5*c - 116 + 0*c. Let a be r(-9). Let d be a - 21 - (3 - 0). Is -70/9 > d?
True
Let y = -22 - -52. Let s = y + -40. Let l = s + 9.9. Is 0.9 smaller than l?
False
Let j = 942 + -1621. Let c = -716 - j. Which is bigger: 3/2 or c?
3/2
Let o(n) = 9*n**3 - 3*n**2 + 8*n - 12. Let y be o(2). Which is greater: 5 or y?
y
Let n = -5464.0012 - -5464. Does n = 5?
False
Let i = -350 - -207. Let y = 202 + i. Let q = -72 + y. Is q smaller than 1?
True
Let f be ((-4)/(-6) - 1)*(-7488)/(-108) + -8. Which is greater: f or -32?
f
Let y = -92 - -92. Suppose h - 3*h - 5*n = -49, -2*h + 4*n + 94 = y. Is 37 greater than h?
False
Suppose 3*h + 70*d = 69*d + 2176, -h + 712 = -3*d. Let p = h + -750. Which is bigger: p or -27?
p
Let v be (-1)/(2/(-4)*1). Let k = 53800 - 268994/5. Which is bigger: v or k?
v
Let p = -334 - -334.572. Let g = p - 0.64. Let u = -9.668 - g. Which is smaller: -1 or u?
u
Let g(y) = -21*y**2 - 48*y + 525. Let u be g(14). Is u bigger than -4263?
False
Let k = 12.279 - 14.279. Is k < 47?
True
Let t = 2/529 + -8490/6877. Let g = -1 - -1.2. Which is greater: t or g?
g
Let v = 7612 - 3832. Let d be (-3)/1*70/v. Which is smaller: d or -2/3?
-2/3
Suppose -5*w + 1679 = -2*q, 3*w + 2*q - 1009 = 4*q. Let r(h) = 85*h**2 - 744*h + 1484. Let l be r(2). Which is smaller: l or w?
w
Suppose l + 3*u = 4, -5*l - 3*u - 66 = -74. Is l at most 3/3382?
False
Let v(u) = -419*u - 971. Let k be v(-8). Which is smaller: k or 2383?
k
Suppose -k - 5*b - 15 = 0, -2*k - 4*b - 2 = 4. Let g = 5 - k. Let a be 1/3*g - (-4)/22. Do 0 and a have different values?
True
Let a be ((6 + -5)/2)/((-3)/1086). Let u = a - -279. Is 99 at least u?
True
Let g(k) = -k**3 + 4*k**2 + 6*k + 10. Let t be g(-4). Let l = 195 - t. Let f = -81 + l. Do f and -2 have different values?
True
Let q be 5/(1620/618) - 8/8. Which is bigger: 2 or q?
2
Let n = 62/37 + -7948/4699. Let o(x) = x**2 + 3*x - 15. Let j be o(5). Let d = j - 26. Which is bigger: d or n?
n
Let x = 6263 - 5073. Is x at most 1?
False
Suppose -4*m - 18 = -2*i, -m - 10 = i - 13. Let v be (0 + 6 - i)*-83. Do -85 and v have the same value?
False
Let m be 7*(1 + 1)/(-2). Let x = -355840 + 355848. Which is greater: m or x?
x
Let b be 4/(-5) - (-4 - (-9732)/4060). Let p = -15/29 + b. Which is smaller: p or 0?
0
Suppose -5*d = 5*h - 15, 4*h = -4*d + 3*h + 15. Suppose 25 = 3*o + d. Suppose 6*