be q(-2). Let m = -1.09 + 1.1. Let w = m - 1.01. Is w less than or equal to i?
True
Let d = 32 - 50.3. Let y = 5.7 - d. Let q = -25 + y. Which is greater: -10 or q?
q
Suppose -7*l + 2 + 89 = 0. Suppose 17*p - l*p = 16. Which is smaller: 28/9 or p?
28/9
Let t(z) = -z**2 + 44*z - 7093. Let h be t(82). Is h at most as big as 0?
True
Let j = -145/2 + 1597/22. Suppose 0 = 10*z + 38 + 12. Which is smaller: z or j?
z
Let i = -8.396 + 8. Let w = -16.754 + i. Let y = 0.15 + w. Which is smaller: 0.2 or y?
y
Let h = -1072375 - -5331537/5. Let d = -6087 - h. Is -19 bigger than d?
True
Let i be (30/36 + (-39)/36)/(57/(-12)). Is 0 less than or equal to i?
True
Let l be 7*1 + ((-22)/(-12))/(25/(-100)). Let r be ((-30)/8)/((-3)/48). Which is bigger: l or r?
r
Let b be 492/30*(3 + 3/(-6)). Let w = b - 40. Let z be (w - (-894)/(-540)) + (-2)/(-3). Is 1 > z?
True
Suppose -3*s + 15*h - 13*h = 16140, -5*h = 0. Let y = s - -21379/4. Do -34 and y have different values?
True
Let h(i) = -2981*i + 319. Let l be h(2). Is l at most as big as -1?
True
Let q = -51 - -52. Let x be 92/115*q/((-1)/(-5)). Suppose x*k - 3*z + 1 = -2, -z = 3*k - 1. Which is smaller: k or 1/14?
k
Suppose 0 = 14*k - 155*k - 62*k - 36743. Is k <= -42?
True
Let x = -80497 + 8371685/104. Let j = -1 - -1. Which is smaller: x or j?
x
Let z(h) = 81*h - 2512. Let j be z(31). Which is smaller: 15126 or j?
j
Let w = -3954401/523 - -7561. Let r be (0/2)/(13*35/(-3640)*24). Which is smaller: w or r?
r
Let a = -55/4 - -10957/796. Do 1 and a have the same value?
False
Let w = -423 + 459. Let g(c) = -9*c - 73. Let n be g(-12). Is w != n?
True
Suppose 1 = v + 4*c - 15, -3*v - 3*c + 3 = 0. Let d be v*(4/(-16) - -1)/(-1). Are d and -1 non-equal?
True
Let h(p) = p**3 - 22*p**2 - 19*p + 290. Let i be h(23). Which is smaller: 384 or i?
i
Let b = -653 + 653. Suppose 2*s + 9 = 3*a, -s + 5*a = -0*s + 8. Let q be (27/2)/s + 3. Which is bigger: b or q?
b
Suppose -4*g + 403 = 2*q + g, -5*q = -g - 967. Is q less than or equal to 2926/15?
True
Let u = 7552 + -8614. Are u and -1065 equal?
False
Let x(n) = 5*n**2 + 133*n + 38. Let m be x(-26). Let p = -14493 + 101161/7. Which is smaller: m or p?
p
Let g(u) = 31*u - 1390. Let v be g(45). Is 167 less than v?
False
Let n = 1195 - 1906. Let w be (-1)/(-4) - n/(-12). Let y = w - -70. Do 11 and y have the same value?
True
Let b be ((-2)/50)/(39/130). Is 73/7 < b?
False
Let d(t) = -6*t - 11. Let o be d(-3). Suppose 4*k - o*k - 27 = -3*b, -4 = -2*b. Is k equal to -4?
False
Let a(y) = y**3 + 15*y**2 - 37*y - 34. Let v be a(-17). Let t be 9/2*(3 - 1). Let b = t - -9. Is v greater than b?
False
Let v = -6055 - -6663. Do 616 and v have different values?
True
Let z be -4 - (575/(-46))/(1/2). Let v be ((-40)/7)/(6/z). Which is smaller: v or -130/7?
v
Let a be 23*(-1827)/(-2001) - (-1234)/(-60). Let n = 0 - -1. Which is bigger: a or n?
n
Let p(l) = -l**3 + 7*l**2 - 55*l + 279. Let x be p(5). Are 24 and x non-equal?
True
Suppose -17*s = -24*s + 721. Suppose 0 = 10*w + s + 417. Which is smaller: w or -54?
-54
Let s be -1*(-4)/72*-6. Which is bigger: 0 or s?
0
Let h = -11 - -24. Let p be (0 + -2 - (3 - 9)) + h. Let y be (-41)/5 - p/(-85). Which is smaller: -6 or y?
y
Let b(j) = j**3 + 21*j**2 + 6*j + 125. Let i be b(-21). Are i and -3/608 equal?
False
Suppose w = 4*w + 5*s + 24, -4*w - s = 49. Let f(b) = -b - 19. Let u(d) = 3*d + 55. Let g(l) = 21*f(l) + 6*u(l). Let i be g(-19). Is i at least w?
True
Suppose -4*o = -a - 3, 4*a - a - 8 = -5*o. Suppose -20*x + 26*x - 30 = 0. Let z be (4 - x) + (-1557)/(-1551). Which is greater: o or z?
o
Let p(q) = q**2 + 2*q - 5. Let o be p(5). Let z = 42227/5 + -8416. Let k = o - z. Which is bigger: 0 or k?
k
Let a(j) = -j**2 + 10*j + 9. Let g be a(11). Let y be -1*(2 + -3 + g). Suppose -y*l - k = -139, -3*l + 51 = -2*l + 5*k. Which is smaller: 1 or l?
1
Let t(v) = -v**3 + 6*v**2 + 8*v - 6. Let n be t(7). Let o be 12/42 - (-2276)/(-28). Let a be (o/342)/((-3)/1). Which is bigger: n or a?
n
Let m(b) = 16*b - 6. Let o be m(7). Let x(j) = 485*j + 54427. Let n be x(-112). Is n >= o?
True
Suppose 19*s - 44*s + 50 = 0. Let u be 219/630 - 1/(-2). Let k = u + 13/15. Is k <= s?
True
Let q be (-156)/(-27) + 4/18. Let l be 2 - (q - 7)/(2/(-6)). Do -2/45 and l have different values?
True
Suppose -16*s + 2*s = -336. Suppose -s*o + 9 = -21*o, -2*r = 4*o + 6. Is -10 > r?
False
Let k(s) be the second derivative of 5*s**4/12 - 59*s**3/6 - 6*s**2 - 204*s. Let j be k(12). Which is greater: -8/59 or j?
j
Let m = -45 - -45. Let p be (-8 - -12)*(m + -1). Let v be p/(-16) + 146/(-8) + -1. Which is greater: v or -18?
-18
Suppose 4*z + 5*k - 144 + 51 = 0, 15 = z + 2*k. Let d be 5/(-2)*(-2)/(-10). Is d at most as big as z?
True
Let y be (438/(-30) - -5)/((-6)/100). Let j be 4/20*0 + y/(-55). Is 0.1 at most j?
False
Let l = -859389 + 859309. Suppose -2*b - a - 17 = 2*a, -5*a - 26 = b. Which is smaller: b or l?
l
Let t be (-2)/(30/(-47)) + (-22)/(-33). Suppose -5*i = 5*b, -5*i - 36 = -3*b - b. Suppose 2*o - 6 = b*f, 4*f + 3 = -2*o + 9. Is o equal to t?
False
Let y(u) be the first derivative of -u**4/4 - 2*u**3 - u**2/2 + 35*u - 58. Let v be y(-8). Which is greater: v or 172?
172
Let c be 80/12*96/20. Suppose -q = -u - c, 3*u - 5*q = 19 - 107. Which is smaller: -38 or u?
-38
Let g = -1625.8564 + -0.1436. Which is smaller: g or -1?
g
Let x be (-18)/(((-30)/4)/(-5)). Let v(j) = 2*j**2 + 25*j + 16. Let b be v(x). Suppose 0 = -4*l + b*q - 2*q, -4*l = -5*q. Which is smaller: -8 or l?
-8
Let s(h) = -5*h**2 - 560*h + 383. Let u be s(-113). Do u and -155 have the same value?
False
Suppose -18*i + 615 = -360 + 147. Suppose 42 = 2*b - 54. Is b not equal to i?
True
Let h = 243.3 + -156.3. Let s = -0.036 - -31.036. Let m = s - h. Which is greater: 0 or m?
0
Suppose 27009*h = 27022*h + 4524. Is -348 less than h?
False
Let p be 8*1/14 - 44/28. Let i be (0 - p)/(1*2/(-114)). Which is bigger: i or -59?
i
Let z(i) = 48*i + 203. Let n be z(-4). Suppose n*b = -160 - 148. Is b at least as big as -147/5?
True
Let k be 43/(2937932/1710)*(64/6)/4. Is 0 greater than or equal to k?
False
Suppose 2*s - 31 = 4*a - 7, 0 = 3*a + s + 23. Let d be (30/a)/((-40)/140). Which is bigger: d or 25?
25
Let m be ((5/(-15))/((-4)/96))/(-2). Let s be (m + 0)/(-4)*1. Is 2/73 bigger than s?
False
Let j be ((-2)/(-1))/(3 + -22). Suppose 0 = 8*h - 10*h + 4. Let t be (h*-1)/(2 + 4 + -11). Which is bigger: t or j?
t
Let s be ((-2 - -4) + 7)/(0 - -1). Suppose -s*m = -7 - 29. Is 6 at least as big as m?
True
Let d(v) = v**2 - 7*v + 8. Let u be d(5). Let t = 13 - u. Let b = t - 14. Is 2/25 < b?
True
Let m(s) = -43*s - 586. Let q be m(-14). Is q bigger than -6?
True
Let o be 131/7 + 24/84. Suppose -4*v = -o - 9. Let z be (5*1/15)/(24/(-216)). Is v <= z?
False
Suppose -3*p = 5*l - 4*l - 159, -p + 61 = 3*l. Suppose 0 = 2*k + y + 23, 3*k + 2*y = -3*y - p. Let g(i) = i**3 - 4*i**2 - i + 2. Let d be g(3). Is d at least k?
False
Let k be 8/6*(-4698)/(-12). Let i = 304 - k. Which is smaller: i or -220?
-220
Let o = -8840 - -8540. Which is greater: -299 or o?
-299
Let w be -2 + 4009 - 5/(-1). Do w and 4013 have the same value?
False
Suppose -19003*o + 7868 = -19010*o. Which is bigger: -1125 or o?
o
Suppose -10*p - 16104 - 7029 = -5283. Is p smaller than -1786?
False
Let d = -3553 + 3552.6. Which is greater: d or 45?
45
Suppose -20942 = -108*l + 182*l. Do -284 and l have different values?
True
Let m = 5446 - 5400. Is 6 greater than m?
False
Let r(y) = -y**2 - 25*y - 112. Let t(f) = 2*f**2 - 14*f - 94. Let s be t(11). Let w be r(s). Which is greater: w or 7/12?
w
Suppose 15*g - 26*g - 88 = 0. Let y(a) = 2*a**2 - 2*a - 1. Let j be y(-1). Which is smaller: j or g?
g
Let k = 28554229/224 + -127464. Let s = k + -71/7. Which is greater: 1 or s?
1
Let q be 360/(-110) - (-3 + 2 - 1). Let w be 6 - (-6)/(-9)*12. Is q less than w?
False
Let w be (-2 - -22)*(-6)/(-6)*-2. Let s be (-26)/(-91) - (w/7 + 3). Do 23 and s have different values?
True
Let d(x) = 10*x - 70. Let y be d(9). Let h be y + -16 + 219/(-33) + 1. Which is smaller: -3 or h?
-3
Let a = -82/17 + 13561/2822. Let z = 61/1079 + a. Which is smaller: 0 or z?
0
Suppose 13877 = 7*b - 42445. Let o = -32345/4 + b. Is o at least -41?
True
Let q be ((15/(-6))/5)/(-13 + (-300)/(-40)). Which is smaller: q