= 24. Suppose -x*y + 7 = 3. Which is bigger: y or p?
y
Let i(k) = -k**3 + 6*k**2 - 2*k + 13. Let v = 199 - 193. Let f be i(v). Let h be (2/5)/((-47)/(-5)). Is f not equal to h?
True
Let n be (-15)/(-28)*4/(-10). Suppose 2*z = -h, -16*z + h = -19*z. Which is smaller: z or n?
n
Let v = 449 - 450. Which is smaller: v or 1/34?
v
Suppose 0 = -k - 5*r - 72, 5*k - r + 308 = -0*r. Let h = 98 + k. Which is smaller: h or 35?
35
Let s = -21621331/1131 - -19117. Are s and 0 nonequal?
True
Let v be ((-48)/231)/(-2) - 66/(-363). Let o = -0.5 - -0.8. Let j = o + -0.3. Which is smaller: j or v?
j
Suppose 15*p = 18*p + 33. Let y = 11 + p. Are 5/6 and y equal?
False
Let q = -1960/3 - -4577/6. Does q = 110?
False
Let q = -33 - -37. Let d(x) = 11*x + 8. Let r be d(q). Is r at least as big as 54?
False
Suppose 5*x - 283 = -4*n, 2*n + n - 4*x = 251. Which is smaller: n or 74?
74
Let y(k) = 55*k + 384. Let r be y(-7). Are -2/123 and r nonequal?
True
Let g(o) = 2. Let i(l) = 3*l**2 - 6*l - 9. Let t(s) = 6*g(s) + 2*i(s). Let k be t(3). Is 11 equal to k?
False
Let y = -1755/8 - -219. Let j be 1*(-7)/21*-6. Which is smaller: y or j?
y
Let a = -1 + -1. Let u(y) = y**3 - 4*y**2 - 8*y + 5. Let z be u(5). Let w be z/(-15) - 56/12. Which is smaller: w or a?
w
Suppose 65*c = -31029 - 13041. Which is smaller: -679 or c?
-679
Let o be 93/32 + (-5 - -2). Let p = o + 25/96. Let c = -8 - -6. Is p at most c?
False
Let b be ((-6)/(-4) + -2)/(2310/15003). Let n = b - 1/385. Do n and -3 have different values?
True
Let g be (-10)/15*(-3)/(-2). Let m be 6/9*(6 - -3). Suppose -11*v = -m*v + 5. Is g greater than or equal to v?
True
Suppose 0 = -2*x - u - 3, -3*u - 5 = -0*x + 4*x. Suppose 0*g = -g + 1. Let q = g - x. Is q smaller than 4?
True
Let v(h) be the third derivative of h**6/120 - 11*h**5/60 - h**4/24 - 5*h**3/3 + 8*h**2. Let f be v(11). Which is bigger: f or -20?
-20
Let m = 32 - 62. Let k = 31 + m. Which is smaller: k or 2/3?
2/3
Let j = 15 + -14. Let q(r) = r**2 - r - 2. Let n be q(0). Let c(s) = -s**3 - 3*s**2 - 4*s - 3. Let i be c(n). Is i >= j?
True
Let j(i) = i**3 + 12*i**2 - 16*i - 17. Let h be j(-13). Is 1 >= h?
False
Let f be (376/(-24))/(2/6). Let j = f - -71. Which is bigger: 25 or j?
25
Let m = -2 - -2. Let l = 2051/2 - 1002. Let y = 511/22 - l. Which is smaller: m or y?
y
Let g be 5964/(-192) + -3*1. Let b = g + 34. Let i be ((-22)/33)/((-4)/(-6)). Which is smaller: b or i?
i
Let v = -0.633 + 0.433. Let b(d) = -d - 13. Let f be b(10). Which is bigger: f or v?
v
Let u be (-2)/(-4) - (-647)/26. Let k = -2414/91 + u. Suppose -2*y - 3*s - 15 = 0, 22*s + 25 = 2*y + 17*s. Which is bigger: k or y?
y
Let w = -38 - 21. Which is smaller: -58 or w?
w
Suppose -6*r = -2*r - 20. Let n(c) = c**3 + 6*c**2 + 11*c + 12. Let z be n(-4). Let y be -2 + z - (r + -8). Which is smaller: 10/11 or y?
10/11
Let b be (-1368)/(-3) - 7 - (2 - 2). Is 449 bigger than b?
False
Let v = -1 + 1. Let q = 4374 - 4376.5. Is v at most as big as q?
False
Let s = -0.3174 - -0.3484. Suppose q + 3*q = 0. Which is smaller: s or q?
q
Let j = -2314 + 2306. Which is smaller: j or -5.2?
j
Let f = 972/55 - 15343/880. Let d = f + 1/16. Let z(t) = -t**3 + t**2 + 13*t - 5. Let l be z(4). Is d greater than or equal to l?
True
Let z be (-3)/(-1) - (-12 + 3 + 13). Which is bigger: z or 244?
244
Suppose 160 = -64*t + 74*t. Which is bigger: t or 35?
35
Let i = 0.391 - 0.491. Is i bigger than -71?
True
Let z = -222988/13 - -807447101/47073. Let s = z + -10/71. Let n = 46/255 + s. Are 0.1 and n unequal?
True
Let c = 106.2 - 107.9. Let r = 0.5 + -0.3. Which is smaller: r or c?
c
Let a = -987 - -985. Are a and -23/11 non-equal?
True
Let h = -0.25 - -0.51. Let s = 0.659 + -0.919. Let r = h + s. Is 0 <= r?
True
Let a be (-1429)/((-1 + 0)/(20/20)). Which is smaller: 1428 or a?
1428
Suppose 0 = 8*v - 109 + 333. Let u = v - -27. Which is bigger: u or -4/5?
-4/5
Let r be 14/63 - 10096/(-90). Let p = 112 - r. Which is bigger: p or -2?
p
Let h be (-456365)/(-819) + ((-16)/(-9) - 2). Is h less than 558?
True
Let f = 0.017 - 0.017. Let d = 0.4 - 0.2. Let v = 0.2 - d. Is f greater than v?
False
Let k be ((-4)/(-35))/((-44)/(-110)). Let a = -49 + 48.48. Is a greater than or equal to k?
False
Let y(j) = -3*j - 6*j**3 + 7*j**3 - 4*j + 2*j**2 + 3*j - 5. Let u be y(-2). Which is bigger: u or 12/7?
u
Let z = -1.6 + 1.9. Let h = z - -0.7. Is -1/5 at least as big as h?
False
Let s = -0.188 - 5.212. Is s > 1?
False
Let w = -0.707 - -0.477. Which is bigger: -0.2 or w?
-0.2
Suppose 0 = -q + 2*m - 4, -6*m = -5*q - 5*m - 65. Which is smaller: -16 or q?
-16
Let i = 632/15 - 42. Let m = -0.04 + 0.09. Let v = 0.95 + m. Which is smaller: i or v?
i
Suppose -19*z = -7*z - 48. Are z and 9 nonequal?
True
Suppose -2*h - 20 = 4*n, 5*h - 5*n - 10 + 0 = 0. Let b(u) = -u**3 - 5*u**2 - 3*u. Let j(l) = l**2 - 1. Let f(z) = b(z) + 2*j(z). Let t be f(h). Is 2/37 <= t?
False
Suppose -r + 29 = r + 5*j, -15 = 5*j. Let z be r*(3/(-12))/(4/8). Is z greater than or equal to -12?
True
Suppose 4*u + 11*u = -240. Suppose 0 = d + r - 0*r - 4, -d = -5*r + 26. Which is bigger: d or u?
d
Suppose -20 - 37 = -3*v. Let t = -1576 - -1594. Which is greater: t or v?
v
Let g be (-128)/(-90)*(-3)/4. Which is bigger: 0 or g?
0
Suppose -i = 5*v - 253 + 31, 5*v + 5*i - 230 = 0. Is 49 equal to v?
False
Let j = 41 + -37. Let l(q) = -q**3 + 5*q**2. Let m be l(5). Which is bigger: m or j?
j
Let s = 4.95 - -0.05. Let y = -4.9 + s. Let a = y + -2.1. Which is greater: 2 or a?
2
Let a = -32 - -46. Suppose -a*c - 21 = -21*c. Is c < 2?
False
Let b be 0/(-1) + 4/2. Suppose 0*l = -2*l - 3*i + 15, 0 = -4*l + 4*i + 20. Do l and b have the same value?
False
Let y = 9 + -8.97. Let s = 0.5 + -0.43. Let u = y + s. Which is smaller: -0.8 or u?
-0.8
Suppose -o = -4*m - 5, 5*o - m - 2 = 4*o. Let f = -69 - -160. Let v = f - 1178/13. Are o and v nonequal?
True
Suppose 5*j - 15 = -4*s, 3*s + 0*j = -4*j + 12. Is s >= 2/23?
False
Let p = -66221/20 + 3312. Let n = p - 3/4. Which is smaller: 0.06 or n?
0.06
Let z(t) = -t**3 - 11*t**2 - 4*t - 192. Let m be z(-12). Which is smaller: m or 24/23?
m
Let x be (-5)/((-15)/6) - -2. Let u = 27 - 20. Let d(q) = -q**3 + 8*q**2 - 8*q + 10. Let g be d(u). Is x greater than g?
True
Let u be 9/(-21) + (-4)/(-42). Which is smaller: u or -7?
-7
Let z(w) = -w**2 - 8*w + 5. Let a be z(-7). Suppose 2*d - a = -2*d. Suppose h = -d*g + 2, -g - 3*h = -0*g - 14. Is 7/2 >= g?
True
Suppose -p - 2 = -0*j - 2*j, 2*j + 28 = -4*p. Which is greater: p or -34/5?
p
Suppose 2*x + a = -5, 5*x - a - 5 = -0*a. Let l = 46 + -28. Suppose p = 2*p + 5*w + l, -w = 4*p - 4. Which is bigger: p or x?
p
Let t be (-3 + 4)/(2/(-4)). Suppose -5*f - 2 + 12 = 0. Suppose 5*s - f*p = 2*p - 14, 11 = -3*s + 5*p. Is s at most t?
True
Suppose 6*a - 28 + 4 = 0. Suppose -a*y - 7 = 3*y. Which is greater: -3/4 or y?
-3/4
Suppose -5*d = -4*f - 356, -f - 89 = -2*d - 0*d. Let g = -93 - f. Which is greater: -22/5 or g?
g
Suppose -6 = 4*u + 5*n, n + 1 + 1 = 0. Is u greater than or equal to -9/91?
True
Suppose 9 = -3*a - 3*g, 4*g + 10 = -5*a + 2*a. Is 0 at least a?
True
Suppose 51 = -4*z + 75. Let l be (60/8 - 6)*4/z. Let p be 4/6 - 71/102. Which is greater: p or l?
l
Suppose 11*g = 24*g - 598. Which is smaller: g or 52?
g
Let s be 0/((3 + -4)*3). Suppose -r = -0 - 2. Is s > r?
False
Let w = -1 - -4. Suppose -g = w*c + 7 + 1, -3*c = -5*g - 22. Suppose 2*h + 23 = 2*j + 5, -3*j + 33 = -4*h. Is h smaller than g?
True
Let o be 7 - (2 - 23/(-4)). Let y be -1 + (-1 - 1)/1. Let k = y - -3. Does o = k?
False
Let x be (2/3)/((-4)/96). Let y = 13 + x. Is y smaller than 2/29?
True
Let x = 11.4 + -12.4. Is x >= 132?
False
Let a(i) = i**2. Let b(l) = 5*l**2 - 4*l + 16. Let x(f) = -6*a(f) + b(f). Let p be x(-7). Let g be -4*p/100 - -3. Which is smaller: g or 2?
2
Suppose 10*g - 22*g = 264. Let o be 4 + (-1)/(16/60). Is g at least as big as o?
False
Let m be 4026/63 - 14/(-147). Let b be (8*2)/((-2)/(-8)). Is m > b?
False
Suppose -8*f = -15 - 41. Suppose 15*r - f = 14*r. Let v = 5 + -4.9. Are r and v non-equal?
True
Let f = -12 - -18. Suppose 2 = -q + f. Suppose 3*t - 5*r + 16 = 0, -2*t = -r - q + 3. Which is smaller: 1/2 or t?
1/2
Let b be 2/(-3)*45/10. Let n(z) = -z**3 - 3*z**2 + z - 1. Let a be n(b). Which is greater: -5 or a?
a
Let t = -240/4