i + 2*g = 4*i + 7, -k*i = 2*g + 2. Is i equal to 0.28?
False
Let f(z) = 3 + 2 - z**2 - 5*z + 8. Let y be f(-8). Is y > -10?
False
Suppose 9*u - 54 = -36. Which is smaller: -1/24 or u?
-1/24
Suppose 3*h - 2*h = 24. Let j = -21 + h. Let i(m) = -m**2 + 4*m - 4. Let o be i(j). Which is smaller: o or -8?
-8
Suppose 8*z - 4 = -44. Which is smaller: -44/9 or z?
z
Suppose 12*l - 320 = -8*l. Is 18 at least as big as l?
True
Let y = -332 + 356. Which is greater: 23 or y?
y
Let i be ((-9)/(-18))/((-1)/94). Let w = i + 47. Is 7/10 at least w?
True
Suppose -70 = -5*v - 5*s, 4*v + 0*v = 4*s + 16. Let z = 8 + v. Is 16 smaller than z?
True
Let y be ((-12)/27)/((-5)/45). Suppose -3*d = d - 4. Let z(w) = 6*w - 1. Let k be z(d). Which is smaller: y or k?
y
Let i = -1.2 - -1.13. Let y = -0.27 - i. Let u = -66.4 + 66. Which is smaller: y or u?
u
Let b be (21/(-4))/((-14)/(-56)). Suppose -14 = 2*a + 20. Let m = a - b. Do m and 4 have different values?
False
Suppose 0 = -7*o + 33*o - 1950. Is o at most as big as 75?
True
Let h be 578/(-2790) - 30/(-150). Is 0 at least h?
True
Let u(s) = -111*s + 8. Let l be u(-6). Suppose 5*y + l + 306 = 0. Let m be (-6)/27 + y/(-396). Is 1 < m?
False
Suppose 2*z = 5*w - 52, 0 = -6*w + w - 5*z + 45. Suppose w*q - 5*q - 20 = 0. Let o be 31/8 + -1*q. Are o and 1 non-equal?
True
Suppose -6*n = -2*n - 3*z - 8, -5*z - 2 = -n. Let j(q) = -3*q + 4. Let o be j(n). Is o not equal to -2?
False
Let p = -40 + 15. Let u = p + 23. Let o be (4/(-18))/((-18)/(-27)). Which is smaller: o or u?
u
Let k be 2/(-8)*-14*12/7. Let s = 42 + k. Which is bigger: s or 49?
49
Let v = 0.442 + 0.058. Is 17 at most v?
False
Let o be -1 - 4/(24/(-1641)). Let n = o + -263. Is n greater than 10?
False
Let s(x) = -x**3 - 7*x**2 - 5*x + 7. Let m = 18 - 24. Let y be s(m). Let q be 4/(-6) + -3 + 28/8. Which is greater: y or q?
y
Let o = -71/4 - -73/4. Which is greater: o or -24?
o
Let g be (-3653)/7*(-5)/(-24540). Let l = 2609837/9816 - 2127/8. Let t = g - l. Which is greater: -1 or t?
t
Let s be (-36)/(-27) - 227/(-3). Suppose -s*v = -80*v - 12. Let u(i) = i**3 + 7*i**2 + 5*i - 8. Let t be u(-6). Which is bigger: t or v?
t
Let v(q) = 3*q. Let k be 6/39 - (-15)/(-13). Let w be v(k). Let y(s) = -s**2 - 3*s. Let n be y(w). Is 2/15 < n?
False
Let m = -25 - -18. Let x(b) = -b**3 - 8*b**2 - 6*b. Let q be x(m). Is -9 < q?
True
Let l be 4*((-1)/(-3))/((-62)/3). Let o = -7 - -8. Is o equal to l?
False
Suppose 4*j = -2*p + 6*j + 12, -3*p = 2*j - 18. Let x be (4/36*p)/((-26)/2). Which is bigger: x or 0?
0
Let u(f) = -f**3 - 22*f**2 - 25*f - 91. Let m be u(-21). Which is smaller: m or -8?
-8
Let n = -0.195 + -0.805. Which is greater: -110 or n?
n
Suppose 230*q + 1040 - 2725 = 2915. Let b(p) = -3*p + 7. Let w be b(-5). Which is bigger: q or w?
w
Suppose 3*b = -2*b + 25. Suppose -b*s + 2 + 23 = 0. Is 4 less than or equal to s?
True
Suppose -9*s = 17 + 19. Let t be (32/136)/((-2)/s). Which is smaller: t or 1?
t
Let x be (-462)/24 - (-48)/4. Which is bigger: x or -8?
x
Let c = 200 - 202. Let i = -64/49 - -11742/9065. Let w = i - 294/185. Which is smaller: w or c?
c
Let i be ((-676)/48)/(-13)*(-280)/(-21). Is 14 less than or equal to i?
True
Let t be (-1)/(-583)*-1 - 0/16. Do t and -1 have the same value?
False
Suppose -4*j = -89 - 99. Let m = j + -59. Which is smaller: -11 or m?
m
Let r be 34 + 6/(-3) - -4. Suppose 3*b - 94 = 2*v, 8*b - 3*b - 4*v - 154 = 0. Which is smaller: b or r?
b
Suppose -26*z + 29*z = 4*f + 19, 2*f - z + 7 = 0. Which is greater: f or -1/155?
-1/155
Suppose 14*m + 1284 = -410. Let x = m - -122. Which is greater: x or 18/29?
x
Let l be ((-6)/9)/((-4)/18). Let a(w) = -w - 2. Let k be a(-2). Suppose 2*h - 23 + 11 = k. Is h < l?
False
Let f be 8 + (34 - -5) - 6/2. Are f and 44 equal?
True
Suppose 3*t + 4*v = -9, -v = 5*t + v + 29. Let x(h) = h - 5. Let q be x(-16). Let y be (2 + (-20)/12)*q. Is t greater than or equal to y?
True
Let a = 0.31 - 0.6. Let f = a - 14.71. Which is smaller: f or 2/3?
f
Let t be ((-6)/(-9))/(4/36). Let y be ((-1852)/t)/((-9)/6). Let i = 206 - y. Is 0 smaller than i?
True
Let r = 2690.06 - 2718. Let b = r + -0.06. Let l = 27.8 + b. Are -1/3 and l unequal?
True
Let x(u) = -u**3 + u**2 + 6*u + 27. Let p be x(0). Suppose 4*j - 2*m = m - p, 16 = -2*j + 2*m. Is 0.8 < j?
False
Suppose -i - 5*z + 14 + 2 = 0, 0 = -i + 4*z - 2. Suppose i + 2 = 4*h. Suppose 0 = g - h*g. Which is greater: 4 or g?
4
Let u = 101649421/395 + -257340. Let n = u - 1/158. Is 0 <= n?
True
Let d be (208/(-156))/(0 - (-4)/(-18)). Let u be d/15 - (-720)/(-50). Which is greater: u or -29/2?
u
Let h = 389 + -435. Which is smaller: -7 or h?
h
Let q = -2752 + 2699. Is -52 at least as big as q?
True
Let l be ((-192)/(15/(-5)))/(-2). Which is smaller: l or -125/4?
l
Let s = -2.084 - -2.284. Is -0.0439 at most s?
True
Let m = -1.1 - -1. Let a = 1.6 - 2.39. Let p = 4.79 + a. Is m at most p?
True
Let m be 5 - 1*(2 + -2). Suppose 2*b - 257 = -5*x, -2*b - 3 = -m. Let r be 1 - (x/(-12) - -2). Do r and 3 have different values?
True
Let t = -33.14 + 33. Is -11 < t?
True
Let q be (-1876)/5226*(-108)/(-98). Is -1 at least q?
False
Let b be -5 + (-144)/(-5) + 5/2. Is 26 greater than b?
False
Suppose -50 = 78*w - 33*w - 40*w. Let j be -6*(-5)/6*-2. Is w greater than j?
False
Let c = -38 - -31. Let x = -7.1 - c. Let d = 0 - 0. Which is smaller: d or x?
x
Suppose -5*b + 640 = -0*b - 5*l, -2*b + 4*l = -258. Are 130 and b equal?
False
Let f = 0 - -1. Let n = 0.0093 + 3.3907. Is n greater than f?
True
Let d(f) = 26*f + 129. Let l be d(-5). Is -0.187 != l?
True
Let w = 287 - 286. Which is smaller: w or -41?
-41
Let c = 0.054 - 0.024. Is c not equal to 1/3?
True
Let i = 115587/20 - 5781. Let m = i + 2/5. Are m and -2 nonequal?
True
Let j(v) = 2*v. Let k be j(-8). Let z = -48 - -42. Let r(f) = 5*f + 14. Let w be r(z). Is w < k?
False
Let u = 46 + -44. Suppose 0*l - u*l = -4*y, -2*l + 30 = 2*y. Which is smaller: l or 11?
l
Let u(w) = -w**3 + 4*w**2 - 6*w + 10. Let d be u(3). Let p be (d/(-3))/(1/3). Which is smaller: p or -0.17?
p
Let l(x) = -x**3 + 10*x**2 - 9*x + 10. Let k(r) = r**3 - 8*r**2 + 7*r + 9. Let o be k(7). Let s be l(o). Let h = 0.33 - 0.13. Is s at most as big as h?
False
Suppose -3*m = 4*v - 6*v + 1, -2 = -3*m + 5*v. Let i = -823/69960 + 2/583. Is m at least i?
False
Let b = -5 - -45. Let p be (-2*2/(-4))/(b/32). Let m = 149/695 + -2/139. Which is bigger: p or m?
p
Let g be 1 + (-48884)/(-16318) - 4. Let d = g + -4/199. Which is greater: 0 or d?
0
Let b(o) = -25*o - 401. Let z be b(-32). Does z = 400?
False
Let j = 0.031 + -0.043. Let b = -0.212 - j. Is b <= -1?
False
Let y be (-113)/1012 - (4016/(-176) - -23). Which is smaller: 1 or y?
y
Let p = -231 + 126. Let g be 2*-1 - p/15. Let t(d) = d**3 - 4*d**2 - 4*d - 1. Let j be t(g). Which is smaller: 2 or j?
2
Suppose 9*v - 52 = 4*v - 2*h, 3*h + 36 = 2*v. Do -4 and v have different values?
True
Let w(d) = 3*d**2 - 12. Let m(y) = y**2 - 4. Let c(p) = -8*m(p) + 3*w(p). Let r be c(-4). Let x = 11 - r. Which is bigger: x or -3/10?
-3/10
Let a = -3.1 + -12.9. Let p = a + 5. Let d = -12 - p. Is 2/15 at most as big as d?
False
Let n = 0.86 + -0.79. Are 58 and n nonequal?
True
Let w = 0.053 + 24.947. Let i = 25.1 - w. Let a = -7.03 + 7. Which is smaller: i or a?
a
Let i = -2152243142 - -41988111472079/19509. Let s = 3/929 + i. Let n = s + -2/21. Which is greater: n or 1?
1
Let g be (-4)/10*(-3)/12*-4. Let p = 6 - 3. Which is greater: p or g?
p
Let w(x) = -2*x**2 - 6*x + 15. Let m be w(-6). Let n be m/9 + -4 + 4. Suppose 0 = 3*o - 6*o - 6. Which is smaller: n or o?
n
Let z be (-3)/3 - (-1 + 0). Suppose s + 0*s = z. Let t(n) = -n**2 - 2*n + 7. Let p be t(-4). Which is greater: p or s?
s
Suppose -4*o - 361 = -3*p, -2*o - 96 - 21 = -p. Which is smaller: p or 2/7?
2/7
Let n = -6433/12 + 1628/3. Let y = -17/4 + n. Is 1 > y?
False
Let p = 15/34 - -1/17. Suppose -t + 32 = -3*t. Let b be t*((-15)/(-6) - 2). Is b != p?
True
Let p = -16 + 19. Suppose -s + 20 = p*s. Suppose -5*h - w + 41 + 49 = 0, 0 = -s*w. Is 17 less than or equal to h?
True
Let d = -67065/45269 + 43/29. Which is bigger: 0 or d?
d
Let u be 0 + 842/(-14) + (-12)/(-84). Let n = -1.1 + 1. Is n < u?
False
Suppose -3*p + 4 = s, -5*p + 3*s + 0*s = 12. Let n be (-1)/(-2)*p*(-1)/4. Is n < -2?
False
