3. Is p less than or equal to -12934?
False
Suppose 64*y - 43*y = -294. Let f be ((-5)/2)/(y/(-12)). Is -3 bigger than f?
False
Let i = -4.1 + 3.7. Let v = 3.1 - i. Let t = -0.5 + v. Which is bigger: t or -2?
t
Let t = 7.6 + -8.1. Let m = 8.4 + -8. Let b = m + t. Is b less than or equal to -0.1?
True
Let v be 297/2772*(-10)/51645. Which is bigger: v or 1?
1
Suppose 71*y - 75*y - 2 = b, -4*y + 2*b = -4. Are -5/417 and y non-equal?
True
Let w(q) = -2*q + 73. Let n be w(30). Suppose -g + h + 9 = 0, g - 2*h = -0*h + n. Suppose g*p - 33 = -4*y, 0 = -y - 2*p - 2*p. Is 5 at least as big as y?
False
Let n(i) = 2*i**2 - 47*i + 110. Let p be n(21). Is -4/83 at least p?
False
Let t = 15175.9 + -15176. Which is smaller: t or -16/1023?
t
Let z be (-4)/(2 + 10/(-4)). Let g be (z/(-10))/(9/(-18)). Let t(x) = -x**2 + 6*x - 4. Let s be t(5). Is g < s?
False
Let a be 2/3 + 32/6. Let m(j) = -5*j - j - j**3 - 91 - 115 - 5 - 36*j**2. Let b be m(-36). Which is smaller: b or a?
b
Let c be 728/(-10) - 21/(-175)*30/(-18). Which is smaller: c or -33?
c
Let o = 65/6 + -457/42. Let s = 238 + 35. Let a = 272 - s. Are a and o nonequal?
True
Suppose 0 = 3*p + 2*n - 5*n + 42, 2*p = -5*n - 21. Let g(b) = b**2 - 2*b - 7. Let y be g(5). Let m(v) = -v - 5. Let o be m(y). Is o < p?
False
Let d be ((-11884)/(-28) - 2)*4/(-52). Let h = 1/182 - d. Which is bigger: h or 33?
33
Suppose -2*a = -5*s + 8, -2*s - 2*a - 4 - 4 = 0. Suppose 354*o - 360*o - 24 = s. Is -26 <= o?
True
Let k(w) = -w**3 - 4*w**2 - 15*w - 26. Let m be k(-2). Which is smaller: m or 617?
m
Let r = 29 - 29.098. Let z = 1.298 + r. Which is smaller: -2/27 or z?
-2/27
Let f = 9466652573/261 - 36270750. Let k = -473/9 - f. Let x = k + 834/319. Which is smaller: -0.1 or x?
-0.1
Let k = -128 + 120.3. Let c = k - -11.6. Suppose -10*n - 2017 = -2027. Which is smaller: n or c?
n
Let y(z) = 3*z**3 + 15*z**2 - 53*z + 90. Let j be y(14). Which is greater: j or 10519?
j
Suppose -7*t - 18*t + 14356 = 169*t. Which is smaller: 12 or t?
12
Suppose -2*n + 3*f = -328, 45*f - 47*f - 330 = -2*n. Is 160 smaller than n?
True
Let p = -9942 + 10342.9. Let z = p + -401. Do z and -71 have the same value?
False
Suppose -28*z = 2389 + 13655. Which is smaller: z or -579?
-579
Let u = -204.5 - -140. Which is smaller: u or 4/5?
u
Let f = 6405 - 6376. Is f greater than or equal to 556/19?
False
Let o = -2458.55 + 2369. Which is bigger: 0.1 or o?
0.1
Let t = -7.373 + 2019.373. Which is bigger: -2 or t?
t
Let w = 16429 - 8863. Which is bigger: w or 7565?
w
Suppose 0 = 6*r - 4*r + 2. Let u be (-69)/1495*13*4/(-402). Is u smaller than r?
False
Suppose 3*q = -0*q - 18. Let b be (-6)/(-4)*495/(-5). Let o = b - -144. Is o >= q?
True
Suppose 2*p - 5*k = 1097, 5*k + 571 = -12*p + 13*p. Is 5770/11 less than p?
True
Let c = 58 + -52. Let l be c*2/(-6)*1. Let v be l/4 - (126/(-20) - -2). Which is bigger: v or 4?
4
Let o = -96 + -75. Let c be -3*(0 - o/(-30)). Let l = c + -35/2. Are -19 and l unequal?
True
Let y = -149 - -139. Let u be 38/y + 5 + -5 + 4. Let j = 286 + -3144/11. Which is smaller: u or j?
j
Let z = -15271 + 137609/9. Suppose -i - i = 4*n - 68, -3 = -n - 4*i. Is z at least n?
False
Let h(r) = -r**2 - 7*r + 38. Let j = 55 + -52. Suppose -1 - 32 = j*k. Let i be h(k). Is -31/5 less than or equal to i?
True
Let f be 3/(8535/(-30) + 7). Which is bigger: f or 0?
0
Let x(q) = 15*q + 1006. Let n be x(-67). Suppose k + 3*r = 80, -455 = -5*k + 3*r - 7*r. Let o = 2946/31 - k. Which is smaller: o or n?
o
Let b = -86.85 + -45.15. Which is greater: b or -13?
-13
Let v = -280 + 299. Let a be (-15 + v)*99/12. Which is smaller: a or 20?
20
Let l(f) be the second derivative of f**4/12 - 13*f**3/6 - 7*f**2 - 3*f. Let y be 4/((-16)/30)*(-1 + -1). Let d be l(y). Are 14 and d nonequal?
True
Let x be (2/(-7))/(5*(-11)/19250). Are x and 100 nonequal?
False
Let n = -398/7 + 33048/581. Let q(y) = -11*y**3 + 38*y**2 - 14*y - 2. Let a be q(3). Is a > n?
True
Suppose 5*g + 579 = -21*u + 25*u, 4*u = -4*g - 420. Is -110 <= g?
False
Let y be 30/(39 - 99) + 1037/(-2). Is -4661/9 >= y?
True
Suppose 0 = -5*t + 183 + 517. Let d = -139 + t. Is d not equal to 135?
True
Let l = 64.098 - 64.1. Which is bigger: l or -4?
l
Let t be (-18)/(-63)*14/(-4). Let a = -3004 + 892187/297. Is t > a?
False
Let f be (-84)/(-1470) - 538/(-385) - (1 + 1). Are -3.34 and f equal?
False
Let v(w) = 6*w**2 + w. Let f be v(-1). Let l(h) = -26*h - 699. Let a be l(-27). Suppose -f*m + 0*n + 13 = 4*n, a*n = -2*m + 8. Is m at least 3/19?
True
Let w(u) = 7*u**2 + 25*u - 110. Let f(r) = r**3 + 12*r**2 - 11*r + 31. Let j be f(-13). Let l be w(j). Which is bigger: 2/5 or l?
l
Suppose 0*o = -o + 2. Let n(r) = 57*r + 11. Let j be n(0). Let d be j/12 + 2 + 42/(-24). Which is bigger: d or o?
o
Let y(q) = 5*q - 6 - 560*q**3 + 6*q**2 + 561*q**3 + q**2 + 1. Let c be y(-6). Is c greater than 7/52?
True
Let p be (1 - 0) + (11 - 6/3). Let z(w) = w**3 - 8*w**2 - 23*w + 33. Let k be z(p). Are -0.011 and k nonequal?
True
Let u be 2/6 + (-4)/12. Let y be 2*(2/4 - u). Let t be (5411 - 5408) + 160/(-54). Which is smaller: t or y?
t
Suppose -5*a - 1538 = -4*t, -3*a - a = -2*t + 1234. Let g = a + 226. Is -84 less than or equal to g?
True
Let l be 2/8*0 - (-3 + -5). Let p be (24/2157)/l*2. Which is greater: 1 or p?
1
Let i = -1.53 - -1.542. Let b = 2.988 + i. Let m = b + -0.2. Which is greater: m or 1?
m
Suppose d + 7*s - 3*s = -49, 216 = -4*d + 4*s. Suppose 0 = -4*p + 4*o + 172, -10*o + 14*o + 4 = 0. Suppose 0 = p*b - 13*b + 1566. Which is bigger: b or d?
d
Let s(p) = p**2 + 5*p + 6. Let y be s(-8). Suppose 0 = 5*k + 4*g - 169, k - y = 5*g - 2*g. Let f = 49958 - 49923. Are f and k non-equal?
True
Let m be (3/(-5))/(45/25 - 2). Suppose m*r - 271 = 35. Which is smaller: 0.1 or r?
0.1
Let j = 5811/22 + -263. Which is bigger: 2 or j?
2
Let a = -1 + 0. Let u be 29832/396 - (-1)/(-3). Let n be (-2)/(-6 - u/9). Which is smaller: n or a?
a
Suppose 4*l = -v + 4, -3*l - 14 = -2. Let k be 3 + v/4234*-1270 + 3. Let g = k + 105844/6351. Which is smaller: g or 17?
g
Let h(a) = 198*a + 4156. Let g be h(-21). Let c be (-4 - -1)/(6/(-4)). Let z = -3 + c. Is z bigger than g?
True
Let u(x) = -11*x + 97. Let m be u(-11). Let l = 230 - m. Which is bigger: 14 or l?
14
Let c be (6 + 763/(-126))/((-9)/81). Let f = 0.01 + -387.01. Is f not equal to c?
True
Let w(p) = -415*p + 9. Let l(f) = 830*f - 17. Let k(m) = -4*l(m) - 10*w(m). Let b be k(3). Let t = b + -167821/68. Which is bigger: t or -1?
t
Let t be (-122)/14 - 18/63. Let v be (t/6)/((-12)/16). Let y be (1*1/v)/((-2)/4). Is -1/2 < y?
False
Suppose 0 = -m - 7*m - 21*m - 101848. Which is greater: -1 or m?
-1
Let q be (48/(-10))/((-33)/110). Suppose -4*r + 2*r = -3*t + q, 4*t + r - 3 = 0. Do t and 12/5 have different values?
True
Suppose 0 = g - 456 + 459. Let f be (-24)/(-18)*(-6)/4. Let j be 3/(1*(-3 - f)). Do j and g have the same value?
True
Let z = -2648.55 - 167.25. Is z greater than or equal to 0?
False
Suppose -3*n + 655 + 218 = 0. Let s = n - 330. Which is greater: -2/7 or s?
-2/7
Let x be ((-321)/(-8025))/(113/126 - 1). Which is smaller: x or 1?
x
Let i be 47 + (-72)/9 + 1. Let o(z) = 3*z - 2. Let t be o(2). Suppose i = 9*w - t*w. Which is greater: w or 12?
12
Let u(g) = -g**2 - 10*g - 6. Let v(d) = -11*d**2 + d + 3. Let q be v(-1). Let m be u(q). Suppose m*z = 4*z + 35. Which is smaller: -2/7 or z?
z
Let q = -0.047 - -118.047. Let b = -19 + q. Which is bigger: 1 or b?
b
Let i be 3/((18/(-100))/(-3)). Suppose -d + 0*d = i. Suppose f = 364*r - 367*r - 46, -3*r + 248 = -5*f. Do f and d have the same value?
False
Let w = -1710 - -2751. Which is greater: w or 9?
w
Let l(t) = t**3 - 16*t**2 - 7*t - 36. Let c be l(17). Let n = c - 128. Let p be (-35)/11 - n/(-6). Which is smaller: -3 or p?
-3
Let y be (-3 + 8/3)/((551/114)/29). Which is greater: y or -202/75?
y
Let l = -0.12 - -0.1. Let y be 0 - -3*-52*(-44)/24. Let f be ((-4)/30 - y/330)*1. Which is smaller: f or l?
f
Suppose 0 = -80*o - 28*o - 21 + 21. Let i = -83 + 748/9. Is i > o?
True
Suppose -3*d - 5*l + 14 = 0, -5*d - 2*l + 0*l = -17. Let i(t) = -6*t + 48. Let q be i(14). Let p be (-30)/(-8) + 27/q. Do p and d have the same value?
True
Suppose 0 = 5*c - 15, 0 = -35*t + 36*t - 2*c - 875. Is 1 less than t?
True
Let c = 1064 - 476. Let q be c/