5570. Is -1066 at least p?
True
Let c = 184 - 200. Let z = -15.9 - c. Which is smaller: z or -170/7?
-170/7
Let a = 92 + -86. Let q = a - 6.6. Let w = q + 3.6. Which is greater: w or -23?
w
Let q = -220/3 - -34546/471. Let y = -1765/2983 + q. Which is greater: -2 or y?
y
Let w = 211 + -395. Let j = w - -183. Is 4/15 at least j?
True
Suppose -3*x + 4*x + 10 = 3*w, -3*w = x - 8. Let f be (3/(-66))/(x + (-9)/(-6)). Let n = f + -31/22. Is -1 not equal to n?
True
Let s(o) = -44 - 10 - 21*o - 54. Let z be s(-16). Which is smaller: 227 or z?
227
Let x be (-3 + 2 + -1)*460/84. Let m = 53/25 + 1429/175. Let l = x + m. Is l at least -0.1?
False
Let c = -66 - -59. Let b = 5 - c. Let u = 46 + -36. Which is bigger: u or b?
b
Let y(k) = 3*k + 5*k**2 - 8 + 4 + 16*k**2. Let p be y(1). Suppose p = -6*b - 10. Is b at most as big as -11?
False
Let w = -31546 + 31584. Is 966/25 at least w?
True
Let r = 59073/8 - 7384. Is r <= 52.1?
True
Suppose d - 7*l + 326 = -5*l, -3*l = d + 306. Which is smaller: -329 or d?
-329
Let z = -75901 - -16470553/217. Is z bigger than 1?
False
Suppose -4*l + 109 = 2*d + 463, 2*d + 389 = 3*l. Which is smaller: -184 or d?
d
Let c = -45.7134 + -2.2866. Is c at most 34/5?
True
Suppose 20*i - 54 = -254. Let t be i/(-2) + 0 - -110. Let m = t - 127. Is -16 bigger than m?
False
Let h(y) = -30*y + 27. Let x be h(-1). Let u be ((-40)/x)/(-4) + 2/(-15). Which is smaller: -1 or u?
-1
Suppose -139 - 51 = -2*d. Let b = 96 - d. Let h = -1.4 + 1.34. Which is bigger: b or h?
b
Let j = 1 + -1.1. Suppose 0 = 353*k - 322*k - 2573. Is j > k?
False
Suppose -2*p = -g - 1278, -22*g + 17*g - 1262 = -2*p. Is -7/6 smaller than p?
True
Let i be (3 - 0) + (4848/(-78))/8. Which is greater: i or -6?
i
Let h = -40288.38 - -39632. Let i = h + 662. Let p = i - 6. Which is bigger: 1 or p?
1
Let i(k) = 78*k**3 + 4*k**2 - 2*k. Suppose 5*m + 12 = -3*b, b - 3*m = -b + 11. Let l be i(b). Is 80 > l?
False
Suppose -159 = x - 1426. Let k be x/5084 - 2/8. Is k at most as big as 1?
True
Suppose 0 = -h + 746 - 68. Suppose -538 = 19*c + h. Are c and -64 equal?
True
Let b = -6443 - -212770/33. Let j = 98/11 - b. Let o = -263 - -263.1. Which is bigger: o or j?
j
Let b be 16/(-6)*(165/44)/5. Which is smaller: -25/8 or b?
-25/8
Let y = 27 + -37. Let k = 10.36 + y. Let b = -0.36 + k. Which is smaller: b or -0.1?
-0.1
Let o = 1.237 - -0.333. Let q = o - 1.4. Which is smaller: 1 or q?
q
Let y be 0 - (474/(-52))/(9/(-2)). Which is greater: y or -2?
-2
Let a = -99 - -99. Let r = a + 0. Let t = 2533/7 - 361. Do t and r have different values?
True
Let s(o) = -2*o**3 - 11*o**2 + 40*o + 59. Let a be s(3). Let i(w) = 2*w**2 + 2*w. Let l be i(-4). Is l at most a?
True
Let w = 0.388 - -0.042. Let o = 0.403 - w. Let p = o + 0.027. Is -2/3 not equal to p?
True
Let w(t) be the second derivative of t**2 + 1/3*t**3 + 0 + 15*t. Let q be w(-1). Is 1/7 at most as big as q?
False
Suppose -11 = -3*i - 92. Let k(s) = -s**3 - 28*s**2 - 27*s - 9. Let f be k(i). Which is smaller: -39/5 or f?
f
Let j(z) = -2*z**2 + 29*z + 842. Let x be j(29). Which is greater: -2/105 or x?
x
Suppose 2*x - 12 - 32 = j, x - 32 = 3*j. Let p be 12/((-1)/x*21/(-14)). Which is smaller: p or 162?
p
Let x = -3.156 - -6.156. Let t = 0.16 + -6.16. Does t = x?
False
Suppose 3*c + 15 = 0, -o - o = -5*c - 55. Suppose 2*w - o = -5*m + 3, 0 = -3*m + 2*w + 14. Suppose -m*x = -x + x. Is -51 equal to x?
False
Let y be 8/92*23 - (-2)/(-1). Let z = 114697/32388815 + 2/38789. Which is smaller: y or z?
y
Let m = 10043 - 10687. Which is greater: -641 or m?
-641
Let q be (-3 - ((-31808)/20 - -4)) + 4. Let l = 1605 - q. Is l at most as big as 18?
True
Suppose 22 = 2*x - w, x - 7*w + 3*w = 25. Suppose x*k + k = 130. Suppose -32 = -2*p - 2. Which is bigger: k or p?
p
Let i be 21/(-54)*(-32)/56. Let j = -22423/11 - -2039. Are j and i equal?
False
Let o be 2/((-21780)/(-5446) - 4)*1. Let p = o + 367607/135. Is p less than or equal to 1?
True
Suppose 4*y = n + 6731, 3*y + 3*n = -2*y + 8401. Let m be (y/(-116))/((-2)/60). Which is bigger: m or 436?
436
Let l = 25006 - 24998. Which is bigger: 616/67 or l?
616/67
Let b(p) be the second derivative of 5*p**4/12 + 4*p**3/3 + 13*p**2/2 + 11*p + 3. Let l be b(-2). Which is bigger: 2/5 or l?
l
Let h = -4 - -10/3. Let z = -64 - -61.3. Let u = 2.1 + z. Are u and h equal?
False
Let u = 170 + -196. Suppose 3*n - 3 = 2*n, 0 = -3*y + 4*n - 105. Does u = y?
False
Let p = 7410 + -7411. Are p and -619 equal?
False
Let a = 8249.45 - 8132. Which is bigger: 2 or a?
a
Let g be 1 - (0 + 1)*1. Let j be (6 - 2) + (-4914)/1229. Let d = j + -2532/45473. Which is smaller: d or g?
d
Let m = 58611/11 + -5327. Is 2 not equal to m?
True
Let f(w) = 14*w**2 + 14*w - 7. Let p be f(-5). Let h = 527 - 254. Is h greater than or equal to p?
True
Let v = 602 - 544. Suppose 6*a - 100 = -v. Is a at least as big as 27/4?
True
Suppose 5*s + 79*w - 367 = 75*w, 219 = 3*s + 3*w. Which is greater: s or 0.19?
s
Let o be (0 - 2) + 2 - 36. Let v = 148.79 + -150. Let c = v + 3.21. Is o less than c?
True
Let l(m) = -m**3 - 5*m**2 - 32*m - 227. Let u be l(-6). Is u at most as big as 74/191?
False
Let x(g) = -230*g + 248. Let d be x(4). Let r = d + 1177. Is 505 <= r?
True
Let b = 0.2921 + -4764.2921. Which is smaller: -3/4 or b?
b
Let y be -2*(-177)/54*-21. Let x be (-75)/50 - (-5420)/(-40). Which is smaller: y or x?
y
Let o = -38 + 40. Let h be -11 - -5 - 1*-3. Which is bigger: h or o?
o
Let v = -419/12 - -35. Suppose 10*l - 4*l = 6. Which is smaller: v or l?
v
Suppose 94*o = 65*o + 27086. Which is smaller: o or 933?
933
Suppose 0 = 165*n + 453*n. Which is smaller: n or 51/274?
n
Let d = 92 - 193. Suppose 124*c + 18*c + 43*c + 18870 = 0. Is d greater than c?
True
Let g be 1*(2 + -1774) - 16/((-144)/27). Is 4 > g?
True
Let t(q) = q**2 - 13*q + 30. Let d be t(24). Suppose -17*x = -31*x + d. Is x > 108/5?
False
Let q be -4 + 1 + 42/16. Let j = -874.4 - -874. Is j bigger than q?
False
Let x = -1.5 - 80.5. Let c = 82 + x. Let h(q) = -13*q - 12. Let u be h(-4). Which is greater: c or u?
u
Let r be (-113)/(2373/672) - (-2 + -30). Let i = -0.4 - -0.7. Let d = i + -0.31. Which is smaller: r or d?
d
Let a = 3241343/3755 + -27/3755. Let p = -863 + a. Which is bigger: p or 18?
18
Suppose 150 = 14*t - 340. Let a be 165/t + -5 - 0. Which is bigger: a or -236?
a
Let w be ((-9601766)/(-4392))/(-373) - (-2)/(8/3). Suppose 3*r - 42 = -3*m, 2 = 2*r - 2. Let q be (-1)/(4 + -2)*m. Is w greater than q?
True
Let s = 13.757 - 14. Let z = -1.243 - s. Is z at least as big as 6/11?
False
Let l = 0.11863 - -283.88137. Which is greater: l or -22?
l
Let a = 28 + -197. Let g = 168 + a. Let s(v) = -4*v**2 - 4*v. Let x be s(4). Is x < g?
True
Let z = 237.07 - 236.7755. Is z not equal to -1?
True
Let s be 0/((1/(-3))/(8/24)). Let w(a) = a**3 + 4*a**2 - 3*a - 6. Let f be w(-4). Let p be (-2)/(-42)*(-30)/f. Which is smaller: s or p?
p
Let s = 0.2391 - 0.0391. Let h be -5 - ((-65)/(-110)*-2 + -4). Is h at most as big as s?
True
Let n = 1059/2 + -337823/638. Let y = -27/638 + n. Let z = -0.551 - 0.449. Which is greater: z or y?
y
Let q = -33.112 - -4.442. Let j = -121 - -121.67. Let h = j + q. Which is smaller: h or 0?
h
Let j = -2.01 - -0.01. Let k be 193/(-1158) - (-2 + 22/12). Is k smaller than j?
False
Suppose -4*s = 2*r - 146, 0*r + 3*s - 207 = -3*r. Let v = r - 63. Suppose -4*k - v*x - 10 = 0, -2*k - 2*x - 15 = x. Is -3/7 at least k?
False
Let x(d) = 9*d - 55. Let h(c) = -3*c**2 + 26*c + 46. Let l be h(10). Let s be x(l). Is s bigger than -3/134?
False
Let f = -0.06 - 0.34. Let o(p) = -24*p + 12. Let m be o(0). Suppose -58*l + m = -60*l. Which is greater: l or f?
f
Let f = 1472382367/14752 + -99809. Is f less than or equal to 0?
True
Let b be (3610/(-6))/5 - 2/(-6). Let x = 124 + b. Is -14 less than or equal to x?
True
Suppose x + x = 4602. Let v be (x/51 - 4/34) + -3. Let r(l) = 42*l**2 + l. Let j be r(1). Is v >= j?
False
Suppose -1375 = -123*s + 118*s. Which is bigger: 276 or s?
276
Let q be ((-44)/8)/(3/18). Let h be (9/(-4))/(q/(-506)). Suppose -14*x = -11*x + t + 110, 114 = -3*x - 3*t. Do x and h have different values?
True
Let d = 0.11374 + -0.11934. Which is bigger: 4 or d?
4
Let p be 1/1 + 27/((-324)/(-120)). Let a(t) = -22*t - 78. Let i be a(-4). Which is greater: i or p?
p
Le