Is p at least -151?
False
Let a = 7 - 7.1. Let l be 4/(-8) + 5338/(-52). Let o = -103 - l. Which is greater: a or o?
o
Suppose 15*w - 52 = 2*w. Suppose -2*d - 3*m = -w*d - 59, -3*d = 5*m + 117. Which is bigger: -1 or d?
-1
Let n = -415/649 + 27/59. Is n < 135?
True
Let l be (-11)/(121/2695) + -13 + 7. Which is smaller: l or 1?
l
Let z = 50718/259 + -1370/7. Let o be (2/(-2) - 1) + (-8 - -11). Which is smaller: z or o?
z
Let m be 25/1185*(-18)/(-4)*(-16)/(-24). Which is smaller: m or -35?
-35
Suppose 3*x = -3*x + 1086. Let y = 347 - 166. Is x <= y?
True
Suppose -3*z + 62 = 4*n, -5*z + 2*n + 86 = -0*n. Let s be -6 + 8/z + 4. Which is bigger: s or -0.03?
-0.03
Suppose -3*f = 3*p - 6, 2*p + 0*p + 4*f - 4 = 0. Suppose -2*q + 14 = p*m, q - 4 = -1. Let v be 1/4 + -1 - 1/m. Which is greater: -11/9 or v?
v
Suppose 14*a + 115 = -119 + 220. Let o be (5 - 1)/(2/5). Let u be 4/o + (-336)/765. Which is smaller: u or a?
a
Let w = 6.02 + -6. Let c(y) = -7*y**3 + y - 30*y**2 - 1 + 14*y**2 + 13*y**2 + 7*y**2. Let z be c(1). Which is bigger: z or w?
w
Let h(v) = 1835*v + 2. Let f be h(2). Suppose 50*w - 38*w = f. Which is greater: -1/3 or w?
w
Suppose -2*c + 5*m = -23, -c = 4*m + 440 - 406. Which is smaller: -15 or c?
-15
Suppose u - 1 = 0, 0 = 3*r + 3*u + 114 + 180. Let b = r - -75. Let g be (-24 - b) + (1/6 - 0). Which is smaller: 2/11 or g?
g
Suppose 0*f = -2*c + 3*f + 10, -f - 10 = -4*c. Suppose c*h - 5*o - 1 = 25, -2 = o. Let a be h + -5 + 24/(-9). Which is bigger: 1 or a?
1
Suppose 4*t + 151 = -3*q, -3*t = -79*q + 81*q + 102. Is -26 at most as big as q?
False
Let i be -5*(1465/365 + (-7 - -3)). Which is greater: i or 3?
3
Suppose -4*a = -5*a - 18. Let q(b) = -21*b + 337. Let m be -1*(-441)/27 + 4/6. Let o be q(m). Is a < o?
False
Suppose 4*n = -110 + 438. Let y be (-2)/(-10) + (-1 - n/(-102)). Is y < -1?
False
Let a be 6/(22 - -8) + 4/(-160)*-142. Is 0 at most as big as a?
True
Let u(p) = p**2 + 5*p - 1. Let z be u(-5). Suppose -4*c + 52 = 4*v, -5*c + 22 = -v - 19. Are z and c nonequal?
True
Suppose 2*q - 34 = -l - 3*q, -68 = -2*l - 2*q. Let x = l - 47. Which is smaller: x or -15?
-15
Let w = 6.43 + 0.37. Let p = w + -7.59. Is p at least -1?
True
Let y be 3 - (1 - 0 - 5). Suppose -3*p = -y*p + 24. Let o = 0.3089 - -4.6911. Which is smaller: o or p?
o
Suppose -8328*a = -8324*a - 14332. Is a equal to 3585?
False
Let h = 0.72 + -116.72. Let j = h + 139. Suppose -2*p - 8 = -6. Which is greater: j or p?
j
Let g = 1195 - 2389/2. Does g = 3/67?
False
Suppose b = 3*u + 697 + 14220, 0 = 2*u + 2*b + 9950. Is -4973 greater than or equal to u?
True
Let c = 335 + -334.921. Let i = -25 + 77/3. Which is bigger: i or c?
i
Let u = 29991 + -29791. Which is smaller: -2/9 or u?
-2/9
Let u = 13422 + -13421.6. Let q = 2 + 0. Which is smaller: u or q?
u
Let m be (14/(-21) - (-3)/(-9))*1/551. Suppose 6*k + 0*k - k = 0. Which is smaller: k or m?
m
Let i be (9/3 + 51/(-15))*-5. Suppose 5*b - 2*w = 43, 3*b - i*w - 29 = -0*w. Let c(g) = -g**2 + 4*g + 12. Let q be c(5). Is q greater than or equal to b?
True
Let n be ((-957)/44*1)/(15/20). Suppose 18 = 4*i - 2. Let d(y) = -5*y - 3. Let k be d(i). Is n < k?
True
Suppose -256*q - 180*q + 1188720 = -256*q. Is 6605 at most q?
False
Let i = 14728/2061 - 8/229. Which is greater: 10 or i?
10
Let z(g) = -1044*g + 4935. Let v be z(8). Which is smaller: -1 or v?
v
Suppose -2*m + 4*w - 2 + 14 = 0, 2*w + 8 = 2*m. Let i be 30/(m*-1)*3/(-9). Is 12 less than i?
False
Suppose -2*y + 7 + 4 = -5*h, 5*h - 5*y + 5 = 0. Let t be (-11)/((-264)/16)*h. Is -0.093 at most as big as t?
False
Let t = -19.31 - -20.31. Are -0.05 and t equal?
False
Let r = -219 + 175. Let c be r + 5 + 4 + -5. Is -40 > c?
False
Let o = 10 + -4. Let n be 12*(6 - 42/8). Suppose -o*g = -n*g + 33. Is 11 smaller than g?
False
Let q be (-9)/24 - ((-44380)/16736)/7. Let r = q - 1601/8368. Which is greater: r or 5?
5
Let g = -1.454 + 17.874. Let k = -0.58 - g. Let q = 19 + k. Is q at most as big as -15?
False
Let a(t) = t**2 - 4*t - 3. Let v be a(-2). Suppose 3*h = -v*g + 5*g - 374, -g + 364 = -3*h. Is -124 less than or equal to h?
True
Let r(u) = -789*u - 59. Let z be r(9). Let t be (20/z)/(1/(-2)). Is t <= 0?
False
Let r = 27066 + -27066.1. Let q be -9*(-1 - 327/(-36)). Is q >= r?
False
Let t be ((-6)/16)/(6/3132). Which is smaller: -196 or t?
-196
Suppose 5*c - c = -1172. Let w = -302 - c. Which is greater: w or -10?
w
Let a = 8751 - 8752. Is a > -29/170?
False
Let i(y) = -20*y**2 + y - 64. Let x be i(-6). Are x and -790 non-equal?
False
Let s = 4459 + -5354. Is s at least -896?
True
Let d be 28072/(-3850) - 3/7. Let t = d + 54/7. Is t bigger than -1?
True
Suppose 33*i = -22*i - 1320. Let r(m) = 2*m**2 - 3*m + 2. Let a be r(3). Let w(z) = -z**3 + 10*z**2 + 9*z - 2. Let h be w(a). Is i less than h?
False
Let a = 275 + -799/3. Suppose -2*d - 5*b + 83 = 37, 4*d - 20 = 2*b. Which is smaller: a or d?
d
Let x(n) = -2*n + 32. Let g be x(-17). Let s be g/(-2)*(-2)/12. Let t = 1 + 5. Which is greater: t or s?
t
Suppose -37*n = w - 30*n + 1383, 1398 = -w - 2*n. Is w > -1402?
False
Let g = 636.35 - -13.65. Let a = -320 + g. Which is greater: -1 or a?
a
Let s be -349 + 3/(15/20). Let q = -351 - s. Let d be ((-5)/3)/((-2)/(-6)). Is q less than d?
True
Let j be 36/18711*1043 - 2. Which is bigger: j or 2/17?
2/17
Let a = -1718 + 1719. Which is greater: -1013 or a?
a
Let u = 26 + -28. Let w be ((-1)/u)/((-2)/(-108)). Let x = 187/7 - w. Is -0.015 at most as big as x?
False
Let i = 59 + -62. Let u be (-3)/60*(-16)/i. Is 0 less than or equal to u?
False
Let l(y) = 6*y - 90. Let i(q) = -q**3 - 13*q**2 - 21*q + 21. Let x be i(-11). Let o be l(x). Which is smaller: 0.2 or o?
o
Let u = 132 + -97. Suppose 3*z = 2*d - 0*z + u, -91 = 5*d - 4*z. Which is smaller: -11 or d?
d
Let i = -6415 + 102693/16. Is 4 >= i?
True
Let t = -491/115 - -66/23. Suppose -3*b - 20 = -5*h, 5*h - 2*h + 4*b - 12 = 0. Suppose 6 = -2*s + 3*r, -2*s + 4 = 4*r - h. Is t < s?
True
Let p = -115 + 268. Suppose 23*j + p = -77. Is j smaller than -60/7?
True
Let v be (-35470)/(-315)*(-2 + 2/4). Let z = -1068/7 - v. Let x(w) = -w**2 - w + 16. Let r be x(0). Which is smaller: r or z?
r
Let u be 8/12 - (-6)/45. Let t = -77 - -74.1. Which is greater: u or t?
u
Let l be (12/(-40))/(6/15). Let z = 1954.9 + -1955. Is z at most as big as l?
False
Let v be 1804 - (-2)/(-3)*-2*3. Is v < 1808?
False
Let i = 5 + -5. Let v be (13 + (-297)/22)*-10. Are i and v nonequal?
True
Let j = -119536/7 - -119894496/7021. Are -1 and j equal?
False
Let y = -22.11 - 348.89. Do 0 and y have the same value?
False
Suppose -144 + 48 = -4*l. Let x(h) = -1 - 3*h + 0*h - 24 - l. Let p be x(-9). Is -23 less than p?
True
Let z = -17851.1 + 17851. Is -3558/17 less than z?
True
Let m be 4/(-30)*(-111)/(-74)*385/21. Which is bigger: 0.03 or m?
0.03
Let r = 4398 - 4397. Is -1326 bigger than r?
False
Let m be (-2)/(-14) + (-2)/14. Let k = -131.4 - -131.12. Which is smaller: m or k?
k
Let d(h) = h**3 + 11*h**2 - 12*h + 3. Let v be d(-12). Suppose -v*x - 2*x = 0, 3*t + 2*x + 162 = 0. Is t less than or equal to -55?
False
Let t = -192 + 193. Let z be 916/(-230) - (t - 4 - 1). Which is bigger: z or 2?
2
Suppose -4*d + 17 = -5*w, 3*d + 11*w - 7*w - 5 = 0. Suppose 0 = d*l - 15*l + 2*l. Which is smaller: l or 2/395?
l
Let d = -1258 - -315. Let v = d - -942.8. Which is smaller: v or 89/6?
v
Let f = 247 + -263.1. Let w = -13.9 + f. Let y = 6 + w. Do y and -2/7 have different values?
True
Let u be 0/(-3)*(-3)/(-6). Suppose 4*v + 18 = 2*m, u = -2*v - 3*m - 2 - 3. Which is greater: v or -2/53?
-2/53
Let a be 5/(-6) - 4/(-2). Let g(h) be the third derivative of h**5/60 + 9*h**4/8 + 81*h**2. Let s be g(-27). Which is bigger: a or s?
a
Let i be ((-204)/(-10))/((-1)/(-5)). Let p = i + -86. Suppose -2*t = 5*a + p, 4*t + 4*a + 10 = t. Which is greater: 8/13 or t?
t
Let z(o) = -6*o**2 - 4*o + 34. Let s be z(-4). Which is greater: -870/19 or s?
-870/19
Suppose -5*c + 45 = 5*v, -c + 5*c - 5*v + 9 = 0. Let d = -44 - -32. Let g be 4/(-6) - -1*(-56)/d. Is g equal to c?
True
Let g(z) = z**2 + 29*z - 10. Let f be g(-10). Let y = f + 215. Do 17 and y have different values?
True
Suppose -2*m - 21 = -5*j, 0*m - 3*m - 3*j + 21 = 0. Suppose 0 = -2*w + 43 - 7. Suppose c - 6*c - i - 18 = 0, 0 = m*c - 5*i + w. Is c b