-33*i - 12*i. Which is bigger: i or g?
g
Let n = -27 + 33. Suppose -5*c = -n*c - 17. Are -17 and c equal?
True
Let k be (1/(-4))/(135/3120). Is -5 > k?
True
Let j(f) = -2*f - 9. Let k be j(-6). Suppose 4*l - k = 5*l. Let d be 1/1*(-4 + 8 + -9). Which is smaller: l or d?
d
Suppose -10*r - 2*p = -5*r + 16, -3*r + 5*p + 9 = 0. Which is smaller: r or 0.2?
r
Let d = 43 - 42. Let b be ((2 + -2)/d)/(-1). Which is greater: -1/32 or b?
b
Let v = 19 - 9. Suppose -4*h = -5*f - h + 7, -5*f = -4*h - 6. Suppose -4*o = f + v. Is o >= -18/5?
True
Let z(k) = -15*k**3 - 1. Let l(d) = -d**3 - d**2 + 2*d - 1. Let v be l(1). Let r be z(v). Is r at most 14?
True
Let j(z) = -2*z**2 + 49*z + 345. Let f be j(-23). Does 0 = f?
False
Let u be (-2)/7 + (-82)/(-238). Does u = 1?
False
Let t(k) = -k**3 + 4*k**2 + 4. Let n be t(4). Suppose v + 6 = n*v. Suppose -2 = -3*w + v*w. Which is smaller: 4 or w?
w
Let o = -245 - -247. Which is smaller: o or -2?
-2
Let g be ((-15)/(-10))/((-1)/(-2)). Let d(w) = 2*w**2 + 3*w + 3. Let i be d(-2). Let r = g - i. Is -1 < r?
False
Let k(i) = i**3 - 14*i**2 + 15*i + 10. Let m be k(13). Let h = 37 - m. Which is bigger: 0 or h?
h
Let i be (9/(-6))/(2/(-4)). Let a be 17 - (4 + -1 - i). Which is bigger: a or 16?
a
Let l be (-6 + 2 + 0)/(28/(-326)). Is 48 equal to l?
False
Suppose -4*p = -39 - 41. Let k be 60/(-3)*(-5)/p. Suppose -3*s - 3 = s - k*v, 5*s - 9 = 2*v. Is s less than 2?
False
Let w be 20/30*(9/6 + 0). Are 14/43 and w non-equal?
True
Let y = -50 - 2. Let f be 7/105*-6 + y/(-105). Is f <= -2?
False
Suppose -6*n + 3 = -3*n. Suppose 0*l = l - 1. Do n and l have different values?
False
Let y = 2.01 + -105.01. Let z = -92 - y. Let v be 0 - (0 + (-2)/(-2)). Which is bigger: v or z?
z
Suppose 26 = 2*w + 30. Let i be ((12/(-6))/(w/4))/(-1). Which is smaller: -3 or i?
i
Let g = 170 + 11. Is g greater than 541/3?
True
Let l = 97 + -51. Is l greater than or equal to 326/7?
False
Let q(f) = -10*f**2 - 350*f + 19. Let t be q(-35). Is 79/4 >= t?
True
Suppose -25*d = -23*d + 34. Let g be 5/5 + 3 - d. Is 23 at least as big as g?
True
Suppose 4*r + 2 = 5*r. Let h be r/(-3) - (-28)/24. Suppose -6*y + 2*y = -5*c - 16, -3*y + 5*c = -17. Is y >= h?
False
Suppose -4 = -3*r + q + 3, 0 = 2*r + 4*q - 28. Suppose -r*b = -b - 4*k, 0 = 2*k. Do 4/5 and b have different values?
True
Let v = -77111/2521624 + -3/9736. Do 0 and v have different values?
True
Let r be (-22)/18 + (-9)/(648/(-16)). Is -10/19 bigger than r?
True
Let h be (1 - 27)*16/(-32). Let l(y) = y**2 - 15*y + 27. Let q be l(h). Let b = 4.3 + -0.3. Is q less than b?
True
Suppose 0*g - 20 = -4*g. Suppose -81 = -2*z + g*z. Which is bigger: z or -26?
-26
Suppose 5*x + 22 = -4*c, -4*c + 4 = -4*x + 8. Let g = 45 + -25. Suppose 2*n + 4*q = -g, q = 5*n + 2*q + 23. Which is smaller: n or c?
n
Let v = -43.5 + 36. Let s = -5.5 - v. Which is smaller: s or -10?
-10
Let o = -12 + 16. Let r = o + 2. Let p = r - 22. Is p greater than or equal to -16?
True
Let q be 3/(((-81)/(-6) + 7)/(-1)). Which is smaller: q or -1?
-1
Let f(b) be the first derivative of -b**2 - 9*b - 15. Suppose -3*h - 29 = 5*v, -5*v + 0*v - 32 = 4*h. Let i be f(v). Is i >= -2/95?
False
Let q = 131/52 + 169/4. Which is smaller: 46 or q?
q
Let z be 33/297*38/3. Which is smaller: 2 or z?
z
Suppose p + 2*r - 5*r = 31, 3*r = 4*p - 97. Suppose p = 4*z + 2*s, 4*z + 6 = 5*s - 7. Suppose 16 = -a - z*a. Do a and -1 have different values?
True
Suppose -74*x - 6 = -72*x, 3*x = -4*j - 5. Which is smaller: j or -1/81?
-1/81
Let z be -4*((-42)/48)/(-7). Is z not equal to 307?
True
Suppose 7*b - 5 = 2*b. Suppose 7*p - 4*p - 3*q = 0, -q - b = -2*p. Let g = 2/57 - -62/399. Is g >= p?
False
Let j be -12 + 14 - 3295/(-7 + 2). Which is greater: 662 or j?
662
Let v = -10845001974/1728421081055 + 1440/229529. Let a = v + 1015109344/32101647585. Let x = a + 4/435. Is 1 bigger than x?
True
Suppose 0 = 3*u - 7 - 20. Let i(b) = b**2 + 2*b - 2. Let s be i(2). Is s greater than or equal to u?
False
Let j(z) = -3*z. Let m be j(-1). Let s(f) = -f**3 + 3*f**2 + 4*f - 6. Let r be s(4). Let b(p) = -3*p**2 - 19*p - 1. Let g be b(r). Which is greater: g or m?
g
Suppose 3 - 6 = -d. Suppose d*s + s = 28. Let x(a) = 6*a**2 + 2*a + 1. Let f be x(-1). Are f and s non-equal?
True
Suppose 17*c = -31 - 20. Which is smaller: -7 or c?
-7
Suppose 3*u = -4 + 1. Let t be (-170)/56 + 1239/708. Do u and t have different values?
True
Let z(p) = -12*p - 8. Let n be z(-8). Let i = n - 89. Which is smaller: i or 2/53?
i
Let f(g) = g**3 - 22*g + 66. Let i be f(3). Which is smaller: -0.04 or i?
-0.04
Let k = -1584 - -1585. Which is smaller: 9.4 or k?
k
Let w be (-30)/(-190)*(1 + 20/(-12)). Is w > 54?
False
Let z(b) = b**2 + 11*b - 42. Let u(s) = s**3 + 3*s**2 - 2*s - 14. Let p be u(0). Let h be z(p). Which is smaller: -7 or h?
-7
Suppose 4*d - 7*q + 3*q - 220 = 0, -4*d = -q - 211. Which is greater: d or 157/3?
157/3
Let h = -34862 - -9064169/260. Let a = h + 1/260. Which is smaller: 0 or a?
0
Suppose 3*k - 2*k = a + 1, -2*a + 5*k = -4. Let q(b) = b**2 - b - 4. Let u be q(a). Let h be (6/(-4))/((-27)/u). Which is greater: h or 1?
1
Suppose 4*m - 3*s = -4, -2*m - s + 12 = s. Suppose 0 = -3*n - 5*d + 12, -m*n + 2*d = -3*n + 4. Let p be (-64)/60*10/n. Which is bigger: p or -2?
-2
Let x be -7 + (8/5)/(16/40). Suppose 4*v + 5 = 4*w + 21, 36 = -4*w - v. Which is smaller: w or x?
w
Let b be (-173)/465 + 57/171. Are -1 and b unequal?
True
Let g(v) = -v**3 - 13*v**2 + v + 135. Let z be g(-15). Is z < 570?
False
Let c = 0.3 + 0.7. Let o = 0.0291 - -75.9709. Is o at least as big as c?
True
Suppose 37*r - 1 = -38. Suppose 3*h + 16 = -o + 8*h, -5*o - 5*h + 40 = 0. Suppose -9 = l + o*j, 6*l - l = -j + 12. Which is smaller: l or r?
r
Let q(d) = -4*d**3 - 6*d**2 - 3*d + 8. Let w be q(4). Let i be (-6)/9*(-12)/w. Is i >= 0?
False
Let a = -66 - -72. Suppose -a*n = n. Which is bigger: n or -13?
n
Let v = 272 + -273. Which is smaller: v or 3/256?
v
Suppose 3*o + 75 = 2*b - 4*b, 2*o + 160 = -5*b. Let m be (2/5)/(b/50). Is -2 < m?
True
Let l be (-8)/(-60)*3/4. Let k(w) = w**2 - 7*w + 1. Let z be k(7). Is z < l?
False
Let s be (((-15)/2)/1)/((-2)/(-12)). Is s at most as big as -41?
True
Let r = -122512 + 1224029/10. Let b = r + 109. Let h(o) = 2*o**2 + 11*o + 6. Let m be h(-5). Which is bigger: m or b?
m
Let q be 845/(-20) + 1/4. Let h be (-4)/(-6)*q/(-4). Suppose -h = 5*s - 2. Which is smaller: s or -10/9?
-10/9
Let z = -1394753/7 + 198420. Let f = z - -829. Is f at least as big as -2?
True
Let h be 3 + 1 + 5 + -7. Suppose -i + 0*i + 2 = 0. Suppose -8 = -i*v - h. Is v bigger than 2?
True
Let k be ((-3)/(-2))/(33/36 + -1). Which is smaller: -172/9 or k?
-172/9
Suppose 2*c - 3*c = -4*i - 16, 0 = i + 4*c + 4. Let v be 18/(-15)*(-5)/(-2). Is v smaller than i?
False
Let u = -3937/124653 - 5/1123. Is u > 1?
False
Let d be 18/126 - (-2)/(-14). Suppose 0 = -2*v - d*v - 24. Let l be v/(-54) - 4/18. Is -6/13 bigger than l?
False
Suppose -5*u + 15 = -0*u, -4*w + 4*u + 596 = 0. Do w and 153 have the same value?
False
Let c = -806 + 591. Is c less than or equal to -214?
True
Let l = -131 - -132. Let j be 2 + -9 + 2 + 1. Let p be j*(411/414 - l). Which is smaller: p or -1?
-1
Suppose 5*o = -29 + 24. Is 20/43 not equal to o?
True
Let f = 20.79 + 0.21. Let s = 20 - f. Is s equal to 0.4?
False
Suppose 0 = 2*j - 5*j + j. Suppose 3*r + 10*r - 195 = j. Is r > 15?
False
Let n(a) = a**3 - 4*a**2 - a - 1. Let l be n(0). Is -7/60 >= l?
True
Let n(u) = -u**3 - 6*u**2 - 5*u + 4. Suppose 2*z + 14 = -0*s - 3*s, 5*z = 10. Let i be s - (-1 + 2) - -2. Let o be n(i). Is 2/3 at least as big as o?
False
Let a = 0.07 - -0.09. Let u = 0.06 + -0.16. Let j = u + a. Is j < -1/4?
False
Suppose 5*v = r - 5, 1 = v + 4*r + 2. Let o be (9/6)/(87/6). Is v not equal to o?
True
Let r = -806/5 + 89476/555. Let z be (2 - (-2)/(-2))/(-1). Which is smaller: z or r?
z
Let i(s) = 7*s + 8. Let b be i(4). Suppose -u + 8 = 3*x - 0, 3*x - b = 3*u. Which is greater: u or 1/3?
1/3
Let r = -315 - -320. Which is bigger: r or 1.2?
r
Let w(z) = z**3 - 2*z**2 - 2*z - 1. Let t(j) = j**2 + 6*j + 4. Let f be t(-5). Let r be w(f). Let g be r/(-3) - 22/30. Does -1 = g?
False
Let b(a) = -3*a - 1. Let t(n) = 4*n + 1. Let k(y) = 3*b(y) + 2*t(y). Let h be k(-2). Let w = 0.02 + -0.09. Is w bi