1 - 258. Which is bigger: z or k?
k
Let p = 325391491/6990 + -46551. Is p less than 0?
False
Suppose 893*g - 8 = 901*g. Which is smaller: 2627 or g?
g
Let h(k) = -58*k**2 - 4*k - 12. Let m be h(-2). Let u be ((-1)/(-1))/(m/(-24) - 3). Let y = -5 + 4. Is y > u?
False
Suppose 11*l + 48 - 92 = 0. Suppose 4*k + 2*i - 40 = 246, l*i = 20. Is k greater than 70?
False
Let h be (-2 + 7 - 18)*-1. Suppose 0 = -4*t + h + 35. Which is smaller: 11 or t?
11
Let c = 7597 + -7597.49. Is -49 > c?
False
Let n(c) = -c**3 - 15*c**2 + 227*c + 3344. Let z be n(-13). Let o = -38 - -98. Which is greater: o or z?
o
Let d be 2 - (-1 - (-4 + 212)). Suppose -3*h + o + d = 0, 0 = -h + 6*o - o + 89. Suppose 4*q = 3*u + h, -18 = -2*q + 5*u + 27. Is q at least as big as 13?
True
Let p be 4 - (-2)/(-1 - (2 - 2)). Suppose 5*f + 31 = -3*d, -p = -5*f - 27. Let u be 9 + -19 + (d - -1). Is u greater than or equal to -11?
True
Let q = 41/63 + -1321/1449. Let l(i) = i + 1. Let t be l(-2). Which is smaller: t or q?
t
Let f = -223 - -336. Suppose -14*b + 83 + f = 0. Let y(h) = -15*h. Let m be y(-1). Is m less than or equal to b?
False
Let v(z) be the second derivative of -z**5/20 + z**4/2 + 7*z**3/6 - 9*z**2/2 + 16*z. Let x be v(8). Let r = x + 129. Is r at least as big as 48?
True
Let v be ((-526493)/(-110) + (-1)/(-5))/(37/74). Is 9573 less than v?
False
Let s be (-428)/43888 - 518/54649. Let n(q) = q**2 + 5*q + 1. Let r be n(-5). Which is greater: s or r?
r
Suppose -3*d - k + 132 + 19 = 0, 5*d - 253 = -3*k. Let a(o) = -o**2 - 4*o - 8. Let i be a(0). Let f be (i/(-10))/((-68)/d). Is -2 <= f?
True
Let n = -6 - -8. Suppose 0 = n*g - 3*g + 8. Suppose 0 = 2*z + 3*f - 4, z - 11 = 4*f + 13. Are g and z unequal?
False
Let m(w) = 22*w - 5. Let f(y) = 15*y - 3. Let i(r) = 7*f(r) - 5*m(r). Let u be i(1). Let t = -595 + 6550/11. Is t < u?
False
Let n(c) = -c**3 - 8*c**2 - 11*c - 8. Let x be n(-7). Suppose -16*g + 176 = -x*g. Let l = g - -43. Is 0 < l?
False
Let n(h) = h**3 - 10*h**2 - 39*h + 9. Let i be n(13). Let f be (-1)/(-2)*(-7 + i). Let o be f/1*(-4 + 8). Is 17/6 >= o?
False
Let n(v) = 63*v**2 - 11*v - 13. Let k be n(-1). Let f be k/(-244)*(-2)/120*-1. Which is smaller: f or 1?
f
Suppose 4*m - 38 = -5*x, -5*x = -2*m - 1468 + 1472. Is x at least as big as -423/4?
True
Let u = -0.012 - -41.012. Let t = u - 48. Let o = t + 6. Is o at most -39?
False
Let l = -228 + 2231. Are l and 2002 nonequal?
True
Let g(y) = 1042*y**3 - 6*y**2 + 13*y - 7. Let m be g(1). Is m less than 5214/5?
True
Suppose 4*f + 16 = 0, g - 3*g - 4*f = -278. Let z(u) = -2*u**3 - 19*u**2 - 61*u + 32. Let a be z(-6). Is g less than a?
False
Let f(c) = -24*c - 1. Let n = -51 + 57. Suppose n*v - 3*v - 3 = 0. Let j be f(v). Is -25 <= j?
True
Let n = -759 + 336. Let u = -3805/9 - n. Which is bigger: 0.194 or u?
u
Let w be 26 - 6 - (4 + -7 - -5). Let o(d) = -d**3 + 20*d**2 - 35*d - 17. Let y be o(w). Let n = -5.4 + 5. Is y at least n?
True
Let n be 10416/(-4743)*(-2)/((-4)/(-54)). Is 59 less than n?
True
Let l = 4735 + -4670. Which is smaller: 0.2 or l?
0.2
Let d = 220 + -207.7. Let x = -12.93 + d. Let c = 0.37 - x. Is c bigger than -1?
True
Let q = -1 - -2. Let p be 105/(4/4)*-1. Let a be 1/3*(p/(-40))/7. Which is smaller: q or a?
a
Let u be (-1)/(-5) + (222/(-10) + -2 - 0). Is -17 smaller than u?
False
Suppose b = -3*i - 3*b + 16, -3*i + b - 4 = 0. Let j be 55 - i - (5 - 2). Let h be (2 - 108/j)*4. Is h at least 0?
False
Let g = 7102 + -7189. Which is smaller: g or -72?
g
Let m be 1784/40 + 4/10. Let z be 227/(-119) - (m/(-21) + 2). Is z equal to -3?
False
Suppose -y + 0 - 10 = -x, 0 = 5*x - 2*y - 38. Let a be -3 - (1 - (x - 2)). Let b = 183 - 177. Are a and b equal?
False
Let v = -224628670/2059 + 109096. Which is greater: -1 or v?
v
Let q(b) = -6*b - 10 + 6 - 7 - 7*b - b**2 - 10*b**2. Let f be q(-5). Which is greater: f or -223?
f
Let f be 23 - 2*9/6. Let u be (24/f)/(3 + (-171)/60). Is 5 at most u?
True
Let y = 2717.3 - 2717.2. Is y > 1527?
False
Let f = -162 - -321. Let i = 151 - f. Let r be (-204)/54 - (-4)/(-18). Is r < i?
False
Let m(h) = 18*h - 3. Let j be m(3). Let g be (16 - 12 - -4) + (-77)/1. Let s = j + g. Is s at least -17?
False
Let u(q) = -q**2 + 32*q + 135. Let n be u(26). Let b = n - -364. Is b >= 0.1?
True
Let v = -1740 - -1741. Suppose 2*s + 4*r = 5*s - 12, -s - 9 = 3*r. Suppose 7*i - 3*i - 48 = s. Are v and i equal?
False
Let o = 150.899 - -0.101. Let i = -152 + o. Is -56 greater than i?
False
Let w = 4/33 + 10/99. Let g be 13940/1071 - -3*13/(-3). Is w equal to g?
False
Suppose 2*x - 2*n = 2*n + 42, 2*x = -5*n - 3. Let q be 1*3 - (-427)/91. Let d = q - -73/26. Is d bigger than x?
False
Let o = 74 + -74. Suppose o = -34*d - 555 + 113. Is -17 < d?
True
Let b be (-923)/(-133) + -13*45/(-1365). Let h = -6670/931 + b. Which is greater: -1 or h?
h
Let c = -0.591 + 250.591. Let i = c + -252. Is 1.4 < i?
False
Let c = -110455136/64276065 + -66/340085. Let z = c + 2/459. Which is smaller: z or -1?
z
Suppose -k = -4*k + 5*k. Let p be -5*((-80)/25 + k). Which is smaller: p or 17?
p
Let a be (-2 + (-50)/(-6))/(2/6). Suppose 0 = -u + a - 40. Let m be (-18)/(-8)*(-33 - u). Is -29 > m?
False
Let z(v) = -2*v**2 + 8*v + 8. Let k be z(-1). Let b = 63 - 123. Let f be 2 + -3*(-104)/b. Does k = f?
False
Let f = 26 + 68. Let n = -15 - f. Let a = n - -979/9. Is 1 not equal to a?
True
Let t = -485/3021 - -2/53. Is t > 0?
False
Let l be (5 - 2) + 8/((-208)/(-1977)). Let y = l + -79. Suppose -10 = -q - 4*c - 1, 9 = -q + 5*c. Is y greater than or equal to q?
False
Let o(v) = -v**3 - 72*v**2 + 2*v + 155. Let f be o(-72). Let r be ((-1380)/27)/(-5) + 0. Which is greater: f or r?
f
Suppose -10*f - 64 = -12*f. Let p be f/20 - (12/(-5) + 2). Suppose -6 = -u + 5*y, 5*u + 3*y - 5*y = 30. Is u > p?
True
Suppose 4*a - 80 = 20. Suppose -5*v = -2*i - a, v - 2*v = -5*i - 28. Let c be -48*v/27*-3. Which is greater: c or 14?
c
Let q = -12 - -17. Suppose -10*n + 144 = -26*n. Let r be ((-1)/(-13))/(((-126)/n)/672). Which is greater: r or q?
q
Let g be (3 + 1)*(4 + (-63)/2). Let k be (g/12 - -5)*1/(-15). Which is smaller: k or 0?
0
Let x = 219 + -277. Let j = x - -60.9. Is j > 0.2?
True
Let o be (-1 + 788/688)/((-873)/(-108) + -8). Which is greater: 2 or o?
2
Let y = -105037/7195 - 2/1439. Is y bigger than -38?
True
Let t(n) = 8*n**2 - 34*n + 23. Let s be t(6). Let v = s - 217/2. Are 1.9 and v equal?
False
Suppose -2*o = 5*r - 50, -2*r - o + 9 = -10. Let j be (9/r)/((-3)/2). Which is bigger: -100 or j?
j
Let j be (-24)/(-20) - 2 - -1. Let l = 11.2 - -3.8. Let v = l - 15.9. Which is smaller: j or v?
v
Let z be 3/(1/1) - (-18 + 19). Let o be (z + -5 - -7 - 2) + 45. Let t = o + -46. Which is greater: t or 8/7?
8/7
Let f be (-10)/(-4)*(9/12 + 1199931/1660). Is f < 1810?
True
Let h = 0.34 + 0.06. Let u(j) be the first derivative of 4*j**2 + 111*j - 140. Let y be u(-13). Is h at most as big as y?
True
Let v = 650 - 623.7. Let c = -34860 + 34860. Which is smaller: v or c?
c
Let u = -5842084 + 1256515253/215. Let m = -2173 + u. Which is smaller: 1 or m?
m
Let o(t) = 2*t**2 + 17*t + 5. Let g be o(-7). Let r be (21 + g)/(5/(-2)). Are -68 and r nonequal?
True
Let n = 7017 + -6983. Which is smaller: -36 or n?
-36
Suppose 47 - 54 = 3*o - 5*b, -10 = -2*o - 4*b. Which is greater: o or -1/11610?
o
Suppose -3*c + 372 = 879. Let r(g) = g**3 + 3*g**2 + 11*g + 80. Let d be r(-6). Let p = d - c. Which is bigger: p or 76?
76
Suppose 0 = -d + 6*d - 250. Let l be ((-4)/155)/((-10)/d). Suppose 3*m = m. Which is bigger: l or m?
l
Let x(b) = 7*b + 37. Let l be x(-5). Let f be 69*l/(-3)*2/2. Which is bigger: -4 or f?
-4
Let l(d) = -d - 8*d - 40 + d + 51. Let c be l(5). Let v be (-1 + c)*17/(-68). Is 7 less than v?
True
Suppose -1080 = -10*g + 4*g. Let o = g + -144. Which is smaller: o or 32?
32
Suppose -59*d = -208*d - 149. Is d at most -1/1153?
True
Let t(y) = y**3 + 20*y**2 + 3*y + 289. Let p be t(-21). Which is smaller: -220 or p?
-220
Let c = -929 + 3170. Suppose -16*z + c = -223. Which is bigger: 155 or z?
155
Suppose 69*w = -75 - 85 + 91. Suppose 0 = 5*b - 0*u + 5*u - 20, -8 = 4*b - 4*u. Is b smaller than w?
False
Suppose -122*f + 117*f + 1215 = w, -4*f + 2*w = -986. Is f at most as big as 237?
False
Let o be (-4)/(-9) - (-57)/38*2778/(-81). Which is greater: o or -3