4/31. Let l be (4 - 4)/(0 - 1). Suppose 2*h + 2*k + l = 2, -3*h - 2*k + 3 = 0. Which is smaller: h or x?
x
Suppose 47 = -5*r + q, -2*r + 7*r = 5*q - 55. Which is greater: r or 1?
1
Let p = -3 + 1. Let f be 7 + -5 + (-4 - p). Suppose 4*x + 4 + 8 = f. Is -3 > x?
False
Let x be 441/15 - 4/10. Let k = -5 + -13. Let a = x + k. Which is bigger: a or 12?
12
Let q be (2*-2*-5)/(-11). Let p be (-2 - -1)/1*(-24)/(-12). Is p greater than q?
False
Suppose -128*m = -130*m - 6. Let l = -93.4 - -89.31. Let b = l - -0.09. Which is greater: m or b?
m
Let c = -133 + 55. Let d = -78 - c. Which is smaller: 1/32 or d?
d
Let m be (0/(-5))/(-6) + 2 + -1. Is 1 at least m?
True
Let r be 2447/((-7)/(2 - 1)). Let i = r - -25691/63. Let s = -58 + i. Are -1 and s equal?
False
Let a(j) = -j**2 + 56*j - 151. Let l be a(53). Which is smaller: -1/64 or l?
-1/64
Let w(t) = t + 12. Let b be w(-10). Let g be 2 + 1 + (-6)/6. Suppose 5*i - g = 3. Which is bigger: b or i?
b
Let f(o) = 4*o**2 - 77*o + 25. Let d be f(20). Which is bigger: 2 or d?
d
Let d = -95 + 110. Is d >= 16?
False
Suppose 6*o + 184 = -17*o. Is o > -7?
False
Suppose 3*l = -l. Let u = 21868.14 + -21868. Do u and l have the same value?
False
Suppose 0 = -3*w - 0*w - 18. Let g(t) = 4*t + 18. Let z be g(w). Let v be 86/(-40) + z/(-8). Is v < 0?
True
Suppose 11*b - 137 = 94. Let t = -35/12 + 8/3. Is t less than b?
True
Suppose -2*n - 19 = 23. Let a = -21 - n. Which is greater: 3/8 or a?
3/8
Suppose -6 = 7*s - 10*s. Let o be 216/120 + s/(-10). Which is greater: o or 3?
3
Let v = -19.5 - -36. Let g = v - 19. Is g less than or equal to 1?
True
Suppose 0 = -3*r + 5*t - 202, -r - 2*t - 54 = 3*t. Let a = r + 190/3. Let f = -19 - -18. Which is bigger: f or a?
a
Suppose -2*c - 5*n = -2499 - 124, n = 4*c - 5257. Is c less than 1312?
False
Suppose -p = -3*p + 2*q + 116, 0 = 2*p + 5*q - 109. Let o = 58 - p. Is o greater than -1/16?
True
Let k = 41540/43 + -966. Let c be (18/3 + (-4 - 2))*-1. Is k greater than or equal to c?
True
Suppose 21 + 107 = 4*c. Suppose 52 = -6*m - c. Is -12 at least as big as m?
True
Suppose 17*h = -15*h. Let g = -13 - 13. Let n be 3/(-6) + g/(-36). Is n less than or equal to h?
False
Let z = 2 + 9. Let m be 9366/60 + 1/(-5)*-2. Let n = m + -147. Is z greater than or equal to n?
True
Let f = -9 + 8. Let a be (24/(-28))/(f/14). Suppose 0 = -u - 4*t - 16, -5*u - 2*t + 4 - a = 0. Are -2/5 and u equal?
False
Let g be 8*((5/10 - 0) + 0). Is 7 > g?
True
Suppose 4*n - 24 = -3*p, n = -3*n + 12. Suppose -3*c = -4*d + 7, -2*d - c + 23 = p*c. Is d != 4?
False
Suppose -m + 4*b - 7*b = 0, -4*m = -2*b - 14. Which is greater: -4 or m?
m
Let m = -3121/658 + 67/14. Which is smaller: m or -2/9?
-2/9
Let s be 7/(-2) - (-175)/50. Is s at most as big as -4/229?
False
Let j(u) = u + 4. Let y be j(-5). Let f be (-3 - 5/(-45)*51)*1/204. Is y < f?
True
Let c = -164112564 - -1597964033447/9737. Let d = -19391 - -14523861/749. Let g = c - d. Do 0 and g have different values?
True
Let s = -16/15 - -914/885. Suppose 0 = -37*p - 14 - 23. Which is smaller: p or s?
p
Let x(p) = -3*p**2 - 9*p - 5. Let c be x(-2). Suppose a - 4*z = -3*a + 56, 5*a + 3*z - 86 = 0. Is c != a?
True
Let x be (-14)/(-49) - 2/7. Suppose d - 2*d - 52 = -5*a, a + 3*d - 4 = 0. Let j = -9 + a. Which is bigger: j or x?
j
Let p = 65 - -32. Let y = p + -97.075. Is -1 at least y?
False
Let z = 169 + -132. Which is bigger: z or 1?
z
Let x = -344023/840 - -2864/7. Let o = x + 11/24. Let r(y) = -y**2 + y. Let h be r(1). Which is bigger: h or o?
o
Let n(p) = 32*p - 8. Let m be n(2). Is 59 <= m?
False
Suppose 2*g - 9 = i, -3*i + 4*g - 26 = -9. Suppose 1 + 4 = 5*q. Let x be q + i + -4 - -3. Which is smaller: -1/4 or x?
-1/4
Let l(d) = d**3 + 4*d**2 - 6*d + 2. Let c be l(-5). Let q be (-2 - -1)*c + 6/(-6). Which is greater: -9 or q?
q
Let k = 5 + -2. Suppose 8*u = 5*u + k. Let y be u*(-1)/8*-2. Is y greater than 0?
True
Let r(c) = 3*c**2 + 95*c - 42. Let k be r(-33). Which is greater: 85 or k?
k
Let f be (-16)/7*(-1)/(-2). Let n(v) = v**2 + 29*v + 98. Let y be n(-4). Which is smaller: y or f?
y
Let c = -1/249 + -406/2241. Let d = c + 89/189. Which is smaller: d or -1?
-1
Let z be (-666)/(-15)*55/22. Is 112 equal to z?
False
Let a = 0 - 0.2. Let z = -0.1 - a. Is z greater than -15?
True
Let h(k) = -2*k + 16. Let g be h(6). Let y be 25/g + (-1 - (-6)/8). Is 4 equal to y?
False
Let y = -2.1 - -2. Let k = -20.1 - -33.25. Let a = 2.15 - k. Do a and y have different values?
True
Let b(x) = -13*x**2 + 5 + 2 + 14*x**2 - 9*x. Let y be b(8). Let r be (3/2 + y)*-8. Is 1 != r?
True
Suppose 3*l + 6 = -3*x - 0, -l = -3*x - 10. Is l bigger than -1/138?
True
Let g(t) = 87*t - 22. Let n be g(10). Let s be -1 + -1 - -1 - (-816)/n. Is s <= -2/5?
False
Let u = -848 + 848. Is u not equal to 11/42?
True
Suppose -2*c + 2 = -3*c, -5*f + 1852 = 4*c. Let n be 2/(-10) + f/60. Suppose -4*u + 12 = -20. Is n != u?
True
Let x be 10430/(-56) + (-2)/(-8). Which is smaller: 0.2 or x?
x
Let x be 9/((-108)/(-8)) - (-7926)/72. Is 112 > x?
True
Let v be (-6)/9*-4*(-9)/24. Which is smaller: -9/46 or v?
v
Suppose 3*j = -5*r + 95, -j + 5*j = 0. Suppose 0 = 36*z - 35*z + r. Is z less than -58/3?
False
Let r = -49 - -44.9. Let i = r + 4. Which is bigger: i or 8?
8
Suppose 50*m - 30 = 44*m. Suppose -o + m*z + 30 = 0, -3*o + 25 = -o - 3*z. Let j be (-18)/(-4)*4/6. Which is smaller: o or j?
j
Suppose 13 = -2*u + 3*b - 9, 2*u + b = -6. Let z be (-3)/u + 152/(-20). Let v be (9/21)/(10/z). Which is greater: -1 or v?
v
Suppose 15*m - 16*m + 106 = 0. Suppose c = z + 3 - 26, -3*c = 4*z - m. Is z at least as big as 25?
True
Suppose 2 = -2*d + 4*d. Let k = 23 - d. Which is bigger: 21 or k?
k
Let m be 1/(-4 - (-70)/20). Which is smaller: m or -43/19?
-43/19
Let k(i) = -i**2 - 13*i - 14. Let r be k(-10). Suppose r = 9*o - 5*o. Which is greater: o or 3?
o
Let l(n) = -n**3 + 3*n + 2. Let z be l(0). Is -3/61 > z?
False
Let y be (6/5)/(127/(-10) - -1). Which is bigger: -1 or y?
y
Let f = -29 + 27. Suppose 8*m = 3*m + 3*b - 45, 4*m = -4*b - 4. Let n = 2 + m. Is n greater than or equal to f?
False
Let c(h) = 7*h + 56. Let n be c(-8). Is 2/1363 smaller than n?
False
Let k = -0.19 + 0.49. Which is greater: k or -119?
k
Suppose 437*h - 445*h = -200. Is 4 greater than or equal to h?
False
Let m = 17.0367 + -0.0367. Are m and 0.1 unequal?
True
Let o = 7 - -3. Let p = -23 + 38. Let g be 18/p*(-1)/o. Is g less than -1?
False
Let n = -7.87 - 2.13. Is 3/11 bigger than n?
True
Let f(l) = -25*l**3 - 3*l**2 - 3*l - 1. Let p be f(-1). Suppose 0 = -5*d + p + 31. Do d and 12 have different values?
True
Let v(y) = -y**2 - 48*y - 405. Let s be v(-13). Which is smaller: 243/5 or s?
243/5
Let q = 8 - 17. Let v = 50 - 42. Let u be 12/v*(-6)/q. Which is bigger: 2/17 or u?
u
Let u = -34625/19 - -1823. Let p = -2/57 - u. Let o = 0.2 + -0.18. Is p at most o?
True
Let y = 195 - 192.93. Which is bigger: 2 or y?
y
Suppose 4*x - h = 497 + 467, 2*h = 2*x - 482. Is x less than or equal to 243?
True
Let n = -1.1 + 1.065. Is -0.2 at least n?
False
Let a(t) = -t**3 - 17*t**2 + 19*t - 72. Let j be a(-21). Which is greater: j or -2/7?
j
Let v(z) = -9*z + 18. Let f be v(6). Suppose -3*l - l = -3*a - 1131, 3*l - 857 = 4*a. Let x be f/l*1/(-2). Is x equal to 0?
False
Let k = 0.1628 + 19.6172. Let t = -0.22 - k. Is t less than or equal to -2/7?
True
Let g = 176 + -404. Is -228 at most as big as g?
True
Suppose -4*g - 8 = -6*g. Suppose 4*h - 18 = -0*d + d, 33 = g*d + 5*h. Let n be 0/(0 - -2 - 1). Which is smaller: n or d?
n
Suppose -26 + 10 = -4*r. Let a = 2 + 3. Is r at least a?
False
Let a(n) be the third derivative of -n**6/120 + n**5/3 - 3*n**4/2 - n**3/6 - n**2. Let r be a(18). Which is bigger: r or 2?
2
Suppose 5*o + 4*k - 31 = 394, o + 4*k = 101. Are 81 and o non-equal?
False
Suppose 4*g = -4*d + 36, -g = -3*d + 4*g - 5. Suppose y + 19 = 5*u, 2*u + 3 = -y + d. Suppose -4*p = -0*p - 24. Which is greater: p or u?
p
Let g = -161 - -75. Is g > -257/3?
False
Let z be 1*2 - (-12 - -13). Let b be (12/24)/(z/6). Are 13/7 and b equal?
False
Suppose -3*g - 6 = 18. Let h be -2 - (37/g)/((-9)/(-4)). Suppose 0 = -n + 2*n. Are n and h nonequal?
True
Let y = -12.84 - 0.26. Let f = 13 + y. Are 0.2 and f unequal?
True
Let i(p) = 171*p - 858. Let j be i(5). Is -35/9 > j?
False
Let w