s g bigger than -4?
False
Let d be 2/(-6) + (-10)/(-12). Let s = -12 - -23. Let v = -9 + s. Do d and v have the same value?
False
Let z be 147/(-132) + (-6)/(-8). Which is smaller: 1 or z?
z
Let j = 1651/7 - 238. Which is smaller: -1 or j?
j
Suppose h + 47 = -2*h - 4*b, -4*h - 5*b = 61. Is -7 greater than or equal to h?
True
Let z = 21 - 20. Which is bigger: -3/7 or z?
z
Let u = 3 - -1. Suppose -u*j = -j. Let l be (j/(-1))/(-1 + 2). Is l smaller than 2/9?
True
Suppose -4 = -3*w + 5*p - 0, -8 = 4*p. Let h = 9 - 13. Is w at most h?
False
Let g be 2/6 + (-6)/(-9). Let n be ((-26)/(-12) + -3)/(10/(-6)). Does g = n?
False
Let c = 0.9 + 0.1. Let t = c - 0.9. Which is smaller: t or -0.5?
-0.5
Suppose 3*d + a = 18, 3*d + 2 - 11 = 2*a. Which is smaller: d or 7?
d
Let j = -34 + 34.27. Let p = 3.73 + j. Is 0.3 less than or equal to p?
True
Suppose 0 = -3*w + w - 438. Let f = -1969/9 - w. Which is greater: f or 1?
1
Suppose 0 = 5*f + 4*d - 0*d - 54, 3*d - 33 = -3*f. Let i = -30 + 31. Is i >= f?
False
Let f = 489 - 8317/17. Let o = f - -11/119. Suppose -d - 2*j - 7 = 0, -3*d + d + 5*j = -22. Do d and o have the same value?
False
Let t = -0.34 - -0.24. Does t = -41?
False
Let c be 0 + -1 + 1 + 2. Suppose 4*j - 5*j - 1 = 2*u, 2 = -u - c*j. Do u and 2/25 have the same value?
False
Let o = 0.5 + -0.3. Let t = 0.4 - o. Which is greater: 2 or t?
2
Suppose 5*x - 16 = x. Suppose -5*z - 450 = 2*g - 7*g, -x*z + 90 = g. Let u be (-87)/g - 2/(-3). Is 0 less than or equal to u?
False
Let g be 1*(-3 + (7 - 3)). Let z be (-4)/(-2)*(g - 2). Does -0.2 = z?
False
Let n be ((2 - 0) + -3)*-2. Suppose g = -n*l + 4*l + 10, 0 = -3*g - 2*l + 6. Suppose 0 = 4*i + 2*s + s + 4, 3*s + 18 = 3*i. Which is smaller: i or g?
i
Let a(m) = m**3 + m**2 - 2. Let l be a(-2). Let k be 1*l/(-15)*-1. Which is smaller: k or -1?
-1
Let o = -3 - -12. Is 9 greater than o?
False
Let q = 2 - 3. Let u = -1 - q. Let o be 5*(-1)/(-10) + 9/(-10). Is o <= u?
True
Let p be (-4)/(-12) + 8/3. Suppose -p = 3*r - 0*r. Which is bigger: r or 1?
1
Let j = 1.9 + -0.9. Let g = 25/2 - 13. Which is bigger: j or g?
j
Let c(y) = y - 7. Let n be c(5). Is -6 at most as big as n?
True
Suppose 0 = 3*m + 3*m + 84. Which is bigger: m or -15?
m
Suppose 4*q - 3*h - 39 = 0, -9*q + 3*h = -10*q + 21. Which is smaller: 6 or q?
6
Let j = -56 + 46. Is j <= -10?
True
Let k = -14 - -19. Let z = k - 6. Is z not equal to 3/2?
True
Suppose 0*s = 2*s + 2. Let x = 7.88 + 0.12. Is x at most as big as s?
False
Let i = -36175049619/47167855 + 4/1347653. Let h = i + 767. Are -1 and h unequal?
True
Let y(n) = n**3 + 6*n**2 + 10*n + 8. Let j be y(-5). Which is smaller: -82/5 or j?
j
Let y = -14 + 10. Are 2 and y equal?
False
Let a = -5 + 4. Are a and -1 nonequal?
False
Let b = 3.1 - 3.2. Which is greater: b or -6/7?
b
Let u = -17 - -20. Let z = 8 + -6. Let j(t) = t**3 - 4*t**2 + 2*t + 2. Let i be j(z). Is u less than i?
False
Let a = 200.01 - 185. Let h = 15 - a. Does -1/3 = h?
False
Let m(t) = -t**2 - 6*t + 1. Let k be m(-6). Let q be 6/(-9)*(-6)/(-4). Let w = q + 1. Which is greater: w or k?
k
Suppose -2*u - 3 = -13. Suppose -4 + u = x. Which is smaller: 2 or x?
x
Let o be 112/6 - 10/15. Let u be ((-1)/4)/(o/72). Is u > 12?
False
Let n = 1 + -2. Suppose 6*c - 4*c = 0. Which is greater: n or c?
c
Let t = -4 - -7. Let y = 3.1 - t. Let x = 4 - 3. Is y not equal to x?
True
Let y be (7/((-56)/36))/12. Which is greater: -1 or y?
y
Let c = 4 - 1. Suppose c*y + 5 = -13. Let u be 8/6*y/(-4). Is u less than 3?
True
Let k be 2 + 2*71/2. Let b be (-1 - (303 - 2))*5/20. Let g = b + k. Which is smaller: g or -3?
-3
Let o = -17 - -19. Which is smaller: o or 5/8?
5/8
Let d = -9.25 + 0.25. Let x = d - -9.2. Which is greater: 3 or x?
3
Let h be 3/3*(-4)/(-26). Let r be (0 - 5 - -2)/(-3). Let w = r + -1. Which is greater: w or h?
h
Suppose -33 = 3*p - 9. Let h be ((-2)/p)/((-4)/(-8)). Which is bigger: h or 1?
1
Let u(s) = 12*s - 5. Let x be u(2). Is 18 less than or equal to x?
True
Suppose 0*q + 3*q + 18 = 0. Let w = -4 - q. Let g = 539/890 - 1/178. Is w less than or equal to g?
False
Let m = -15 + 21. Suppose 4*u + 18 = 2*u + b, -m = 3*b. Let i be 5 + -4 - (-8)/u. Is -1 at most as big as i?
True
Suppose 2*n - n = 1. Let p = 3107 + -46628/15. Let z = p + 6/5. Which is smaller: z or n?
z
Let u = 422331/163 + -2591. Is u not equal to 0?
True
Suppose 46 = 3*x - 14. Suppose 4*p = 3*g - 20, -2*p + g = 2*g + x. Let s = -5 - p. Which is smaller: 3/2 or s?
3/2
Let r be ((-11)/(-55))/(2/(-6)). Let z = -0.2 + 0.3. Is z at most r?
False
Let j be -3 - 38/(-12) - 8/12. Is -2.3 at least j?
False
Suppose 4*l - 18 = 26. Which is greater: l or 0?
l
Let q = 5 - 4.7. Let n be ((-42)/4)/((-15)/(-84)). Let p = n + 59. Do q and p have the same value?
False
Let a = -7 + 6. Let q(s) = -7*s**3 + 11*s - 9. Let o(k) = 3*k**3 - 5*k + 4. Let f(i) = 9*o(i) + 4*q(i). Let r be f(a). Is 2 > r?
False
Let x be ((-4)/3)/((-18)/(-27)). Are x and -7 equal?
False
Suppose 3*j = 2*j. Is j <= 6/7?
True
Let n be (-9)/(-30)*16/88. Which is smaller: n or 1?
n
Let w = -12 - -6. Let c be w/15*10/(-36). Is 1 smaller than c?
False
Let z = -0.22 - 0.08. Let l = 22 + -22.1. Which is smaller: z or l?
z
Suppose 0 = 2*m + 5*r + 3 + 2, m = 5*r - 10. Let s be ((10/(-8))/m)/(-1). Let g be ((-1)/1 - -1)*1. Is g greater than s?
True
Let m = 7 + -2. Suppose -20 = -m*q, -4*v - 3*q = -2*q - 16. Let f be (60/(-16))/(v/(-2)). Which is greater: 4 or f?
4
Let w be (-1 + 5)*3/6. Suppose m - w*m = -5*p, -p = 4*m. Which is greater: p or 1/10?
1/10
Let a(g) = -12*g + 78. Let d be a(6). Let w be ((-1)/2)/(1/2). Is w smaller than d?
True
Let u = -6 + 5. Let c be 18/12 + (-55)/34. Which is smaller: c or u?
u
Let c be (24/(-162))/(4/6). Let r be 1 - (1 - 87/(-4)). Let g = r + 22. Is c < g?
True
Suppose -5*d + 3*t = -0*t + 20, 5*d - 2*t = -15. Let p be 1*(-1)/2 - d. Which is smaller: p or 1?
p
Let r = -5.5 + 8. Let l = 0.5 + r. Let o = l - 1. Which is smaller: 1 or o?
1
Let u = -37 + 25. Let g = -13 - u. Which is smaller: -3/16 or g?
g
Let w = 41.7 - 42. Is 0.05 bigger than w?
True
Let p = 0.9 + -1. Let h = 15 - 26. Let o = h + 5. Does p = o?
False
Suppose x + 6*i - 3*i = -2, -x + 2*i = -3. Suppose -3*v - 4*y - 234 + 90 = 0, -3*y = 0. Let z = v - -148/3. Are z and x nonequal?
True
Let q be (1/3)/((-4)/(-36)). Suppose -7*m = -5*o - q*m, -3*m = 2*o. Which is greater: -1/9 or o?
o
Let n = 2.8 - -14.2. Let l = 15 - n. Which is greater: -2/5 or l?
-2/5
Let m(y) = y**2 - y + 1. Let a(q) = -4*q**2 + 4*q - 2. Let b(t) = -a(t) - 3*m(t). Let h be b(0). Which is smaller: 16 or h?
h
Let t = -78 - -77. Is 0.5 less than or equal to t?
False
Let g = 259 - 261.99. Let x = g - -3. Let m = x + 0.19. Is 0.1 < m?
True
Let q = -0.1 + -0.1. Let n = 0.12 - -0.08. Let r = n + q. Is -0.1 greater than or equal to r?
False
Let b be 1 + -2 + 191/1. Let p = b - 947/5. Is p equal to -0.1?
False
Let c = 16 - 17. Let j(o) = -o**2 + o. Let l be j(1). Suppose l = -3*k + 6 - 3. Is k less than c?
False
Let z be (-1 + (-2)/(-6))/2. Let t = 82 - 82. Is t >= z?
True
Let u be ((-25)/(-12) - 1)/((-39)/(-312)). Is u at least 0?
True
Let x be (-230)/15 + 1/3. Let f = x - -4. Let v = -6 - f. Is 5 at most as big as v?
True
Let d = -13 + 18. Let f = -0.4 + 0.5. Let b = f - 0. Is b < d?
True
Let c = -14 + 16. Let m = -4 - c. Which is bigger: -8 or m?
m
Let g = -7.2 + 2.2. Let q = g - -6. Let z = -0.1 - -0.1. Is q at least as big as z?
True
Let i be 20/6*(-12)/(-8). Let x(a) = a - 4. Let w be x(i). Let f be (-1)/(-3) + (-2)/(-3). Is w equal to f?
True
Let w = -1 + 5. Let d = -361 + 364. Which is smaller: w or d?
d
Suppose 0*b + 2*l + 8 = 4*b, 5*b - 2*l - 10 = 0. Suppose 4*a - 6 = b*v, 0 = v - 3*a + 5*a - 1. Let q = 1/2 - 1. Are q and v equal?
False
Let b(u) = -u**2 + u. Suppose 3*j = n + 7, 4*n + 2*j = j + 11. Let c be b(n). Let y be 5*5/((-100)/8). Is c at least as big as y?
True
Let g = -158 - -192. Do g and 36 have the same value?
False
Let f be ((-3)/(-9))/(49/378). Which is smaller: 2 or f?
2
Suppose -2*b = -0*d + d - 9, -4*b = 4*d - 16. Let f be d/3*(-15)/1. Which is smaller: 2 or f?
2
Suppose -6 = -2*q - 2*q + 5*o, 5*q + 3 = o. Which is bigger: q or 5/3?
5/3
Let g(y) = -y**3 + 12*y**2 - 20*y. Let p be g(10). Which is greater: p or -2/23?
p
Let q = -5259 - -63/4. Let k = 15