 9. Is 4 smaller than p?
False
Suppose -3*w - 2*q + q = -11, -5*w - 2*q = -17. Suppose b = -w*l + l + 16, -2*b = -4*l - 32. Is b less than or equal to 17?
True
Let w = 452 + -2263/5. Which is bigger: w or 1?
1
Let u(h) = 19*h - 26. Let x be u(2). Let k be x/(-4)*3/(-9)*1. Is 4/57 less than or equal to k?
True
Let d = -12.515 + 0.515. Which is greater: d or 0.8?
0.8
Let c be (-4)/14 - 2795/(-7). Which is smaller: c or 397?
397
Let f = 167 + -97. Suppose 0 = 4*s - 9*s - f. Do -16 and s have different values?
True
Let s = 1 + 0. Let r be (-88)/(-245) + (-20)/50. Let f = -23/49 - r. Is s >= f?
True
Let o(y) = -8*y + 23. Let r be o(-3). Is 47 greater than r?
False
Let d = 21 + 451. Are d and 471 non-equal?
True
Let x = 0.449 + 190.551. Which is bigger: -0.1 or x?
x
Let u be -3 + (-1 - 2)*-1. Suppose 0 = -3*w + 6, x + 3 = -u*w + 2*w. Are 3/22 and x equal?
False
Let t be 32 + 2*(-36)/8. Is 67/3 greater than t?
False
Suppose 3 = w - 5*h, 0 = -4*w - 9*h + 14*h - 3. Is 9/47 greater than or equal to w?
True
Let h be ((-9)/(-2))/((-5)/30). Let t = -36 + 8. Which is bigger: t or h?
h
Suppose -1 = l - 2. Suppose 2*n - 4*t - l = -9, -2*t + 4 = 4*n. Suppose 3*y + 0*y = n. Are 1/5 and y equal?
False
Suppose 3*a + 196 = -164. Let p be ((-3)/(-10))/(a/52825). Let b = 132 + p. Is 1 <= b?
False
Suppose 0 = -4*b - 3*b - 84. Let c be -3 + (-2)/(8/b). Is c at least -1/173?
True
Suppose 0 = -3*h - 15, 0*h - 21 = 2*b + h. Let a be (-5)/((-10)/b) - 1770/(-441). Which is greater: a or -1?
a
Suppose -j + s + 158 = 0, -4*s - 50 - 108 = -j. Is 1420/9 > j?
False
Let g be ((-363)/198)/((-9)/(-6) + -1). Are g and -1 equal?
False
Suppose 2*t - 48 + 12 = 0. Suppose -t*n + 24 = -16*n. Is n > -1?
True
Let g = 701 - 662. Is g greater than or equal to 41?
False
Suppose 3*d = -0*d + 4*v + 74, v = -4*d + 67. Let z be (-4)/d + -5 + 114/27. Which is smaller: 3 or z?
z
Let i = -854/9 + 95. Is i less than 0?
False
Let g = 93 - -70. Let r = g - 139.9. Let z = -23 + r. Is 1/4 bigger than z?
True
Let c be 27 - (-1 + 1 - 1). Let p be 57*(1 + (-16)/12). Let b = p + c. Which is bigger: b or 10?
10
Suppose -z + 2 - 4 = 0, -64 = -4*v + 2*z. Suppose 0 = -j - 3*q - 31, -2*j + j - v = -q. Let o = 20 + j. Is o < -1?
False
Let i = 0.41 + 18.59. Let r = i + -20. Let w = -9 - r. Which is smaller: 0.2 or w?
w
Suppose 2*u + 8*u = 40. Suppose -3*j - 3*a = -u*a + 74, -5*a = 5*j + 90. Which is smaller: -24 or j?
-24
Suppose 1 = -5*c + 4*w, 72*c - 74*c + 2 = -4*w. Let j = -39/11 - -101/44. Which is bigger: c or j?
c
Let o(l) = -24*l + 226. Let c be o(14). Is -107 at least c?
True
Let z(y) = 2*y**3 - 27*y**2 + 8*y + 75. Let i be z(13). Let q be -5*3*2/(-15). Suppose -x - 3*d - q = 2*d, -d = -4*x + 34. Are i and x nonequal?
True
Suppose -210 = -b + 326. Let z = 8036/15 - b. Which is bigger: -1 or z?
z
Let d = -87 - -145. Suppose -37 = 3*c - 4*j, -4*j = -5*c - j - d. Is -3/7 != c?
True
Let m be 0 + (-12)/4 - -24. Let g be ((-4)/6)/(-1)*m. Let y = 14 - g. Is y at most -2/11?
False
Let j(w) = 3*w + 10. Let a be j(-3). Let o be (-2 + 9/6)*-2. Let h be (o - 3 - a) + 1. Which is bigger: -3 or h?
h
Let a be ((18/(-10))/(3/(-30)))/(-1). Let s be (-1)/a*72/414. Is s less than or equal to 1?
True
Let f = 4 + -6.2. Let c = 1.2 + f. Let n = c - 2. Which is bigger: n or 0.2?
0.2
Let u(l) be the first derivative of 6 + 1/2*l**2 - 3*l. Let n be u(4). Which is bigger: 3/14 or n?
n
Suppose 0 = -j + 2*j - 1291. Let s = j - 16791/13. Which is greater: -2 or s?
s
Let s = 992 + -937. Is 58 not equal to s?
True
Let m = -769105/1632316 - -183/388. Which is smaller: m or 1?
m
Suppose 3*u = 5*l + 27, -l = 4*u + 4*l - 71. Let p be (0 - (-28)/2)*(-3)/(-3). Is p > u?
False
Suppose 15 = -x - 2*x. Let a = x - -3. Suppose -4*m - 6*s = 8, -4*m = -2*s + 12 - 4. Do m and a have different values?
False
Suppose -17*n = -13*n + 40. Let h be (-23)/(-5) - (-50)/n. Are h and -1 non-equal?
True
Let i(b) = 2*b**2 + 3*b + 3. Let o be i(-3). Suppose -42 = -5*s - o. Which is smaller: s or 3?
3
Suppose u + 1 = 0, -u = -3*y - 64 - 61. Let o = y - -38. Which is smaller: o or -13/3?
-13/3
Let r = -7031551/8840 + 119427/136. Let s = -413/5 + r. Which is smaller: 1 or s?
s
Let o be (-38)/10 + (8 - 9) + 4. Is -1/14 >= o?
True
Let p = 525 + -544. Is -17 equal to p?
False
Let c = -547/44 - -53/4. Is c < 1?
True
Let g = -479 + 494. Which is greater: 286/19 or g?
286/19
Let i = -163 - -163. Which is smaller: i or -3/14?
-3/14
Let z = -64 + 86. Let o = -22 + z. Is 6/7 less than o?
False
Suppose -5*v + 3*v = 0. Suppose v = 8*h - 4*h. Which is smaller: 1/17 or h?
h
Let s(b) = -b**3 + 2*b**2 + 3*b. Let j be s(3). Let m be 18/5 + (0 - 8/(-20)). Let c be m/(-13)*3/2. Which is smaller: j or c?
c
Let z be (-198)/54 + (-5)/(-3). Which is bigger: z or -13/19?
-13/19
Let k = 8.77 + 0.23. Let s = 7.7 - k. Let b = s - -1.32. Is 2/5 less than or equal to b?
False
Let h = -2016 + 2010.43. Is h at least -1?
False
Let c be -88 - (3 - -3)/(-2). Are c and -86 non-equal?
True
Let v be -2 - (-300)/(-81)*(-492)/910. Is 0 < v?
True
Let c = -1571 - -1531. Is c at least -311/8?
False
Let d(i) = -11*i - 49. Let z be d(25). Which is smaller: -323 or z?
z
Let c be (-4)/14 + 2/(-14)*124. Let p = -13 - c. Which is greater: 6 or p?
6
Let v be (5 - 8) + 4 + -1. Do 1/50 and v have different values?
True
Let j = 2.5103 + -0.4193. Let t = -0.091 + j. Is t equal to -10/11?
False
Let t be -4 + (-12)/(-18)*-3. Let c be -4*(-6)/(-36)*t. Let y = 1/414 + 12413/2898. Is c < y?
True
Let i be (-2)/(-1)*(-67)/2. Let r = 37 + i. Let p be r/14 - 4/(-2). Which is smaller: -1 or p?
-1
Let u(z) = 3*z**2 - 11*z + 3. Let l be u(3). Is l greater than or equal to -75?
True
Let z be (-5)/(-15)*(-2)/13. Let j(t) = 5*t + 31. Let b be j(-6). Which is smaller: z or b?
z
Let z = -43 + 299/7. Let n(g) = 0 + 19 - g - 12. Let v be n(8). Is z <= v?
False
Let h(p) = -p - 10. Let a be h(-6). Let g be 4 + (148/(-18) - a). Which is greater: 1 or g?
1
Let p = -9 + 7.4. Let h = 0 - p. Let i = -0.6 + h. Which is smaller: -9 or i?
-9
Suppose 5*q - b = -43, -2*q + 3*b = 2*b + 16. Let m(c) = -7*c**2 - 2. Let d be m(-1). Is q >= d?
True
Let o = -1158 + 1163. Let u be 6 + -3 + 1 + -1. Suppose -o*t = -8*t - u. Which is smaller: 2/5 or t?
t
Let w = 27 + -15. Let z = -11.821 + 0.021. Let t = w + z. Is 2 greater than t?
True
Suppose -2*r = 2*r - 20. Suppose 8*q = r*q + 9. Suppose 2*g - g = 2*t - 9, -4*g - 11 = -q*t. Is g smaller than 1/11?
False
Let l = 0.361 + 34.439. Let k = -35 + l. Let q = -2 - -2. Which is smaller: k or q?
k
Let z = 582 - 1406. Is -825 at least as big as z?
False
Let b = 619 + -635. Let y = 682.06 + -666. Let h = b + y. Which is smaller: h or -1?
-1
Suppose -2*w - 2 = -0. Let k be ((-1)/5*2)/(2/(-10)). Let n(l) = -l**2 + l + 2. Let r be n(k). Do r and w have the same value?
False
Let v be 93 - 19/((-133)/(-28)). Is 3/2 bigger than v?
False
Let f = 8854 + -681768/77. Which is smaller: 0 or f?
f
Let j be (487 - 3 - 8) + 1. Which is greater: 476 or j?
j
Let s = 69 + -68. Let d = 4.93 + 0.07. Let w = d + s. Which is smaller: -2 or w?
-2
Let z = -313/12 + 135/4. Which is greater: z or 7?
z
Let b be 66/297 + (-202)/(-630). Is 1 != b?
True
Let v(s) be the first derivative of -s**3/3 + 10*s**2 + 8*s - 5. Let g be v(19). Let o = g + -28. Is 3/17 greater than o?
True
Suppose -c + 7 = 4. Let d be (-7)/14 + (-54)/4. Let k = 18 + d. Which is greater: c or k?
k
Let p = -271 - -227. Which is smaller: p or 0?
p
Suppose 0 = -9*x + 6*x + 3. Suppose 2*s = 2*f - 0*s + 6, 5*f + 5*s + 65 = 0. Let r be (-10)/f + 3/(-12). Are x and r equal?
True
Let q be (2/7)/((-3)/(-7)). Let j = 33 - 84. Let w be ((-44)/(-6))/((-34)/j). Is q not equal to w?
True
Let i be (49/(-294))/((-58)/10). Which is greater: i or 1?
1
Let u = 1254.5 - 1253. Which is smaller: -19 or u?
-19
Let a be (-16)/(-6) + 2/(-3). Let s(g) = 4*g**2 - 4*g**2 + 4*g - 12 + 2*g**2 + 6. Let h be s(-3). Is a at most h?
False
Let v be 98/36*(-6 + -22). Let u = 76 + v. Let c = 53.3 + -53. Which is greater: u or c?
c
Let z = -4.24 + 1.24. Let t = -2 - -1. Which is bigger: z or t?
t
Let f = 5 - 1. Suppose 5*n - 30 = -5*r, -7 = 3*n - f*n - 2*r. Let l be (4 - (-14)/(-5))*n. Is 7 not equal to l?
True
Let i(y) = 3*y**2 - 18*y + 4. Let x be i(7). Suppose -3*z - 16 = 2*v, -5*z = 3*v - 0*z + x. Is 