 -4 or l?
l
Let l(p) = -p**3 - 10*p**2 + 12*p + 17. Let y be l(-11). Let v(j) = -3*j**2 - y + 6*j + 4*j**2 - 4*j + j**3. Let n be v(-2). Is n > -14?
False
Let m(k) = 28*k - 309. Let p be m(11). Which is greater: -18/761 or p?
-18/761
Let c be -20*(-2)/5*-47. Which is smaller: -379 or c?
-379
Suppose -2*q = -5*q. Let i = -56/261 - 2/261. Which is greater: i or q?
q
Let q be (-6)/11 + 41/((-13530)/1393740). Is q at least -4224?
True
Let r(q) be the second derivative of q**4/12 + 9*q**3/2 + 23*q**2 + 16*q. Let g be r(-17). Let h = -186 - g. Are -63 and h equal?
False
Let v = 56 - 61. Let n be 7 - 1/((-1)/v). Which is bigger: -80 or n?
n
Let d = 376 + -122. Let m = d - 217. Is 38 at least m?
True
Let c be (-1876)/335*(-10)/5*5/(-66). Is c bigger than 2/27?
False
Let x(h) = 3*h**2 + 7*h + 20. Let o be x(-4). Let z be ((-3)/(54/(-4)))/(48/o). Let u(m) = m**3 + 5*m**2. Let g be u(-5). Are z and g equal?
False
Let i(u) = u**3 + 88*u**2 + 175*u + 263. Let m be i(-86). Let j be (-4)/(-6) - 356/(-6). Suppose m*c - 5*p = j, 0*c - 24 = -c + 4*p. Is c != 23/3?
True
Suppose o = -133 - 1213. Let x = o + 780. Do x and -567 have different values?
True
Let c = 133 + -226. Let i = c - -92.985. Which is greater: i or -0.2?
i
Suppose -149*f + 3336 = -427*f. Let y = 3 + -3.2. Is f greater than y?
False
Let u = -21/2479 - -6/67. Let q = 9756.9 + -9757. Which is smaller: q or u?
q
Let j be 88*(1 - 108/(-24)). Which is smaller: 481 or j?
481
Suppose 3*p = -3*h - p + 430, 3*p = 4*h - 540. Let j be (-6)/8*h/207. Which is greater: j or -39?
j
Let o be 4/(-4)*(-1 - 0). Are o and -1/692 non-equal?
True
Suppose 5*u = -5*v - 15, 5*u + 4*v - 9*v - 35 = 0. Let z be 3/u*(-18)/27. Which is bigger: z or -2/449?
-2/449
Suppose -4*o + 12 = l, 37 = 5*l + o - 4*o. Let s(g) = 9*g + 22. Let z be s(10). Suppose z*x = 79*x - 132. Is l >= x?
True
Let h be (-14 - 847)*8/(-12). Suppose 0 = 2*b - 2*c - 240 + h, b + 5*c = -149. Is -329/2 at least b?
False
Let s(p) = -p**3 + 8*p**2 + 3*p - 3. Let v be s(8). Let u be 498/4*(-14)/v. Let g = u - -82. Which is smaller: g or -8/21?
g
Let x = 65297/8 + -8161. Which is greater: x or 0.07?
x
Let d = -5.7 - -5.7. Suppose 174 = 2*i - 18. Suppose -4*o = -10*o - i. Which is smaller: o or d?
o
Let d be ((-3)/(-360))/((-2)/(-4)). Let h = 34294 - 34293. Which is greater: d or h?
h
Suppose -142*u = 624 + 185 + 2173. Let a be 2/4*6204/(-143). Is u < a?
False
Let r be 89552/107616*-3 + 10/4. Which is smaller: r or -1?
-1
Let y = -9 - -51. Suppose 5*b - 100 = -5*h, 3*b - 2*h + 3*h - 68 = 0. Let j be b/y + (-2 - -1). Is j <= 0.2?
True
Let p = 37 + -33. Suppose 2*r - 14 = 2*n + 5*r, -4*r + 48 = -p*n. Let d be (-6)/n*17/(-3). Is -2 less than d?
False
Let v(s) = s**2 + s - 2. Let q be v(-3). Suppose -q*t + 44 = -8*t. Let u(h) = 40*h - 689. Let a be u(17). Which is smaller: a or t?
t
Let u = -235 + 233.45. Let n = u - 23.45. Is n not equal to 2/7?
True
Let x = -1711857/23 + 74403. Which is smaller: -25 or x?
x
Let l(y) = y**2 - 38*y + 327. Let d be l(14). Does 0.3 = d?
False
Suppose 728*a = 2996*a - 27216. Let z be (-71)/(-3) + 1/3. Which is greater: a or z?
z
Let k = -0.027 - -78.027. Let o(x) = 215*x - 216. Let u be o(1). Which is greater: k or u?
k
Suppose -4*b = 0, 0*n = -n - 5*b + 63. Let p be ((-21)/n)/(1 + 475/(-474)). Suppose k - p = -k. Are k and 79 nonequal?
False
Let r = 317 + -313. Suppose 2*b = 5*d - 6, -b = -r*d + 3*d + 3. Which is smaller: b or -13/7?
b
Let r(m) = 6*m**2 - m - 1. Let d be r(-1). Let p = -95 + 41. Let q be 0 - p*(-3)/(-24). Which is smaller: q or d?
d
Let h be -25*32/(-40) - 4. Let t be 1/3*(-125 - h). Which is bigger: t or -140/3?
-140/3
Let m = 0.1632 + -826.1632. Let l = m - -825.9. Which is smaller: -82 or l?
-82
Let c = 0.3693 - 1.7693. Which is bigger: c or 199?
199
Let v be ((-66)/(-55))/6 + (40402/(-10) - -3). Is v <= -4039?
False
Let z = 0.132 + -0.072. Let q = z + 51.04. Let l = 51 - q. Is l <= 1/44?
True
Suppose -123 = 4*l + 4*w + 1729, 2*l - 13*w + 866 = 0. Which is smaller: -458 or l?
l
Let n be (5/1)/((-4)/(-7)) - 9. Is n > -64?
True
Suppose 17*v = -229 + 229. Is 3/859 greater than v?
True
Let k be -183*(4/(-12)*3)/(-3). Let v(u) = -u**3 - 7*u**2 + 7. Let x be v(-5). Let c = x - k. Which is smaller: 19 or c?
c
Let v = -86 - 0. Suppose 19 = -x + 5*a - a, -5*x = 5*a - 30. Is x greater than v?
True
Suppose -1384 = -5*p - 4*u + 582, 0 = 4*p + 2*u - 1574. Let c = -209 + p. Is c <= 186?
True
Let p be 15/4*(627/99 - 9). Which is bigger: p or -521?
p
Suppose 3*o + 56 = -4*f, 4*o + 37 = -3*f - 33. Let p = -12 - o. Let k be 11085/(-3275) + p - (-3)/(-5). Is 1 at least as big as k?
True
Let r = -3.04 - -0.76. Let y = 2.18 + r. Do y and 65 have the same value?
False
Let h = -6 - -5. Let z = -0.743 + -78.657. Let s = -81 - z. Which is greater: s or h?
h
Let n = -1047.8 + 72.8. Is -2 greater than or equal to n?
True
Let h = 4/159 + -179/795. Let a be 5994/(-2052) - 2/((-4)/6). Which is bigger: h or a?
a
Suppose 1763 = 22*w - 1713. Which is greater: 164 or w?
164
Let n = 2 - 2.19. Let g = 1.103 - 1.09. Let b = g - 3.013. Is n less than or equal to b?
False
Let r(y) = 8*y - 2. Let c be r(-5). Let z = c - -23. Let w be 0 + (1 - 0)*z. Do w and 1 have different values?
True
Let l(n) = 102*n + 3. Let d be l(7). Let o = d - 10751/15. Suppose -95*u + 122*u - 27 = 0. Is o greater than u?
False
Let o = -24725 - -33442. Is o at least as big as -2?
True
Let q = 1 - 1.4. Let y = 1.82 - -127.18. Let p = 121 - y. Which is smaller: q or p?
p
Let l = 8549 - 7866. Which is bigger: 3 or l?
l
Let h(l) = -l**3 + 16*l**2 + 18*l - 7. Let p be h(17). Let o be (-10)/6*(-546)/105. Is o greater than or equal to p?
False
Let w = -476.9988 - 0.0012. Let q = w - -478. Is -105 at least as big as q?
False
Let r = -17517 - -20095. Which is smaller: r or 2582?
r
Let i be 2/(1 - 2) + 7. Let w be 14/i*(2 + 3). Let y = -20686 - -20699. Which is smaller: y or w?
y
Suppose -929 - 4125 = -2*y. Let j be (y/(-56))/(-1) + 4/2. Let f = 47 - j. Do -1 and f have different values?
True
Let m(j) be the third derivative of j**4/8 - 2*j**3/3 + 16*j**2. Let z = -70 + 71. Let p be m(z). Is p > -3/2?
True
Let f = -5467 + 5467.3. Is f less than 0.1914?
False
Let v(l) = 2*l**2 + 3*l - 3. Let c be v(-5). Let u = -18 + c. Suppose -k + u = k. Which is smaller: 8 or k?
k
Let u = 106 + -93. Suppose 13*h + u = -0*h. Let y be (1/2*-2)/h. Which is smaller: y or 6/23?
6/23
Suppose -2 + 20 = 3*y. Let c be 91/(-21)*y/8. Let z = -99/28 - c. Which is greater: 5 or z?
5
Let q be 8/((-6)/4 - (-6)/(-12)). Let b = q - -22. Let f = b - 37/2. Which is bigger: f or -0.09?
-0.09
Let g be (-22 - 1)*-3*1. Let m(u) = u**3 + 32*u**2 - 116*u - 318. Let f be m(-35). Is g greater than f?
True
Suppose -2266 - 447 = -2*j - m, 4*j = 2*m + 5414. Are j and 1365 nonequal?
True
Suppose c = y + 5, -y - 6 = -9. Suppose 0 = -c*n - 11*n. Which is smaller: 10/49 or n?
n
Let h = -9956834/3293675 + 3/18821. Let c = h + 82/25. Which is bigger: c or 1?
1
Let f be (0 - (-5)/(-30))/((-3512)/(-1664) - 2). Which is greater: -3 or f?
f
Suppose 6*h - 5*o - 15000 = 0, -33*h = -35*h - 4*o + 5000. Which is bigger: 2501 or h?
2501
Let r = 13 - 220. Let y = r + 221. Suppose -4*a - 42 = -7*a. Is a greater than y?
False
Let p = 2.4 + -1.5. Let i = 65 - 257. Let f = 191 + i. Which is bigger: p or f?
p
Let s = -17 + 32. Suppose 3*c + 0*c = s. Let x = 0.00054 + 0.29946. Are c and x unequal?
True
Let z = -3304 + 3296. Are 81 and z non-equal?
True
Let p be (0 + -2)*((-54)/27 - (-70)/36). Do p and 1 have the same value?
False
Let m(f) be the third derivative of f**4/24 + f**3/2 - 30*f**2. Let t be m(-3). Suppose -13*u + 15*u - 8 = t. Is -1 != u?
True
Let c(w) = w**3 + 59*w**2 - 46*w + 270. Let n be c(-59). Which is smaller: 2985 or n?
n
Suppose -71*u = 39 + 529. Which is bigger: -18 or u?
u
Suppose -17 = -4*n + 47. Let l be (n/(-12))/(3/9). Let y = 548/45 - 758/45. Which is smaller: l or y?
y
Let x be ((-47)/3)/((-3)/9). Let f be (5 + 92/(-20))*10 - -2. Let b(v) = -8*v + 96. Let g be b(f). Is g < x?
False
Suppose 25*g - 4*g = 20349. Let i = g + -971. Which is bigger: i or 9?
9
Let j be (2 - (-10)/(-6))*15. Let y = 1512 + -1502. Suppose -j*u + 0*u = 4*d - y, -55 = -5*u + 5*d. Is 1 greater than or equal to u?
False
Suppose 0 = -323*q + 322*q + 391. S