maller: 5 or m?
m
Let l(c) = 88*c - 493. Let p be l(5). Let s(b) = b**3 + 8*b**2 + 7*b + 2. Let q be s(-6). Let h = q + p. Is h at most -22?
False
Let k = -3.8 + 3.5. Let w = -0.496 - 17.504. Which is smaller: w or k?
w
Let l(t) = -t + 20. Suppose 4*a = -a + 65. Let u be l(a). Suppose u = 6*k + 7. Are k and 5/4 unequal?
True
Suppose -902 = 11*o - 968. Let b be (-1965)/7 + (-6)/21. Let m be 1/6 + b/(-42). Are o and m equal?
False
Suppose -1528*q - 28168 = -1542*q. Is q != 2013?
True
Let q be -1*5*((-60552)/360)/(5/9). Do q and 1515 have the same value?
False
Let k = 8382371/3936 - 6389/3. Let w = k + -36739/3936. Let i = w + 47/6. Is i <= -0.1?
True
Let a be (-36)/4 - (26 - 34). Let u = 197/8 + -25. Is a >= u?
False
Let x = 60 + -53.1. Let r = x - 1.9. Let w = 3 - r. Which is greater: 0.1 or w?
0.1
Let n = 7951/1139595 - 3/3485. Suppose -5*k - 30 = -2*l - 3*l, k = 4*l - 21. Which is smaller: k or n?
k
Let f = 3 - -15. Let v(a) = -a**3 + 5*a**2 + 36*a - 8. Let h be v(-4). Let k(g) = g**3 + 10*g**2 + 13*g - 5. Let u be k(h). Is f not equal to u?
True
Suppose -9 = 2*w + 19. Let x = -75 + 7. Let v be (-16)/(-20) - x/(-10). Which is bigger: v or w?
v
Let x(a) = -13*a - 183. Let y be x(-14). Let d = 9 + -9. Which is bigger: y or d?
d
Let b = -352 + 574. Let f = -1337/6 + b. Is f smaller than -7?
False
Suppose -a - 2*p = -3 - 3, 20 = 4*p. Let u be 10*1 - (-2 + 6). Let f = a + u. Which is bigger: f or 1?
f
Let s = 7897 + -8256. Which is smaller: 9 or s?
s
Let w be (-28)/21 - 39/(-9). Suppose 0 = v + v - 5*g - 224, 314 = w*v - 2*g. Let b = v - 101. Is -2 at most as big as b?
True
Suppose -5*u = w - 77, -5*u = 3*w - 42 - 39. Let z = -29 - -8. Let b = z - -36. Is u at most b?
True
Let q = 173 + -95. Let b = q - 77.9. Is b greater than or equal to -13?
True
Let b be -37*3*1 - -3. Let y = b + 69. Let v be (136/10)/(3 + y/15). Which is smaller: -1/4 or v?
-1/4
Let j = -8.843 - -1016.843. Which is smaller: 0.5 or j?
0.5
Let w = 42829 + -342635/8. Is -1191 bigger than w?
False
Let t = 4958 + -4983.89. Let z = t - -26. Which is smaller: z or -9?
-9
Let w = 263 + -444. Suppose 62*q = 74*q + 2184. Are q and w non-equal?
True
Let y = 2741 - 2744. Suppose 0 = -c - 5*k - 90 + 396, -1224 = -4*c + 5*k. Let d be (-4)/(-18) - ((-904)/c - y). Which is bigger: -1 or d?
d
Suppose 85*l - 311*l - 983326 = 0. Which is smaller: -4353 or l?
-4353
Let v = 2822 + -2784. Which is greater: v or 35?
v
Suppose 7*d - 3*d + 440 = 0. Let p = 203 + d. Suppose -p = -8*i + 5*i. Which is smaller: i or 30?
30
Let u(z) = -z**3 - 41*z**2 + 43*z + 50. Suppose -37 - 5 = q. Let n be u(q). Which is smaller: n or 1?
1
Let q be (588/(-27))/(50/(-225)). Let l be (-4)/14 + (13 - 1246/q). Let x be (0 - 2/(-399)) + 0. Is x <= l?
False
Let w = -7011.7156 + 2.7156. Is -2 greater than or equal to w?
True
Let q = 1855 + -1855. Is 169/10 at most as big as q?
False
Let a = 696 - 691. Let r(l) be the second derivative of 7*l**3/6 + l**2 - l. Let w be r(a). Which is smaller: w or 36?
36
Let z = -89 + 90. Let j = 10.1 - 3.1. Let h = j + -7.002. Which is smaller: h or z?
h
Suppose 88 = -3*g - g - 4*m, 0 = 2*m - 10. Let i = g - -217/8. Let v(y) = 9*y + 17. Let f be v(-2). Which is greater: f or i?
i
Let t = 22 + -33. Let a = 22 + -17. Let y be ((-2)/a*-4)/(64/(-480)). Which is smaller: t or y?
y
Let j(h) = 5*h**2 + 133*h - 124. Let b be j(-28). Which is greater: 83 or b?
83
Let h = 13 + -25. Let c be (-2 + 1)*(-50)/h. Let o(l) = -114*l - 454. Let q be o(-4). Do c and q have the same value?
False
Suppose 0 = 4*g - 5*o + 32, g - 2*o - 8 = -19. Let c be (-15)/(g - 2) + (-86)/27. Which is bigger: -1 or c?
c
Let g be (-4772)/(-2414) + 416/(-3536). Are 2 and g equal?
False
Suppose 0 = -346*x + 110*x - 17700. Let a = 14 - 16. Which is smaller: a or x?
x
Suppose 0 = -n + 3, 4*r + 700 = -n + 27. Is r <= -1677/10?
True
Suppose l = -l. Let v be (l - (-48)/(-15))/(4/110). Let p be ((-94)/(-168))/1 - (-66)/v. Which is smaller: p or 0?
p
Let i = -567263/52 - -10909. Which is greater: i or -1?
i
Let i = 7656 + -7666.406. Let a = i - 0.194. Is 0.1 at most as big as a?
False
Let p be -870*(5 - (-23)/(-5)). Let q = p - -337. Is q less than -21/2?
True
Let c = 1470 + -1743. Is c equal to -287?
False
Let f(j) be the first derivative of -j**2/2 - 14*j - 48. Let x be f(-12). Does -39/14 = x?
False
Let q be (80/(-7))/(5 + (-148)/28). Let o = -43 - -40. Let i(t) = -t**3 - 4*t + 1. Let x be i(o). Is x < q?
False
Let g = 31.138 - 30.938. Which is smaller: g or 6468?
g
Suppose -4*h + 4*r + 20 = 0, 50*r - 45*r = -25. Which is smaller: -2/27885 or h?
-2/27885
Let d = 1014 - -1700. Do d and -1/6 have the same value?
False
Let x = -109 + 243. Let y = 133 - x. Which is smaller: y or -2/637?
y
Let c = -0.11 + 0.22. Let g = -18.89 - c. Let o be (-3)/9 - 315/(-135). Is o greater than g?
True
Let a = 224 - 153. Let w = 1727 - a. Let d be w/60 + 2/5. Is 27 greater than d?
False
Suppose -76*b + 26 = -22 - 28. Which is bigger: b or -35/269?
b
Let x(g) = 103 + 5*g - 7*g + 12*g - 7*g + 4*g. Let a be x(-13). Is 1 smaller than a?
True
Let k = -1.1345 + 0.1345. Which is smaller: -1739 or k?
-1739
Suppose 17 = 7*o - 11. Suppose -o*v + 18 = -114. Let n be v/(-176)*(-8)/(-66). Is n at least as big as -1?
True
Let r(q) = q**3 - 15*q**2 - 14*q - 36. Let p be r(16). Let s be (p + 2)*-6 - (-142)/(-213). Is 11 < s?
True
Let v be (-2)/(1 + -4 + 1). Let s be (-220)/55*-1*(-9)/75. Which is greater: v or s?
v
Suppose 19 = 5*n - 2*q + 5, -6 = -5*n - 2*q. Suppose 0 = -7*v + 9*v - n. Which is greater: -2/429 or v?
v
Suppose -664*y = -666*y. Is y < -2/15605?
False
Let q = -891/20 - -901/20. Suppose 0*p + 3*p = 9. Which is greater: q or p?
p
Let r(o) = -5*o**2 + 0*o - 14 + 7*o**2 + 3*o. Let d(x) = x**2 - 11*x + 23. Let f be d(6). Let w be r(f). Is 62 greater than w?
False
Suppose 0 = -5*p - z + 16 + 12, 12 = 3*p - z. Suppose p*u = -25 + 510. Are 98 and u equal?
False
Let v = -2.81 + 2.72. Let h be 0/(0 + 1)*9/18. Which is greater: v or h?
h
Suppose -4*s - a = 7 + 5, 4*a + 18 = -s. Let i be (-6 - s) + -1 + 5. Suppose i = 12*w - 11*w - 2. Which is bigger: 9/5 or w?
w
Suppose -1074 - 440 = -l - 4*z, 4*l - 6016 = 4*z. Do 1504 and l have the same value?
False
Suppose -3*q = q - 4. Let j be (-100)/(2 - 4)*q. Let d(b) = 44*b + 6. Let s be d(1). Is s bigger than j?
False
Let l = 2011 + -2007. Is l smaller than 262?
True
Suppose -5*j + 48 = -3*u, -4*j = u + 24 - 59. Are u and -225/158 equal?
False
Let s = -8774/27 - -974/3. Let c be 3*4/(-12)*(3 + -3). Suppose -3*r + c*w - 4*w + 12 = 0, -4*w + 12 = -4*r. Which is smaller: s or r?
s
Let f(t) = -t**2 - 8*t + 6. Let c be f(-8). Let s be (1 - (-18)/(-10))/((-3)/15). Let b be (-1 + s)/(((-3)/(-5))/1). Which is bigger: c or b?
c
Let b be (240/45)/((-20)/(-366)). Let m = b + -97. Let o = 181 - 181. Which is smaller: m or o?
o
Suppose -82*y - 3 = -81*y - r, r - 4 = 0. Which is smaller: y or -1/8093?
-1/8093
Suppose 21*p - 1295 - 1727 = -754. Is p less than or equal to 4/9?
False
Let g be ((-576)/(-80))/(2/10). Suppose -5*o - c + 165 = 0, c - 36 + 177 = 4*o. Is g <= o?
False
Let o be 4 + 5 + 7 - 0. Let a be (o/24)/((-6)/(-9)). Which is smaller: a or 14/29?
14/29
Suppose 10 = s - 3*s - f, -5*f + 10 = -2*s. Let k be -11*1 + 28/4 + s. Is k equal to -9?
True
Let l = -6.239 + 0.379. Let a = -6.86 - l. Is a greater than -0.049?
False
Let i = 68.65 - 110.65. Is i != 52?
True
Let w = -4 - -2. Let o be (-22)/36 + ((-1386)/(-44) - 33). Is w less than o?
False
Let p(u) = 4*u**2 + 146*u - 95. Let g be p(-38). Is 133 != g?
False
Let a = -438 - -194. Let o = 244 + a. Which is smaller: o or 44?
o
Let x(l) = 3*l**2 - 10*l - 1971. Let w be x(0). Which is greater: -1972 or w?
w
Suppose 0 = -4*b - 5*d - 68, 0 = b - 17*d + 21*d + 28. Which is smaller: -10 or b?
b
Let n = -190.254 - -190. Let k = -0.154 - n. Which is smaller: k or -17?
-17
Let j = 8459.97 + -8462. Is 22 at most j?
False
Suppose 194 = 4*k - 2*k. Suppose 3*g - 4*y - 14 = 7, -21 = -3*g - 5*y. Let a be -388*(g/(-12) - 13/(-39)). Is a > k?
False
Let t(o) = o**2 - 20*o + 32. Let u(h) = 2*h**2 - 41*h + 65. Let d(q) = -5*t(q) + 3*u(q). Let b be d(8). Do b and -86 have different values?
True
Let d = -5.93 + 689.93. Let c = d - 684. Let n be 146/(-6) + 2/6. Which is greater: c or n?
c
Suppose -s = -4