 - 6 + j. Which is bigger: v or d?
v
Let t(r) = -r**2 + 11*r + 4. Let a(z) = z**2 - 10*z - 4. Let i(h) = 5*a(h) + 4*t(h). Let l be i(6). Let n be 22/(-8) - (-3)/l. Which is smaller: n or -3?
n
Let m(w) = 0 - 7*w**2 - 7*w + 2*w**2 + 2 + 4*w**2. Let j be m(-7). Suppose -h + j*h = 1. Is 1/24 <= h?
True
Let o = 328243/2097 - 1409/9. Let z = -2264/2563 + o. Which is smaller: z or -1?
-1
Let k be 7/889*-379 - -3. Which is greater: -1 or k?
k
Let b = 193 - 257. Is b less than -0.09?
True
Let f(l) = 12*l - 12. Let m be f(0). Is m bigger than -10?
False
Suppose -16 = 5*w + p + 76, -4*p = -w - 31. Let u(o) = -o**2 - 18*o - 5. Let q be u(w). Is q > -22?
False
Let t be (-47)/9 + (-26)/(-117). Let u = -1 - -0.4. Is t <= u?
True
Let s(m) = 8*m - 42. Let q be s(18). Is q bigger than 101?
True
Let a = 1546.4 - 1548. Which is smaller: a or 4?
a
Let k(x) = -3*x + 1. Let o be k(-2). Let m = o - 9. Let l be -7 - m/(-1 - 0). Which is smaller: -7 or l?
l
Let n = -33 - -33. Let q be 1*(n + 4 + -4). Which is bigger: -1 or q?
q
Let x be 57983/(-12) - (-2)/8. Let q = 186635/39 + x. Let d = 46 + q. Is d bigger than 1?
False
Let t be (-40)/(-14) + (-42)/49. Is t less than -0.15?
False
Let d be (-1 - -4 - 2)*5/(-5). Is d <= -3/365?
True
Suppose -36*k - 54 + 18 = 0. Is k >= 10/51?
False
Let g be ((-9)/(-21) - 8/14)*2. Which is greater: g or -2/5?
g
Let u = -111/190 + 13/19. Which is smaller: u or 2/77?
2/77
Let s(q) be the first derivative of q**3/3 - 13*q**2/2 + 8. Let i be s(13). Which is smaller: i or 18?
i
Let a = 328 - 327.9. Let d = 0.066 + -27.066. Is a >= d?
True
Let g be (-43)/(-645) - (-178)/(-420). Let r = -1 + 0. Do r and g have different values?
True
Let q = -765.2 + 867. Let f = q + -102. Which is smaller: -33 or f?
-33
Let u(l) = 2*l + 9. Let d be u(-3). Suppose d*w - 4*w - 1 = 0. Which is bigger: w or -1/8?
-1/8
Let j = -45/28 + 47/14. Let t be (6/4)/(1/2). Do j and t have different values?
True
Let u be (-33)/(7 + -18)*(-11)/20. Is -2 <= u?
True
Let s = -65 + 199/3. Are 2 and s unequal?
True
Let q = 1115 - 1301. Is -556/3 at least q?
True
Let a = -18.7 - -6.6. Let v = 12.21 + -0.21. Let n = a + v. Which is bigger: n or 2/25?
2/25
Suppose -3*f + c - 131 = 0, 46 = 4*f + c + 216. Let n be f/(-6)*65/55. Let l = n + -84/11. Which is smaller: 2 or l?
l
Let p = 0.34 - -0.06. Let q = p + 0.6. Is -2/5 <= q?
True
Let g be (-158)/(-270) - (-15)/(-25). Let r = -52/135 + g. Which is greater: r or 0.4?
0.4
Let w(t) = 2*t**2 - 2*t - 1. Let c be w(-2). Suppose 3*r = 6*r. Let s be 1 + r + c + -11. Is 1/2 < s?
True
Suppose 1 = -m - 0*m, -3*m - 47 = -2*x. Is 24 at least as big as x?
True
Let i = 0.0422 + 13.0878. Let c = 13 - i. Which is smaller: c or 0.4?
c
Let z be (168/4)/2*-11. Let k be 1100/z*(-1)/(-2). Let r = 437/210 + k. Which is smaller: r or 1?
r
Suppose -r + 287 = 5*d, -5*d - 3*r - 51 = -342. Let v be -3*(-67)/d + -3. Which is smaller: v or 2?
v
Suppose -35*a + 7 = -42*a. Is -6/23 greater than or equal to a?
True
Let i(g) = -2*g**3 - 26*g**2 + 89. Let k be i(-13). Which is smaller: k or 87?
87
Let a = 78 - 78.07. Which is bigger: a or 2/33?
2/33
Let g(t) = t**2 + 18*t + 112. Let n be g(-8). Let d = 36 - 4. Is n less than or equal to d?
True
Suppose h - 8 = r - 6*r, -3*h = 5*r - 4. Suppose -6*z = -r*z. Which is smaller: z or 2/103?
z
Let k be 3 - (9 + (-10016)/(-56)). Is -186 >= k?
False
Let o be (-4 - 5) + 2 - -5. Let q = -4 - -4. Let d be q + (-1 + 0 - 1). Is o <= d?
True
Suppose -1839 = -8*h + 273. Is 265 at most h?
False
Let v be (-17)/(-33) + (-3)/9. Let b = -41.8 - -38. Let n = b + 3.6. Which is smaller: v or n?
n
Let q = -2.94 + 3.14. Let z = 3 - 0. Which is bigger: q or z?
z
Let a = -22 - -14. Is a greater than or equal to -2?
False
Let n = -4.474 + -0.006. Let m = n - 0.52. Which is smaller: m or 7/2?
m
Suppose w - 12 = -5. Suppose 21 = 3*c + 3*j, c + 25*j = 30*j + 19. Which is smaller: c or w?
w
Let l be (-3)/2*32/(-6). Let n(k) be the first derivative of k**4/4 - 7*k**3/3 - 9*k**2/2 + 10*k - 75. Let y be n(l). Which is smaller: -0.1 or y?
-0.1
Let c be 8 + -1 + 3 + -9. Which is bigger: c or 1/156?
c
Let m be (-1 - 1) + (-74)/(-6). Let c = m - 11. Let i = -67/2 - -32. Which is greater: i or c?
c
Let z = 76 + 55. Are 134 and z non-equal?
True
Let c be 25/(-5)*106/15*9. Is -318 > c?
False
Let u(v) be the second derivative of 5*v**3/6 - 3*v**2 - 3*v. Let i(a) = -a**2 - 15*a - 10. Let z be i(-14). Let q be u(z). Is q at most 14?
True
Suppose 3*o + 6 = 12. Let i(y) = y**2 + 3 - y**2 - y**2. Let m be i(o). Which is smaller: m or -8/7?
-8/7
Suppose 2 - 37 = -5*g. Suppose -3*f + 4*f = -d + 8, 4*f = d + g. Suppose -4*o + 12 = y, -5*y + o = -10*y + f. Which is smaller: y or 6/5?
y
Let w = -283208645/3432 - -660145/8. Let d = w + 24/13. Is 0 greater than d?
True
Let u = 79/40 + -19/40. Is u greater than 260?
False
Let p be (7 - (0 - -8))/(2/4). Suppose -5*r = 2*y + 23, -37 - 5 = 5*y - 3*r. Is p >= y?
True
Let i(o) = 35*o + 4. Let s be i(-6). Which is bigger: -207 or s?
s
Let o(w) be the second derivative of 2*w**3 + 3*w**2/2 - 9*w. Let u be o(-1). Is u bigger than 2/3?
False
Let l(g) = g**2 + 7*g - 8. Let d be l(-8). Let r be d/1 - (-132)/(-6). Which is greater: -24 or r?
r
Let b be (-3 - 0)*(1 + (-1676)/1704). Is b less than or equal to 1?
True
Suppose r + j - 7 = 3*j, 0 = 3*r - 2*j - 9. Suppose -19 + r = -3*w. Let k be (4/w)/((-4)/10). Is -1 equal to k?
False
Suppose -4*h - 13 = 14*p - 15*p, 0 = h + 3. Is p at least as big as 0?
True
Let k be (782/(-87) + 9)/(8/(-48)). Let o be 2/(-6) - 1/(-3). Is o < k?
False
Let l = -4226917/26535 + 19287/122. Let q = l + 1/174. Which is greater: q or 0?
0
Suppose 5*r - 40 = -4*z, -2*z + 0*z = -10. Suppose -3*d - 13 = 4*b, 19 = 3*d - 3*b + r. Which is smaller: d or 10/19?
10/19
Let v be (416/(-65) - -6) + (-4)/(-10). Is -8 at most v?
True
Let l = 2.02 + -0.02. Let m = 1/114 + 265/114. Let z = -3 + m. Which is smaller: z or l?
z
Let m(r) = -39*r**2 - 4*r. Let t be m(-1). Which is bigger: -37 or t?
t
Let v = 1637/5 + -331. Which is smaller: v or -3?
v
Suppose 4*d + 45 - 69 = 0. Suppose 3*r - 24 = -0*r. Which is bigger: r or d?
r
Let p = -76.8 + 76.62. Do 4/7 and p have the same value?
False
Suppose -14*i = -11*i. Suppose 3*d - 6*p + 2*p + 10 = 0, i = -2*d - p - 3. Which is smaller: -1 or d?
d
Let y = -2341/110 + 222/11. Is y less than or equal to -2?
False
Let u = -517/3 + 180. Let y(h) = 2*h - 23. Let f be y(16). Is u > f?
False
Let d = 677/3006 + -1/334. Let x = 0.76 - 0.7. Is x != d?
True
Let c be (-11590)/6435 + (-8)/(-4). Let n = -2/117 + c. Let u be 14/21*6/(-4). Which is smaller: u or n?
u
Let m = 5/2241 - 311534/15687. Is m less than -19?
True
Let t = 194 - 138. Suppose -5*g - 28 = -q, 5*g - 5*q - 16 = -t. Is g smaller than 0?
True
Let b be ((-4)/4 + -5)*12/156. Which is greater: b or -7?
b
Let z(n) = 2*n**3 + 19*n**2 + 5*n + 12. Let j be z(-9). Suppose -m = m + t - j, 3*m = -t + 71. Is 23 less than or equal to m?
True
Suppose 966*p + 45750 = 991*p. Is p bigger than 1830?
False
Let r = 255 + -108. Is 141 < r?
True
Let q be ((-3)/388)/(615/328). Is q > 0?
False
Suppose 4*y - 2*y = 6. Suppose -4*i = -5*g - 18 + 3, -4*i + 23 = y*g. Let s(p) = 7*p - 1. Let v be s(1). Is i bigger than v?
False
Suppose 5*q - k - 58 + 264 = 0, 2*q + 5*k + 77 = 0. Let j be (0 + -1 + 3)/(1244/(-25502)). Are q and j unequal?
False
Let k = 187/150 - -4/75. Which is smaller: k or 2?
k
Let r(b) be the third derivative of b**5/60 - b**4/8 + b**3/3 - 6*b**2. Let u be r(2). Suppose p - 2*a = -u - 9, 5*p = a. Which is greater: p or -1?
p
Suppose 0 = 4*n - 13*n. Suppose 0 = f + 6 - n. Which is smaller: -5 or f?
f
Let j = 255 + -253. Let x = 16 - 15.6. Which is bigger: j or x?
j
Let c(i) = i**2 - 10*i - 29. Let r be c(12). Let x(a) = -6*a + 1. Let b be x(1). Are b and r nonequal?
False
Let r = 2.77 - -0.93. Let w = r + -3.41. Let q = 0.19 - w. Which is greater: q or -8?
q
Let k = 44 - 41. Suppose -2*f + 30 = -3*h, 2*h - 7*h = k*f - 64. Are f and 17 equal?
False
Suppose -20*i + 6 = -14*i. Which is greater: i or -6/115?
i
Suppose 0 = 3*z + 195 - 432. Is z at most -2/3?
False
Suppose -4 = -2*u + 3*u, 5*m = 5*u - 130. Let k be -5 + (-138)/m + 59/135. Which is smaller: 1 or k?
k
Suppose 3*z - 545 = -h, 943 = 2*h + 3*z - 162. Is 562 at least as big as h?
True