 + 3*f, -4*y - 62 = -5*f. Let k be 132/(-28) + 5 + f/14. Let n = -23 + 36. Is n less than k?
False
Let k be ((-36)/116)/(15/30). Which is bigger: k or -2?
k
Let y be 1/((-9)/6 + 2). Suppose 0 = -z - y*z. Suppose z = v - 1, 0*v + v + 17 = 3*m. Which is greater: 0 or m?
m
Let i = 393 - 394. Let u(p) = 2*p**3 - 2*p**2 + 2*p + 1. Let k be u(3). Do k and i have the same value?
False
Let h = -5.3 + 0.3. Let p = 118 + -117.87. Do h and p have the same value?
False
Let l = -36 - -34. Let f be (-1)/((2/6)/(l/6)). Is 0 at least as big as f?
False
Suppose 0 = -5*k - 1967 - 483. Are -492 and k nonequal?
True
Let n(t) = -3*t**2 + 12*t + 4. Suppose 4*i = -25 + 45. Let v be n(i). Which is smaller: -49/4 or v?
-49/4
Let o = -919 - -846. Is o greater than -76?
True
Let f(z) = 3*z**2 - 4*z + 6. Let x be f(6). Let l = x - 50. Let c = -39 + l. Is 2/71 equal to c?
False
Suppose -o - 3240 = -5*m, -4*m + 2571 = -24*o + 19*o. Which is greater: 650 or m?
650
Let a(z) = -z + 4. Let f be a(8). Suppose 12 + 0 = 12*w. Suppose 0 = -n + w, 3*q + 0 + 2 = -n. Which is smaller: f or q?
f
Let n be (48/(-64))/(2/16). Let v be n/((-6)/4*1). Suppose 4*o - v = 8. Which is greater: o or 14/9?
o
Let y(b) = -3*b**3 + 8*b**2 - 6*b + 4. Let a be y(4). Let l be (-3)/5 - a/(-10). Are -9 and l nonequal?
False
Let i be 34*((-30)/(-12))/(-1). Which is greater: -87 or i?
i
Let g = 25 + -26. Let l be (-16)/(-7) + (-18)/63. Let f be l/(-8) - (-9)/84. Is f less than g?
False
Suppose -4*z + 1 = -5*l - 20, 1 = -5*l - z. Which is bigger: l or -1/1429?
-1/1429
Let d = 108.7 + -103. Let p = d + -18.7. Is p less than -1?
True
Let m = 287 - 198. Is 89 greater than or equal to m?
True
Let k = -91 - -88. Is -5 smaller than k?
True
Suppose -3*k + 10 = 4*b - 114, -5*k + 160 = -5*b. Let s be ((-14)/4)/(1 - k/(-16)). Are -2 and s nonequal?
True
Let i = -0.14 + 0.14. Is i bigger than -152?
True
Suppose 638 = -15*z - 1522. Is z at most as big as -146?
False
Let q be (66/(-9) - 0)/(2/(-3)). Suppose 4*p - 27 = -4*o + 17, o - 14 = -4*p. Is q < o?
False
Suppose -3 = -4*i + 5*j, 0*j - 3*j = -3. Let k be -3 - (-5 - (4/i + -3)). Are 4/19 and k nonequal?
True
Let z(g) = -2*g - 3 - g**3 + 0*g**2 + 3*g**2 + g**2. Let v be z(3). Suppose v = 4*r - 0*r + 8. Which is smaller: -5/4 or r?
r
Let m = -27.9 - -26. Let t = m - -0.2. Let g = -1.89 - t. Which is smaller: 2/7 or g?
g
Let h be (-3 - 1)/8 + (-696)/16. Is -48 at most h?
True
Let h be 6*(-4)/18*198/(-48). Is 1 != h?
True
Let y = 42 + -41. Do y and -1/65 have different values?
True
Let v = -538 - -547. Is v greater than or equal to 35/4?
True
Let b = 13 + -8. Suppose -b*m + 38 = -12. Suppose s + 5*a - a - m = 0, 2*a + 6 = 5*s. Is s < 5/7?
False
Let x = -1340.027 - -1340. Are x and -1/4 unequal?
True
Let s be -1 + 0 + (3 - 0). Let w(h) = 0*h - s*h**2 + 0*h**2 - h - h**3 - h**2 - 4. Let l be w(-3). Are l and -3/4 equal?
False
Suppose -3*x - 2*x + 40 = 0. Suppose -5*t + 2*y - 122 = 4*y, 92 = -4*t - 3*y. Let a = 34 + t. Is a greater than x?
False
Suppose 8*b - 35 = 3*b. Let u(g) = -g - b + 3 + 15. Let n be u(9). Are 3 and n non-equal?
True
Suppose -2*p = p. Let y(s) = -2*s - 4. Let r be y(p). Let o be (-6)/8 + (-23)/r. Which is smaller: 4 or o?
4
Let f be 2/(-6) + 25256/76776. Which is greater: 1 or f?
1
Let u(o) = -o**3 + 16*o**2 + 16*o + 17. Let a = 26 - 9. Let y be u(a). Is -1/44 at most as big as y?
True
Let s be (0 - 2)*(-2)/(-6). Suppose 0 = -4*g + 5*f + 52, -2*g + 36 = -3*f + 8. Suppose g*u = 5*u - 6. Which is smaller: s or u?
u
Suppose -7*o = -6*o + 21. Let a = o + 22. Let l be 8/(-23)*2/4. Which is smaller: l or a?
l
Let m be (-3 + -8 + 2)/(-9 - -10). Which is smaller: 0.16 or m?
m
Let j = -0.57 + 1.97. Let d = j - 1.5. Are d and -5.1 non-equal?
True
Suppose 4*u = 6 - 26. Let b be (-4 - 21/u)/(-2). Are b and -1/4 unequal?
True
Let z be (-80)/32 + 39/14. Let f be 4 + 8 + -1 + 0. Let u(k) = k**3 - 11*k**2 - k + 14. Let n be u(f). Which is bigger: z or n?
n
Let m = 0.223 - 0.013. Let y = -0.51 + m. Which is bigger: -2 or y?
y
Let l be 4/(-6) - (-4)/6. Let q be (306/(-10))/17*(-1)/(-15). Which is smaller: l or q?
q
Let t be (-12)/54 + (-3 - (-16827)/27). Let k be -4 + (0 - (-2472)/t). Which is greater: 0 or k?
0
Let t be 5/(-15) + (-57)/(-117). Which is bigger: -1 or t?
t
Let q = 2 - 0. Let k = -6.0168 - -0.0168. Which is smaller: k or q?
k
Let s = 147 - 145. Let a = 3 - -1. Suppose s*p = -0*p - a. Are p and -2 equal?
True
Let y = 66 + -96. Let w = 28 + y. Let h = -1.7 + 1.7. Which is smaller: h or w?
w
Suppose -2*t = -0*t + 2. Let j be t*((-9)/6 + 2). Suppose -19 = 4*n + 5*r, 2*r - 4*r = 6. Which is smaller: j or n?
n
Let w = -40 + 77/2. Suppose 3*a = 2 + 10. Let i be ((-2)/(-6))/(a/(-12)). Which is smaller: i or w?
w
Let t(v) = -v**3 - 15*v**2 - 14*v + 1. Let p be t(-14). Is p not equal to -4/265?
True
Suppose -16*v + 815 = -11*v. Does 164 = v?
False
Let v be (-20)/6*(4 - 1). Let m(h) = 2*h**2 + 22*h + 8. Let p be m(v). Is -12 less than or equal to p?
True
Let m(a) = a + 7. Let o be m(3). Suppose -3*w + o - 52 = 0. Is w <= -13?
True
Let c(i) = i**3 - 20*i**2 - 19*i - 40. Let t be c(21). Is 36/13 less than or equal to t?
False
Let t(p) = p**2 - 2*p - 4. Suppose -3*g = -0*g + 12. Let x be t(g). Is 20 != x?
False
Let l = 145 + -142. Which is smaller: 57 or l?
l
Let q(h) = -h. Let o(j) = -6*j + 1. Let y(g) = -6*o(g) + 42*q(g). Let v be y(-5). Let d = 26 - v. Which is bigger: d or 5/9?
d
Let s be 232/72 - (-2)/(-9). Suppose j + s = 2. Let k = -0.2 + 0.4. Is k at most as big as j?
False
Suppose 0 = -5*b + 7*b. Suppose b*h + 28 = 2*h + 4*z, -3*z = -h - 11. Let q(j) = -j**3 - j**2 - 2*j + 3. Let n be q(0). Which is smaller: n or h?
n
Let o be -13*(-4)/(-9) + (-32)/144. Which is smaller: -25/4 or o?
-25/4
Let v(l) = -l**3 - 6*l**2 - 7. Let z be v(6). Let y = z + 4825/11. Suppose x = 3*o - 0*o + 7, 5*o + 4*x = 11. Which is greater: o or y?
y
Let w(c) = -2*c**3 - 9*c - 1. Let l be w(3). Which is bigger: -83 or l?
l
Let d = 506 + -502. Is -16.1 greater than or equal to d?
False
Let q = 663 + -663. Let n = 548/17745 - 2/169. Which is smaller: n or q?
q
Let y be ((-8)/(-5))/4*(-5)/(-2). Let m = 46.1 - 41. Let w = -5 + m. Does y = w?
False
Let k(y) = -y**3 + 9*y**2 - 12*y - 10. Let b be k(7). Suppose 2*j - 24 = -q, -50 = -3*j - 6*q + q. Let s be j - 1 - (2 - -1). Is s smaller than b?
False
Let j be 28/10 + (-8)/(-40). Suppose 2*w - j*w - 3*l = -8, 4 = 4*l. Suppose -w*m - n - 57 = 0, 3*m + 2*n = n - 35. Which is bigger: -10 or m?
-10
Let o be (-42)/(-12) - 1/2. Suppose i = o*q + 1, -i - 3*q - 3 = -4*q. Which is bigger: i or 0?
0
Let k = -909 - -907. Let w be (1/(-5))/(3/9). Is w at least as big as k?
True
Let h be -3*(8/6)/4. Let m be 0 + h - -1 - -1. Let j be (0 + (-15)/(-16))/((-3)/(-4)). Is m equal to j?
False
Let i(r) = -r**3 - 9*r - 26. Let f be i(-2). Is 16/35 less than f?
False
Let u = -1189 - -1189.1. Which is smaller: -1/118 or u?
-1/118
Let x = 328487/885 + -2227/6. Let s = -1891/590 + x. Which is smaller: -3 or s?
s
Let r(l) = -4*l - 15. Let c be r(-6). Let p = c - 8. Let y be 15/27*2/(-5). Which is smaller: y or p?
y
Let c be (6/12)/((-10)/4). Suppose 0 = 3*f - 3 + 6. Let k be 2/1 - (f - -3). Is k equal to c?
False
Let t = 8486669/102413595 - -3/184529. Let j = -8/37 + t. Which is bigger: j or 2?
2
Let q = 224 - 246. Is q smaller than -23?
False
Let n = -3.3 - -6.7. Let y = n - 4.4. Which is greater: 0.2 or y?
0.2
Let p(q) = -q**2 + 5*q - 1. Let k(i) = -2*i**2 + 4*i - 1. Let v(r) = -5*k(r) + 4*p(r). Let a = -22 - -23. Let m be v(a). Is m < 7?
False
Suppose 2*o - 162 = -164. Let k = -0.4 + 3.4. Which is greater: k or o?
k
Suppose 0 = -5*h + 5*i - 15, 4*h - 5*i + 17 = -0*h. Which is smaller: 20/13 or h?
20/13
Let b = -62 - -67. Suppose 0*k + k + 2*i = -9, 11 = b*k - 4*i. Are 11 and k equal?
False
Let w(d) = -d + 7. Let y be w(8). Let n be ((-14)/49 + y/(-7))*-7. Which is smaller: -1/44 or n?
-1/44
Suppose -m - m - 16 = 0. Let i be (-3)/m - 4/(-16). Which is bigger: 0 or i?
i
Suppose -5*i - 3*b - 84 = 0, -7*b = -3*i - 6*b - 56. Are -52/3 and i unequal?
True
Suppose 36*a - 33*a - 2*t - 734 = 0, 730 = 3*a - 4*t. Do a and 246 have the same value?
True
Suppose -t - 8*t = -90. Let j(v) = v**3 - 10*v**2 - v + 10. Let o be j(t). Are -1/43 and o nonequal?
True
Let w(j) = -15*j 