maller: n or p?
p
Let w = -0.307 - -0.007. Let j = 0 + 4. Which is bigger: w or j?
j
Suppose 128 = 2*z + 26. Let p = 53 - z. Which is greater: 13/4 or p?
13/4
Suppose c + 6 = 17. Let j = c - 11. Suppose 2*k - k = j. Which is bigger: -2 or k?
k
Let u be 0/(-1) + 480/(-96). Which is smaller: u or 1?
u
Let a(i) = -3*i + i**2 - i**3 - i**2 - i**2 + 5*i**2. Let z be a(2). Suppose 0 = -5*f - 7*s + z*s - 75, 11 = -f + s. Is f greater than or equal to -13?
True
Let i(q) = -18*q + 18 + q**2 + 0*q**2 - 15 + 33. Let o be i(15). Is o < -9?
False
Let f be 4/14 + (1 - 1). Let u(z) = z**3 - 10*z**2 - 43*z + 93. Let x be u(13). Is f < x?
True
Let l(i) be the first derivative of -365*i**2/2 - 2*i + 2. Let o be l(2). Let c = 5132/7 + o. Which is bigger: c or -1/4?
c
Let k be 1/(-2) - (-1)/2. Let n = -1579/7 + 227. Is n at most as big as k?
False
Let u(v) = -v**2 + 7*v + 18. Let a be u(10). Let b be 6/(-9) - 68/a. Which is smaller: b or 1?
1
Let g = -4.2 - -4. Let x = -0.19 - g. Let y = 0.09 + x. Which is bigger: -5/4 or y?
y
Let v be 1 + (-4)/(184/42). Let d(q) = 2*q**3 - 19*q**2 - 6*q - 41. Let m be d(10). Do v and m have different values?
True
Let i = -569 + 414. Which is bigger: -154 or i?
-154
Let j be 4 - (12 - (0 - -2)). Let n be 6/(-40)*(-5)/j. Suppose 3*z = 2*z. Which is greater: z or n?
z
Let c = -2.203 - 39.957. Let o = c - -42. Do o and 2 have the same value?
False
Let u be (-1632)/(-270) + -4 - 2. Is -4 <= u?
True
Let u be 13/(-676)*-8 + (-238)/26. Is u >= -10?
True
Let j(q) be the first derivative of -10/3*q**3 - 8*q - 1/2*q**4 + 3 + 5*q**2. Let g be j(-6). Which is smaller: g or 1?
1
Let z(h) = h**3 + 10*h**2 - 26*h - 42. Let q be z(-12). Is -201/11 at most as big as q?
True
Let i = -879819/42770 + -3/6110. Is i >= -20?
False
Let q be ((-77)/518)/(1/(-12)). Which is bigger: q or 1?
q
Let b be ((-39)/(-6))/(3/18). Which is smaller: b or 40?
b
Suppose 5*y = -3*g - 563, g - 5*y + 8*y + 185 = 0. Is -190 smaller than g?
False
Let i = 0.029 - 0.759. Let l = i + 0.32. Let u = -0.21 - l. Is u > 1?
False
Let b be (-6)/15 - (-3)/(-5). Let j(s) = s**2 + 8*s + 7. Suppose 5 = -2*w - 9. Let q be j(w). Which is greater: b or q?
q
Suppose 0 = 11*j - 4*j - 168. Let s = j + -14. Let u = -12 + 22. Is u < s?
False
Let i = -603/4 + 21149/140. Let w = 3/5 - i. Is -1 greater than w?
False
Suppose 2*m = -0*m + 8. Suppose 3*g - 358 = -5*y, 7*g - m*g - y - 364 = 0. Let h be 11/g*(13 - -1). Which is bigger: 2 or h?
2
Suppose 2*p = 3*p - 10. Let h be (3/p)/((-81)/(-45)). Is h smaller than 1?
True
Let u(o) = -o - 9. Suppose 17 = 3*k + 4*h, 0*k - h - 36 = -5*k. Let g be u(k). Let b be (-66)/g*22/(-33). Is b < -2?
True
Let k be (1 - 0) + 1 - (-10)/(-5). Let s(q) = -q**2 + 3*q + 3. Let i be s(3). Let x = 1 - i. Which is smaller: x or k?
x
Let l = 0.1 + 0.5. Let z = -31.7 + 31.9. Is z at least l?
False
Let m(j) be the second derivative of j**3/6 + 12*j**2 - 16*j. Let r be m(-6). Is 16 <= r?
True
Let x(z) = 10*z**3 + 3*z**2 + z. Let p be x(-1). Which is smaller: p or -51?
-51
Suppose 108 + 28 = -2*h. Is h at most as big as -66?
True
Let n = 55 + -276/5. Let j be (-4)/(-10) + 23/5. Suppose -17*f - j = -12*f. Are n and f equal?
False
Let b(j) = -j**2 - 17*j + 37. Let d be b(2). Which is smaller: d or 6/673?
d
Let i be (-4 + 5)/(-1*(1 - (-90)/(-81))). Let c be (0/(-1) - 1) + 0. Let l(n) = -9*n**3 - 2*n**2 + 1. Let v be l(c). Are i and v nonequal?
True
Let a be -7*(-6)/84*(-24)/20. Which is smaller: a or 1/8?
a
Let u(d) = d**3 - 10*d**2 + 12*d - 3 + 3 - 3*d**2 - 1. Let r be u(12). Let w = 270 + -3247/12. Are w and r nonequal?
True
Suppose 36 = -a + 7*a. Suppose 9 = a*z - 15. Is -2 bigger than z?
False
Suppose 3*r + 5*h + 11 + 16 = 0, 5*r + h + 45 = 0. Let p(u) be the third derivative of u**5/60 + u**4/3 - u**3 - u**2. Let q be p(r). Is 3 > q?
False
Let j be (-3)/((-27)/(-2)) + (-600)/216. Let y = -10 - -17. Is j at most y?
True
Let o be -3*(-292)/1680 + (-14)/49. Which is smaller: o or 0?
0
Let x be 8/4*82/(-4). Let f = x + 141. Suppose 4*b + 60 = 7*b - 4*n, -2*n + f = 5*b. Is b at most as big as 20?
True
Let j be 3/6*(-3335)/100. Let f = j + 84/5. Let m be (4/(-6))/(4/(-6)). Is f less than or equal to m?
True
Let p = -299 - -310.9. Let a = 12 - p. Which is greater: a or -2.6?
a
Let a = -410.2 + 410. Do -118 and a have the same value?
False
Suppose -2*d + 5 = -63. Let i = d - 21. Let p be (-1)/(-2)*(13 - i). Is -6 <= p?
True
Let i = -1.11 + 38.11. Which is bigger: i or 0.1?
i
Let p(i) = -5*i + 3. Suppose 3*j - 3 - 3 = 0. Let s be p(j). Let x(q) = q**3 + q**2 + q + 1. Let u be x(-2). Is u at most s?
False
Let z(s) = 3*s + 24. Let b(o) = o**3 - 14*o**2 - 17. Let q(k) = -2*k**3 + 29*k**2 + 35. Let a(c) = 13*b(c) + 6*q(c). Let v be a(8). Let d be z(v). Is d >= -9?
True
Let f be 0/((-9)/3 - -1). Suppose -v + 0*v = f. Let i = 583/8 + -73. Which is smaller: v or i?
i
Let q = 83.5 + -83.8. Is -27 != q?
True
Suppose -5*o = -3*u + 14, 3*o - 4*u = -1 - 14. Let d be ((-195)/(-189) + o)*3. Let v be 0*1/2*1. Is v at least as big as d?
False
Let w = 1469 - 1469.1. Which is smaller: w or 19.8?
w
Let j = -23 + 70. Let z = 49 - j. Let d = -1027/8 - -129. Is z smaller than d?
False
Suppose -2*n = -27 + 3. Let i be -5*2*n/(-40). Which is smaller: 4 or i?
i
Suppose 3*w = v + 2*v + 6, -v + 3*w - 10 = 0. Suppose 10*j - 25 = 5*j, 23 = 2*a - 3*j. Let q be (-2)/(-28) - a/(-38). Is v != q?
True
Let l = 53 + -33. Which is greater: l or 14?
l
Let a = -57 - -41. Let r = -81 - -83. Which is greater: r or a?
r
Suppose -3*k - 77 = 4*g, -4*g + 3*g = 2*k + 58. Let z = 33 + k. Suppose -16 = -z*t + 4*l, 3*t - 6*t + 3*l = -15. Is 3 at most as big as t?
False
Let a = -2 - -5. Let s = -127 + 91. Let l = s - -40. Is a < l?
True
Let y = -4.9 + 5. Let u = -49.8415 - 0.1585. Is y equal to u?
False
Suppose -5*p - 3 = -4*v, 2*p + 27 = -5*v - 2*p. Let q(b) = b**3 + 3*b**2 - 4*b - 1. Let x be q(v). Suppose -3*c + x = 5. Is 1 equal to c?
False
Let j(a) = -a**2 - 5*a - 6. Let h be j(-4). Let f be 1/h*(-2 - -2). Let w = 197/1742 - 5/67. Is w < f?
False
Suppose 0 = -28*u + 32*u - 724. Is 181 <= u?
True
Let g = -112 - -133. Let k be (-4*3/g)/(-66). Are 0 and k non-equal?
True
Let p = 13843/95 + -1108/19. Let c = -124 + 37. Let z = c + p. Is z > 1?
False
Let k = 334.3 + -331. Is 0.03 greater than or equal to k?
False
Suppose 11*u - 2*g + 11 = 6*u, -4*g = 2*u - 10. Is -1 < u?
False
Let z(y) = -y**2 + 3*y**2 + 8 + y - 3*y**2 + 4*y. Let a be z(8). Let d be -2*(12/a)/3. Which is bigger: 23 or d?
23
Let h(c) = 6*c**2 + 15*c - 5. Let p be h(-3). Let w be (p + -5)*(-93 + -2 + 0). Is 96 greater than or equal to w?
True
Let k(c) = 4*c**3 + 3*c**2 + 6*c - 1. Let a be k(-3). Let r be 4 + (a/12 - -4). Which is greater: -1 or r?
r
Let r be 40/(-30)*6/4. Let k = -21/38 - 37/19. Which is greater: k or r?
r
Suppose -4 = -17*p - 89. Which is smaller: p or -7?
-7
Suppose -468 = -5*f + 182. Let t be 7/(-28)*8/f. Which is greater: t or 1?
1
Suppose d - 5 - 3 = -4*h, 5*h + 4*d = 10. Suppose -4*g + 26 = -2*a, -4*g + 3 = 2*a - 3. Suppose -5*o + g = -1. Which is smaller: o or h?
o
Let d = -8 - 15. Let w(z) = -z**2 - 34*z + 261. Let o be w(-41). Is d greater than or equal to o?
True
Suppose -4*k = -k + 2*m + 7, -4*k + 4*m + 4 = 0. Let l = 6 - 7. Is k greater than or equal to l?
True
Let s = -1.1291 - -0.1291. Is s greater than -13/4?
True
Let i be 4/(-2) + 3 + 1. Let q be (9/i)/(18/(-24)). Let w be 3/(-9) - 8/q. Are 1/7 and w unequal?
True
Let j = 2.9 + -2.79. Let m = 0.05 - j. Which is smaller: 0 or m?
m
Let i = -7434 + 906957/122. Is 1 less than or equal to i?
False
Let s be 8/2 + ((-2005)/245 - -4). Which is greater: s or -1?
s
Let n = -0.0362 - -528.0362. Which is bigger: 0 or n?
n
Suppose 6*m + 2905 = -m. Is m at least as big as -413?
False
Let c(b) = -b**2 - 7*b + 2. Let a be c(-5). Suppose -5*z + 7*z = 3*h + 22, 5*h = 0. Which is smaller: a or z?
z
Suppose -234 = 175*y - 188*y. Suppose -2*n = -n - 19. Do y and n have different values?
True
Let w = 8/113 + -490/3729. Is 0 not equal to w?
True
Let u = 13042441/271 + -48127. Which is greater: u or -1?
u
Suppose -4*j = -j + 21. Let g be j/24 + 2/(-6). Suppose 113*n + 100*n = 71*n - 38*n. Which is smaller: g or n?
g
Let s = 419 + -429. Is s < -11?
False
Suppose 0*m - 5 = -2*m + o, 3 = 3*o. Let r be 4/160*