 6. Which is greater: p or s?
p
Let x be -2669 - 4/((-24)/30). Let d = x - -24004/9. Is d greater than or equal to 4?
False
Let g be 7/((-14)/(-2))*(-2 - -2). Is 7/32 < g?
False
Suppose 17*z - 14*z + 3 = 0. Which is bigger: 0.183 or z?
0.183
Let w be -6 + 0 + (247 - 4). Which is smaller: w or 238?
w
Suppose 260 = -16*b + 21*b. Which is smaller: 50 or b?
50
Let i be (-32283)/12*(-370)/45. Let r = i - 22022. Let b = r + -97. Do 0 and b have the same value?
False
Suppose -w + 13*q - 19 = 10*q, 0 = -4*w - q - 141. Is w bigger than -34?
False
Let x be 14/(-4)*24/(-21). Suppose 14 = -x*s - 10. Let b be (-82)/s - (-2)/(-3). Do b and 13 have the same value?
True
Suppose 3*k - 2*k + 2*y = 9, -2*k - 2*y + 14 = 0. Suppose r = -k - 3. Let a = 10 + r. Which is greater: a or 4?
4
Let i(d) = -3*d. Let l(s) = -13*s. Let q(g) = 9*i(g) - 2*l(g). Let j be q(-7). Suppose 3*a = 19 - j. Is 4 <= a?
True
Let a be (287/(-105) - -3)*6/124. Which is smaller: 1 or a?
a
Suppose -6 + 12 = i. Which is bigger: 31/6 or i?
i
Let p be 12*4/12*13. Suppose 4*f + 6*z + p = z, -z = 0. Let b(x) = -x**2 - x - 13. Let j be b(0). Is j less than or equal to f?
True
Let v = -242 - -242. Which is greater: v or 69?
69
Let g = 64 - 517. Which is bigger: -454 or g?
g
Let d be (17 - 14) + 2 + 0. Let u(b) = -2*b - 1. Let s be u(-4). Suppose -s*t + d*t = 6. Is t bigger than -1?
False
Suppose 9*g - 46 = 44. Suppose 6*d + 4*d = -g. Let u = -131/2 + 64. Is d greater than u?
True
Let j be 1173/782 + (-19)/26. Let r be 0*(1 + -3 - -1). Which is greater: j or r?
j
Let m(p) be the third derivative of 5*p**4/12 + 29*p**3/3 - 6*p**2. Let s be m(-6). Which is smaller: 13 or s?
s
Let d = -20858724 + 3566828410/171. Let f = 652/57 + d. Let j = -67 - f. Is j less than or equal to -1?
False
Let f = -439 + 452. Is 17 < f?
False
Suppose 0 = 4*q - 9*q + 75. Suppose 4*z = -d + q, 7*d = 2*d + 3*z + 29. Let w = -5 - -9. Is d less than w?
False
Suppose 38*f = 36*f - 8. Let m be 2*(f/(-6) + (-2)/12). Which is smaller: -0.38 or m?
-0.38
Suppose 843 = -r + 2*r - 3*h, r = -h + 839. Let m be (-327)/r + 2/4. Let z = 7/40 + m. Are z and -1 non-equal?
True
Suppose 30*q + 23 = 7*q. Which is smaller: q or -1/915?
q
Suppose -74*n = -82*n + 104. Suppose 21 = b + 7. Which is smaller: n or b?
n
Let z = 34 + -33. Let f be (4/26)/(z/(-2)). Is -2/5 at most as big as f?
True
Let f = -61.87 - 0.13. Let m = f - -60. Are m and -0.1 nonequal?
True
Let t = -1/8 - 11/40. Let g = -13768 - -41710/3. Let i = 134 - g. Is i < t?
True
Let g be (4 + -6)*126/(-49). Is 4 < g?
True
Suppose 5*p = 2*x + 173, 3*p + 0*p - 108 = -3*x. Suppose 0 = -32*y + p*y - 3. Which is smaller: y or 20?
y
Let f = 5778 + -17089/3. Let w be ((-6310)/(-39))/(-2) - 1. Let v = w + f. Which is smaller: v or 0?
v
Let y = 1.95 - 0.892. Let i = y - 0.058. Is 0.4 at least i?
False
Let y(g) = -g**2 - 3*g + 4. Let d be y(2). Let n be 15*4/d + -1. Which is greater: -10 or n?
-10
Suppose -2 = -2*t - y - 3*y, 4*t = -4*y - 4. Suppose m + 3*w - 8 = 0, 31*m = 35*m - w - 6. Is m equal to t?
False
Let t = -452 - 340. Let v be 12/(-66) - 122/t. Is 0.1 at most v?
False
Suppose 0 = w + 2*l - 5*l + 80, -l - 5 = 0. Is -94 less than w?
False
Suppose 4*s - 2 = q - 2*q, 4*q - 8 = 5*s. Which is smaller: s or 18/29?
s
Suppose -2*m = -6*m. Suppose 6*b - 5*b = m. Let y be 3 + 1/35*-107. Which is smaller: y or b?
y
Let q be (1*-1 - 0)/(-2). Let j be -4*((-114)/(-572) + (-14)/91). Which is smaller: q or j?
j
Suppose 6*t - 9*t - 3 = 0. Let l be -4 + (-2)/(-2) + 3. Which is smaller: t or l?
t
Suppose -3*o = y + 14, -3*y - 2*y - 5*o = 40. Let a(b) = -b**3 - 4*b**2 + 3*b - 5. Let m be a(y). Let f be (-16)/(-40) - 2/m. Which is smaller: f or 1/20?
f
Suppose -104 = -8*b + 3*b + 4*d, 105 = 5*b - 5*d. Suppose -q + b = 4*k, -3*k + q = -4*q + 8. Suppose -4 = 4*p, -2*p + 5 = -k*g - 3*p. Is -1 >= g?
True
Let n be (0 - (-19)/(-2))/(1/8). Let g = 76 + n. Let h be 40/6*2/16. Is g < h?
True
Let g be -1 - -1*1276/1268. Which is greater: 0 or g?
g
Let v = 0.069 - -1.931. Is -30 < v?
True
Let m(t) = -4*t**2 + 2*t + 15. Let b be m(-5). Let o = b - -147. Is o <= 51?
False
Let m = -61 + 61.22. Let x = -2.78 - m. Which is smaller: x or -0.3?
x
Suppose -3*v = 3*l - 20 + 8, 8 = -3*l + v. Which is smaller: -15/119 or l?
l
Suppose 39*t - 37*t + 58 = 0. Let f = t + 21. Which is bigger: -2 or f?
-2
Let n(h) = -2*h**2 + 3*h + 4. Let p(l) = -l**2 + 3*l + 3. Let g(b) = -2*n(b) + 3*p(b). Let z be g(-4). Is z at most 5?
True
Suppose c + 4*z - 246 = -4*c, c - 2*z - 38 = 0. Suppose 0 = 4*a - c + 50. Is a >= -1/2?
False
Let d = 5 + 8. Let n = 536 + -523. Do n and d have the same value?
True
Let i = -60 + 45. Are -12 and i unequal?
True
Let z = -438 + 441. Which is greater: z or 76/27?
z
Let k(r) = -r**3 + 9*r**2 - 9*r + 7. Let g be k(8). Let i = 62 + -62. Suppose -5*l + 5*b - 15 + i = 0, 4*b + 4 = -4*l. Is l less than or equal to g?
True
Let v be (0 - 10)*(-2)/4. Let g be -2*(2 - 0/(-3) - 0). Let y = v + g. Which is smaller: 14/9 or y?
y
Let o(k) = -k**2 - 4*k - 1. Let c be o(-5). Let p(d) = -d**3 - 5*d**2 + 4*d - 6. Let f be p(c). Let m be 3/f*2*0. Do m and 6/5 have different values?
True
Let x be 1/(891/3576) + -4. Is -1 at most as big as x?
True
Suppose -j = j. Let v be 1/(4 + -1) + j. Let l = 55 - 56. Which is smaller: v or l?
l
Let a(x) = x**2 + 3*x + 3. Suppose -d = -2*d + 9. Suppose 4*r = -d + 1. Let w be a(r). Which is smaller: 5/2 or w?
w
Let f = 457 - 511.2. Let n = -55 - f. Which is greater: n or 4?
4
Suppose -3*f + 9 = q, 2*q - 4*f + 18 - 26 = 0. Which is bigger: 7 or q?
7
Let q(n) = -n**2 - 2*n + 6. Let d be q(-5). Let s = d + 13. Suppose -s = 5*j - 3*b, 2*b + 8 = -2*j - 0*b. Is j != -0.1?
True
Let o be (5/12)/((-7685)/424). Suppose b = q - 4, q - 12 = -0*q + 3*b. Which is bigger: q or o?
q
Let k = -139/70 + 2. Let g be 0 - ((-4879)/(-490))/(-17). Let r = g - k. Is r smaller than 2?
True
Let u be 18819/(-31455) - (-6)/10. Do u and 1 have different values?
True
Let t be (-4)/88*504/(-27). Which is greater: 0 or t?
t
Let x be (-5)/10*(-861)/17. Let c = x - 57881/2142. Let j = c + 14/9. Is 1 greater than or equal to j?
True
Let z(v) = 5 - 5 + 5*v - 11. Let c be z(7). Is 1 greater than c?
False
Suppose 22 = -c + r - 40, 3*c + 165 = -4*r. Do -61 and c have the same value?
False
Let s(f) = -4*f**3 + 20*f**2 + 3*f + 6. Let i be s(5). Is 19 equal to i?
False
Let l be 4/3 + (-356)/168. Is -1 at most l?
True
Suppose -3*q - q + 1093 = -3*b, 0 = 2*q + 5*b - 553. Let t be q/(-48) + 12/9 - -4. Is 0 less than t?
False
Let x = 180 + -97. Which is greater: x or 82?
x
Let k = -143.92 + 144. Do -10 and k have the same value?
False
Let c(y) = 36*y**2 - 29*y - 120. Let l be c(-5). Do l and 925 have the same value?
True
Let o(b) = -b - 1. Let p(g) = -g + 8. Let k(z) = 3*z - 15. Let i(r) = 3*k(r) + 5*p(r). Let s(c) = i(c) + 2*o(c). Let l be s(5). Is 3 less than l?
False
Let f = 147 - 81. Let c be (2 + 5/(-1))/(f/(-4)). Is -1 > c?
False
Let b(n) = n**3 - n**2 + 4. Let s be b(-2). Let u = s + 12. Which is smaller: 5/2 or u?
5/2
Suppose 0 = 5*m + 2*f - 16 - 5, f + 3 = 2*m. Let h = -166 - -661/4. Are h and m equal?
False
Let j be (-15)/(-5) + -8 - 129/(-51). Is j less than or equal to -3?
False
Let s = 12 + -20. Let b be (1/20)/((-5)/s). Let c be (-56)/(-588) - (-19)/21. Is b at most c?
True
Suppose 0 = 4*z - 37 - 35. Let l be (z/15)/((-2)/10). Let k = 7 + l. Is k smaller than -4/13?
False
Suppose i - 5*q = -10, -5*q + 40 = 5*i - 3*i. Suppose 0*u + i = -5*u. Let z be -10*4/(-16) + u. Is z bigger than 2?
False
Let v be (3/(-2))/((-133)/14 - -8). Which is smaller: -1/51 or v?
-1/51
Let a = -2.3 - -19.3. Let o = -7 + a. Let z = o - 10.1. Which is bigger: 2 or z?
2
Let k(a) = -a**3 + 6*a**2 + 7*a + 1. Let n be k(7). Suppose w = -0*w - n. Suppose 10 = -9*c + 4*c. Is c greater than w?
False
Let n be (63/459*-3)/1. Which is bigger: n or 1?
1
Let w be 3*((-2 - -2) + -1). Suppose 14*t = 10 + 4. Let x be (2 + t)*1/w. Does -2/11 = x?
False
Let c(n) = -3*n - 4. Let l be c(-3). Suppose -5*q - 10 = -5*s, -l*s + q + 2*q + 2 = 0. Let r be (-6)/((-8)/16*-14). Is r less than s?
False
Let s be 1/2*1*0. Let y be 222/(-1221) - (-53)/(-132). Which is greater: y or s?
s
Let r be 6/15 - (-204)/15. Let p be 485/(-35) + (-2)/r. Let h = p - -24. Is h at most as big as 9?
