 p + 2*p - 44, 0 = -4*p + 8. Which is smaller: f or d?
d
Let u(q) = q - 5. Suppose -b - 4*b = -15. Suppose -4*t = -5*l + 51, 6*t = -b*l + 2*t + 5. Let n be u(l). Which is greater: 4/3 or n?
n
Suppose -3*s = -9*s + 12. Suppose 4 = 3*q + 3*x - 20, 5*q - s*x = 54. Are 8 and q non-equal?
True
Let a be 9/(-45) + 6/5. Let w = 14 - 3. Let b = w + -9.9. Is a greater than b?
False
Let b = 2181 - 1910. Which is smaller: b or 269?
269
Let h(x) = -53*x + 478. Let g be h(9). Which is smaller: g or 4/531?
4/531
Let g be (1 - -1) + (-3 - 183/(-168)). Which is smaller: g or 0?
0
Let b = -23.6 - 6.4. Let d = b + 32. Which is smaller: d or -0.8?
-0.8
Let d be (6 - 9/3) + -2. Let b = 3 - d. Suppose 0 = b*o - v + 19, -2*v - 3 = o - 6. Which is greater: o or -4?
-4
Suppose 2*i + 82 - 84 = 0. Let k = -1859 - -440585/237. Which is smaller: k or i?
k
Suppose -l - t = 6, 0 = -3*l - 9*t + 11*t + 2. Let p be (l - (-5)/2)/(6/12). Are -4/39 and p unequal?
True
Let n = -142.9 + 142.8. Is -12/61 >= n?
False
Let z = 0.874 - 0.374. Is z < -0.04?
False
Suppose 2*m + 4 = -2*i + 14, 5*i + 20 = 4*m. Let o be (-6)/(-4)*m/15. Which is bigger: -16 or o?
o
Let z = 9897/8 - 1239. Suppose 130 - 61 = -t. Let u = t - -68. Which is smaller: u or z?
z
Suppose 9*r + 4 = 10*r. Let b = r - 13/3. Which is smaller: b or 1?
b
Let a = 33 - 15. Let j be 0/2*(-9)/a. Is j equal to -1/3?
False
Let l(g) = g**3 + 11*g**2 + 19*g - 7. Let z be l(-9). Suppose 1 = -n - 14. Are z and n non-equal?
True
Suppose -3*g - 9 = 7*o + 15, -g - 10 = 3*o. Let l = -7 + 11/2. Is g at most as big as l?
False
Let j = -0.2053 + 0.0053. Is -6.2 <= j?
True
Let q = 71 - 19. Let c = q + -57. Is 0.2 > c?
True
Let g = -1216 - -1217. Are 4/333 and g equal?
False
Let g be 318/1144 - (-4 + (-230)/(-55)). Which is greater: g or 0?
g
Suppose j - 25 = -2*o + 2*j, -5*o + 57 = 3*j. Let z(g) = -g**3 - 6*g**2 + 3*g + 6. Let y be z(-6). Let m = y + o. Is 0 != m?
False
Let x be 4 + 0/(-4*(-4)/16). Let d be 2/x - (-1005)/(-1890). Is -1 not equal to d?
True
Let q = -24.7 + 25. Which is greater: -1 or q?
q
Let z(h) = 2*h + 23. Let o be z(-10). Suppose k - 5*b - 407 = 0, -o*k - 5*b - 429 + 1670 = 0. Let q = k - 21838/53. Is q at least as big as 0?
False
Let y = 6 - 7. Let q be (-32)/(-22)*10/(-20). Which is bigger: y or q?
q
Let f = 104.1 - 104. Let d = -0.1 - 0.1. Let r = d + -0.3. Is r greater than f?
False
Let w = 355 + -354.9. Is -2.82 at least as big as w?
False
Let d be (-2 + (-32)/(-20))/((-35)/75). Is 2/3 greater than d?
False
Suppose m - 4 = -3*i, 4*i = -0*i - 5*m - 2. Which is greater: i or -3/2?
i
Let b = -204.3 + 213. Let d = b + -2.7. Let k = 4 + d. Is -2 > k?
False
Let y = -962 + 973. Let s = -10 - -15. Which is bigger: s or y?
y
Let o = -14 + 13.46. Let s = 0.06 - o. Let r = 0.4 - s. Does r = -0.2?
True
Let s be (4070/8)/((-295)/(-118)). Does s = 203?
False
Let z be (-4)/(-5)*50/10. Suppose 4*t - 2*g = 3*g - 160, -5*t = z*g + 241. Let y be 252/t + 2/(-5). Are y and -6 non-equal?
False
Let y = 19 + -17. Let m(g) = g**3 - 6*g**2 + 2*g - 2. Let z be m(6). Let t be 12/(-15)*z/(-4). Is y at least t?
True
Let x = 5/144 - 467/1008. Suppose -2*q = -3*j - 5, -6 + 20 = -2*j + 4*q. Which is bigger: j or x?
j
Suppose -43*s - 39508 = 40*s. Do -476 and s have the same value?
True
Let p be -121 - -118 - (-556 + (-2)/(-1)). Is 553 > p?
True
Suppose 0 = 26*k + 6*k. Is -2/369 < k?
True
Suppose 2*z - 8 = z. Suppose v - z = -5. Let k = v + 5. Which is smaller: k or 6?
6
Let p = 13.8 + 4.2. Let b = -19 + p. Let q = b + 1.12. Which is bigger: q or -1?
q
Let n(c) = 18*c + 587. Let z be n(-7). Do z and 459 have the same value?
False
Let z be (-8)/11*(-14)/(-168)*6. Let w(a) = -5*a**3 + a - 1. Let g be w(1). Let y = g - -4. Which is smaller: z or y?
y
Let w = -1885 - -1898. Which is smaller: w or -8?
-8
Let r be (8 - 4)/((-3)/(-5)). Let g = -4 - -2. Is r greater than g?
True
Let v = 97 - 104. Let z = -4 - -3. Which is greater: z or v?
z
Let d = 0 - -163. Let o = -335/2 + d. Which is bigger: -5 or o?
o
Let b be (-2)/(-15) - ((-14413)/1120 - -13). Which is smaller: -1 or b?
-1
Let a = 671 - 558. Is a >= 112?
True
Let y = 2188 + -2139. Is y > 11?
True
Let a = -0.227 - -136.227. Let i = a + -126. Which is bigger: -6 or i?
i
Suppose -3*c - 4*y - 2 = 0, -4*y - 4 = -22*c + 26*c. Is c bigger than -14/25?
False
Let x(f) be the second derivative of 5*f**3/6 - 10*f**2 + 2*f. Let p be x(4). Are p and -2/47 equal?
False
Let b be ((0/(-5))/(-4))/2. Let o = -47 - -23. Let p be 1 - 5*(-3)/o. Which is smaller: p or b?
b
Let x = -135 + 233. Is x smaller than 98?
False
Suppose 2*p + 115 = 6*p + x, -3*p = 4*x - 70. Suppose -4*o = -v - 15, -p = 3*v - 2*o - 5. Suppose -g = 2*g + 9. Is g > v?
True
Let z be (-19610)/40 - 3/(-12)*1. Is z at most as big as -489?
True
Let q be (332/83)/(-2 + (-5)/(-2)). Which is bigger: q or 15?
15
Let i be (-1)/(1124/280 + -4). Let v be 106/(-5) - (-56)/i. Is v < -22?
False
Let i be ((-3)/(-24)*-6)/(14/(-112)). Let z be 0 - 3/(-1) - -2. Suppose -z*l + 25 = 0, -5*m + 3*l = i*l + 30. Which is smaller: m or 1/2?
m
Let a(w) = w**2 + 11*w + 9. Let j be -6*(-12)/(-8) - 1. Let g be a(j). Which is greater: g or -2/59?
-2/59
Let s be (5 + -9)/((-12)/15). Suppose 8 + 17 = s*u. Suppose -u*q = -10*q. Which is greater: 2/27 or q?
2/27
Let m = -300 - -299. Which is bigger: m or -8/109?
-8/109
Let t = -6 - 3. Let c(r) = r**2 + 10*r - 2. Let s be c(t). Let n be 28/s - (-10)/5. Is -2/3 >= n?
False
Let k = 1.75 + -0.15. Let q = 5.4 + k. Let d = -2.9 - -4.9. Is d at least q?
False
Let f(r) = -3*r**2 - 14*r - 3. Let q be f(-6). Is q != -27?
False
Let a = 588 + -2409/4. Is a at least -15?
True
Let m = 85 - 1021/12. Let z be (-3)/3 + 39/57. Let v = -31/38 - z. Is v less than m?
True
Suppose 4 = -6*x + 5*x. Let s be -3 - ((8 - -1) + x). Let w = -17 + 9. Does w = s?
True
Let f(b) = -b**2 + 5*b + 8. Let s(h) = 2*h**2 - 10*h - 17. Let a(u) = -10*f(u) - 4*s(u). Let z be a(7). Which is smaller: 15 or z?
15
Let z = 3014/5299 + 2/757. Let d = -5/21 + z. Is d greater than 4?
False
Suppose -4*u - 4*j = -32, -u + j + 13 = u. Suppose 3*x = u*x + 4, i = 3*x + 2. Which is smaller: -3/19 or i?
i
Let u be ((-46)/8)/(3/(-12)). Let y be ((-16)/(-8))/(((-6)/23)/3). Let o = y + u. Does o = 1?
False
Let h be (-4)/18 - 220/(-99) - 3. Which is smaller: -2/455 or h?
h
Let v = 4.77 + -0.07. Let d = v + -4.6. Which is smaller: -0.3 or d?
-0.3
Let x = -1427 - -1428. Let d(r) = -r + 6. Let h be d(3). Suppose -8 = h*t + t. Which is bigger: x or t?
x
Let q = -25.3 + 25. Which is bigger: -1/53 or q?
-1/53
Suppose -5*r - m - 39 = 0, -2*r - 3*m + 26 = 39. Are r and -6 non-equal?
True
Let b = -33/10 - -413/110. Which is smaller: 0 or b?
0
Suppose 0*b + 4*b = -d + 24, -3*b + 3*d = -18. Suppose -c + 12 = 3*s - b*c, 12 = 3*s - 3*c. Let x be s/(-18) - 70/(-180). Is x equal to -1/3?
False
Let l = 17 - 18. Let y = -422631/6734 + -12/481. Let o = y - -125/2. Which is bigger: o or l?
o
Let p(q) = -q**2 + 3. Let x be p(0). Suppose 3 + x = y. Suppose -51*l + 42*l + 54 = 0. Is l >= y?
True
Suppose -2 = -5*o - 27. Let n be o + (42/(-1))/(-2). Are 16 and n equal?
True
Suppose -109*n + 10 = -99*n. Which is smaller: n or 2/193?
2/193
Let h(t) = -29*t**3 + t**2. Let l be h(-1). Let z be (-6)/l - 43483/6795. Let r = z - 1/1359. Which is greater: -6 or r?
-6
Suppose 4*q + q - 36 = -4*g, -2*q - g + 12 = 0. Suppose q*n = 5*z - 5, 4*z - 5 = n - 1. Are z and 2/13 nonequal?
True
Let o(f) = 7*f - 4. Let t be o(1). Let j = -10 - -28. Let r be j/12 - (-2)/4. Are t and r equal?
False
Let y = 4/6123 - -3502/887835. Is y less than or equal to -1?
False
Let g(c) = -2*c**3 - 5*c**2 - 8*c + 30. Let h be g(3). Are h and -646/7 unequal?
True
Let d = -0.34843 - -0.14843. Let t = -0.1 + -0.6. Is d less than t?
False
Suppose -62 = -0*f + 2*f. Let h(b) = -121*b - 4629. Let z be h(-38). Is f at most as big as z?
True
Let y = 239/21540 + 2/359. Which is greater: 1 or y?
1
Let h = 1526 + -7694/5. Is -12 greater than h?
True
Let u = -39.6 - -313.6. Let l = -286.7 + u. Let w = l - -13. Is w less than or equal to 0.2?
False
Let q(u) = -u**3 + 5*u**2 + 15*u - 6. Let v be q(7). Are 2/217 and v equal?
False
Let q = -2267/8 - -283. Are 0.4 and q equal?
False
Let y(r) = -r**2 - r + 2. Let v be y(3). Let b(c) = -2*c - 14. Let o be b(v). Suppose 