10). Which is greater: p or q?
q
Suppose 4*v = 4*f + 36, 5*f = v - 18 - 7. Do v and -11.5 have the same value?
False
Let o = 40.778 - 41.3. Let q = o + 0.582. Is q at most as big as -32?
False
Let v be (-2)/10 + (-4392)/(-360). Suppose 3*w = -3*i + 6, -i + 7 = 14*w - v*w. Which is greater: i or 0?
0
Let i = 22439 + -22572. Is -0.04 greater than or equal to i?
True
Let f be (164 - 37) + 1/(-2 + 1). Suppose -f = -12*a - 42. Is a less than or equal to 24?
True
Let x = -3641 - -1922449/528. Let a = x + -9517/6864. Is -1 smaller than a?
False
Let j be (-1199)/638*1 + 3 + 5 + -11. Is j bigger than -4?
False
Suppose 0 = 2*r - 4 - 0. Let a be (r + 48/(-20))*3588580/(-322956). Let j = -2/8971 + a. Which is smaller: j or 4?
4
Let m be (-16)/3*(-12)/8. Suppose -q = -5*z + q - m, 4 = -5*z + q. Let y be (9 - 15) + 3 + z. Which is bigger: y or -5/3?
-5/3
Let b = -179 + 557. Let u = b + -401. Which is smaller: 1/3 or u?
u
Let i = -40152 - -562165/14. Is i >= -1/5?
True
Let u = 36 + -34. Suppose 4*b = -4, 0*k - 2*k - u*b = -6. Suppose m + 40 = k*i, 12 + 63 = -2*m + 3*i. Is m bigger than -36?
False
Let i be 71/(1 - 78/81). Let q be (-7)/28 - i/12. Let w be 48/q*(-4)/6. Which is bigger: 1 or w?
1
Let w(f) = -f**2 + 25*f - 41. Let g be -1*(1 - 120/5). Let v be w(g). Is v greater than 5?
False
Suppose 4*f - 140 = 3*y + 41, 57 = -y + 3*f. Let w = -38 - y. Let b = 6 - w. Is b less than -21?
False
Let h = -547625/9 - -60847. Let q = 15 + -12.2. Do h and q have the same value?
False
Let w be (-4)/1 - (-97050)/130. Let b = 795 + -1537. Let n = w + b. Which is bigger: 0 or n?
n
Let z be -1 + (0 - (-40124)/(-114)). Let m = z + 353. Suppose -2*b + n = 6, 3*n = 5*b + 54 - 35. Which is greater: b or m?
b
Let o be (-10)/(-40) + (0 - (-18)/(-8)). Let n be 3/(68/255 - o/6). Let l(y) = 2*y**2 - 4*y - 2. Let q be l(n). Is q at most as big as 28?
True
Let y = -2454 - -26886/11. Let g = 106/11 + y. Let h = -13522 + 13515. Is h greater than g?
False
Let o(n) = 4*n**2 - 15*n - 28. Let j be o(-13). Suppose -765 = j*b - 848*b. Is 153 > b?
False
Let w be (2/51)/(117/13689). Is w at most 4?
False
Let v = 3150 - 422103/134. Let a be (6/(-4))/(-3)*0/(-15). Which is smaller: v or a?
v
Suppose 4*y + 24 = 0, 5*y - 20145 = -8*h + 13*h. Is 2/5 greater than or equal to h?
True
Let p be (940/282)/((-2)/9 - (-172)/801). Which is smaller: -446 or p?
-446
Suppose -647*v - 12 = -653*v. Suppose 14*l = 16*l, -v*t + 10 = l. Suppose -3*d + 1 = -5. Which is greater: t or d?
t
Let j(a) = 3*a**2 + 6*a - 18. Let i(v) = v**2 + v - 4. Let s(p) = -9*i(p) + 2*j(p). Let n be s(0). Let h = 0.2 - 5.2. Which is bigger: n or h?
n
Let s(u) = -u**3 - u**2 + 4*u + 3. Let m be s(-2). Suppose 4*x - 8 = -0*x - 4*r, -2*r + 10 = 3*x. Suppose n + x = 5. Is m at most n?
True
Let h = 22.3 - 18. Let u = h + -2.2. Let w = -2 + u. Is -1 <= w?
True
Let z(k) = k**2 - 13*k - 4. Let c be z(17). Suppose 125*r = 121*r + c. Which is smaller: r or 12?
12
Suppose 53*w - 369 - 214 = 0. Is -42 greater than w?
False
Let c = -4967 + 5254. Which is smaller: 293 or c?
c
Let z(h) be the second derivative of h**3/2 + 8*h**2 - 13*h. Let r be z(-4). Suppose j = -j + r*j. Which is smaller: j or 7?
j
Let x = -11.8 - -9.74. Let w = 1.96 + x. Is -110 at most w?
True
Let d = -4688 - -4688. Is d <= -110.6?
False
Let b = 585/14 + -303/7. Do 14 and b have different values?
True
Let d(s) = -s**2 - 24*s + 124. Let q be d(-28). Let k be ((-128)/(-320))/(q/10). Are k and 16 unequal?
True
Let v(h) = -13*h**2 + 23*h + 4. Let o be v(2). Is o bigger than 1378?
False
Suppose 37*w + 41*w = 79*w + 36. Suppose -4*c - 64 = -l, 5*l - 338 = 4*c - 2*c. Suppose -2*i - l = -0*i. Is i at most w?
False
Let c(q) = -q**2 + 8 + 3*q**2 + 5*q + 4*q + 0*q. Let y be c(-1). Which is smaller: 2/739 or y?
2/739
Let r = -30.4 + 30. Let h = 4313/28 + -154. Let y = h - -13/28. Are r and y non-equal?
True
Suppose -25*u + 300 = -21*u. Let w = u + -1574/21. Let v = 5 - 4. Which is smaller: v or w?
w
Let x = 11 - 18. Let j = 23195/208998 - -3/23222. Is j bigger than x?
True
Suppose -24*u = -2493 - 3387. Let p = u - 244. Let r = 0.04 - -0.05. Is p at most r?
False
Let x be ((-117)/6*26)/(15/(-25)). Do -0.2 and x have the same value?
False
Let y = -4554.9 - -4555. Which is bigger: y or -1571?
y
Let u be (16/(-32))/(17/(-17)). Which is smaller: 16/509 or u?
16/509
Let o = -1.9 - -1.9132. Let x = -35.0132 + o. Let f = 6 + -6.2. Is x bigger than f?
False
Let x be (-10*30)/(9/(-2)). Suppose -h + 2*z = -4*h + 206, -2*z + 338 = 5*h. Let o = x - h. Which is smaller: o or 0.07?
0.07
Let k = -8536 + 8112. Are k and -424 equal?
True
Let g(s) = -2*s - 9. Let b be g(-5). Let p = -10 + b. Suppose 447 - 455 = d. Which is bigger: p or d?
d
Let d be 100/2 + (-1)/(1/4). Let z = 84 - d. Let s = 37 - z. Is s smaller than 2?
True
Let t be 5/2 - (-10)/((-480)/108). Suppose 4*b - 69 + 29 = 0. Let c be (-6)/(-4) - (-575)/b. Which is bigger: t or c?
c
Let w be 343/(-34300)*(1 + 581/3). Which is smaller: -1 or w?
w
Let p be -21*26/91 + (1938/386 - -1). Is 2 at most as big as p?
False
Let w = 241 - 237. Let l be (9/(-12))/((-6)/w). Is 11 >= l?
True
Let p = 1035 - 1035. Let n = -7 + 7.75. Which is smaller: p or n?
p
Let k(p) = -7*p + 19*p + 47 - 5*p. Let h be k(-3). Which is smaller: 25 or h?
25
Suppose 0 = -9*g + 31*g - 90552. Let u = -1452946/353 + g. Do 0 and u have the same value?
False
Suppose -26*c = m - 28*c - 44, 0 = -3*c - 27. Let i(u) = u**3 + 7*u**2 - u - 7. Let n be i(-7). Let v = n + 27. Which is greater: m or v?
v
Suppose -20 + 6 = -7*n. Let a(f) = 2*f**3 + 18*f**n - 17*f - 3*f**3 - 6*f**2 + 29 + 4*f**2. Let p be a(15). Which is greater: p or -3/41?
-3/41
Let z = 1310 - 1312. Is -0.884 at least as big as z?
True
Let a be (-428)/(-14) + 202/14 + -45 + 31. Let d(b) = -16*b - 2. Let k be d(-2). Are k and a equal?
False
Let s(l) = 6*l**2 - 255*l - 271. Let g be s(49). Is 6555/4 bigger than g?
False
Let b(c) = c + 3. Let d be b(2). Suppose 3*x - 8 = d*x. Let y be ((-16)/(-24))/(x/3). Is y at most 17?
True
Let j = 327.97 + -328.27. Which is bigger: 1266 or j?
1266
Let v be 42673/(-15) - (-72)/27. Let t = 2833 + v. Is -9 <= t?
False
Suppose -24*n - 24 = -32*n. Suppose -58 = 3*m + 4*z, m + n*m = -z - 60. Are -17 and m non-equal?
True
Let k be 4 + 9516/(-30) - 2/(-10). Let a = 282 + k. Suppose -i = i + 4*w + 76, 3*w = 4*i + 108. Which is greater: i or a?
i
Let c be (-1098)/315*80 + (-2)/14. Are -265 and c equal?
False
Suppose -3*g + 26 = -19. Let r(s) = -s**3 + 15*s**2 - 4*s + 6. Let x be r(g). Let o be (72/x)/(28/6). Are o and 17 equal?
False
Suppose -5*l + 4*b + 173 = 0, -15*b = 2*l - 10*b - 56. Suppose 2*y = y + 98. Suppose -2*o = o - 4*q - y, 4*o - 137 = -q. Is l <= o?
True
Let s = 280.82 + -308.4. Let n = -2.58 - s. Do n and 3/4 have the same value?
False
Let t = -116 - -102. Let o be 21/t*12/150. Suppose 5*p - p - 4 = 0. Are o and p non-equal?
True
Let o = -31 + 51. Suppose o*k - 18*k + 180 = 0. Let u be (6/(-8))/(27/k). Is 4 at most u?
False
Suppose -4*z - 4*f + 845 = -15, 3*f - 211 = -z. Suppose -17*n - 106 = z. Which is greater: -91/5 or n?
-91/5
Let q = -342 + 228. Suppose 54404 = 40399*j - 40868*j. Which is smaller: q or j?
j
Let g(j) = j**3 - 10*j**2 + 7*j + 6. Let k be g(9). Let b be k/(-2)*(4 + (-42)/18). Let r(c) = -c**2 + 9*c - 11. Let h be r(5). Which is bigger: h or b?
b
Let o be (-2954)/(-8898) - ((-4)/(-3) - 1). Which is smaller: o or 1?
o
Suppose -858 = -4*q - 2*q. Let b = q - 75. Suppose 40 = -4*p + b. Which is smaller: p or 5?
5
Let q be 528/(-20) - (-8 + 5 + -1). Let s = q + 1724/85. Is -1 at most s?
False
Suppose 2*j = -5*h - 12, -11*h + 8*h - j = 8. Let u be -1*(7 + -7 - (-37)/10). Which is smaller: h or u?
h
Suppose 3*o + 3*g = -o - 279, -60 = o + 4*g. Which is smaller: o or -74?
-74
Let o be (1 + (0 - (-1234)/(-4)))*(-86660)/15475. Which is smaller: o or 1718?
1718
Suppose -16*a = 29 + 227. Let r be a/72 + 8/36. Are 2/181 and r unequal?
True
Let m = 8.537 - 8.237. Let k = 0.22 - 0.59. Let n = k - -0.07. Are n and m non-equal?
True
Let n = 891/67 + -3413287/256677. Is -1 smaller than n?
True
Let w = -0.401 + 0.001. Let a = 10.42 + -0.42. Is w at most as big as a?
True
Suppose -3*g + 782 = 302. Suppose 4*q - 10*h - 142 = -13*h, 5*q = 5*h + g. Which is greater: q or 168/5?
q
Suppose 2*