4 - 536/160. Is m at least as big as h?
False
Suppose -5*k + 8 + 7 = 0. Suppose 5*s + k*o - 31 = 0, o - 11 + 46 = 4*s. Let b be 6/s*22/(-33). Is b less than or equal to 0?
True
Suppose 0 = m + 49 - 5. Let d = -69 - m. Let n be 37/5 + 10/d. Is 5 at least as big as n?
False
Let j be 22*(-3 + 3 + -1). Let b be -1 + -1 - (21 + j). Which is bigger: -7/11 or b?
-7/11
Suppose -10*h + 9*h = -3*s + 108, -5*h - 3*s = 504. Does -102 = h?
True
Let d(c) = -7*c**2 + 2*c. Let k be d(-2). Let v be ((-6)/k)/((-66)/44). Which is bigger: 1 or v?
1
Let p be 2*10*(-4)/(-16). Suppose 2*h = -3*h - p. Which is smaller: h or -6/7?
h
Let i be (-138)/320 - ((-108)/20 - -5). Is i at least -0.1?
True
Let l be (-3)/((-24)/2)*-1. Let q = 3571/19 - 188. Is l bigger than q?
False
Let m = 899076/169 - 5320. Does m = -1?
False
Suppose 0 = 4*o + w - 67, -3*w = -4*o - w + 70. Do o and 11 have the same value?
False
Let v(k) = k**2 + 10*k + 5. Let g be v(-10). Suppose g*m - 14 = -o + 17, 3*o = -3*m + 69. Let l be (-9)/o - 15/(-21). Which is greater: -2/27 or l?
l
Suppose -45*h + 965 = -2860. Which is smaller: 84 or h?
84
Suppose -385 = 235*a - 246*a. Which is smaller: a or 36?
a
Let g = -154 + 173. Which is bigger: g or 98/5?
98/5
Let g = -9 - -8.8. Is 2/75 less than g?
False
Let d = -0.0727 - 0.9273. Which is greater: -29/7 or d?
d
Let w be -135 + -1 + (3 - 0). Let a be w/(-21)*(-1 + 7). Let i be a/(-4) - 1/(-2). Is -8 not equal to i?
True
Let l be -6*((-12)/5)/((-2)/5). Are -40 and l non-equal?
True
Suppose 5*f - 5 = 5. Let p(r) = -r**3 + r. Let d(m) = -4*m**3 + 3*m**2 + m + 1. Let k(g) = -d(g) + 3*p(g). Let q be k(f). Is -2 < q?
True
Let x(g) = 8*g + 57. Let d be x(11). Suppose -95 + d = 5*v. Do v and 8 have different values?
True
Let x be (-2)/(-15) - 46/120. Let z(b) = 1 + 0 - 10*b + 4*b + b**2. Let g be z(6). Which is greater: x or g?
g
Let n(r) = 3*r**2 + 13*r + 4. Let b be n(-6). Let v(w) = w**3 + 27*w**2 - w + 8. Let c be v(-27). Which is smaller: c or b?
b
Let z(f) = 9*f - 159. Let r(k) = 2*k - 40. Let p(i) = 21*r(i) - 5*z(i). Let m be p(-13). Is m greater than or equal to -10?
True
Let b be 5*36/160 + -1. Is 2/5 not equal to b?
True
Let d be 3/7 + 267/(-84) - -3. Is 34 > d?
True
Suppose v = 4, -v - 102 = -f + 2*v. Let c be ((-16)/24)/((-20)/f). Which is smaller: c or 4?
c
Let p = 846 + -44840/53. Let b = -807 + 807. Is p at most b?
True
Suppose 3*z = -5*z. Let s be (5/240 - 0/(-2)) + 0. Is z != s?
True
Let w = -1.8 - -7.8. Let d = -6.1 + w. Is d greater than or equal to -11?
True
Let j be 1/(-2)*(-10 - 371/(-35)). Which is smaller: 1 or j?
j
Suppose -2*s - 84 = 4*q, 0 = -2*s - 11 + 3. Let d(m) = m**2 + 22*m + 19. Let u be d(q). Let a = u + 21. Does -17 = a?
True
Let s(c) = 7*c**2 - 6*c + 4. Let r(y) = -15*y**2 + 14*y - 8. Let b(j) = 6*r(j) + 13*s(j). Let x be b(-5). Is 2/337 not equal to x?
True
Let u = -3381/20 + 169. Which is greater: u or 4?
4
Let a be (109 - 109) + 2 + -1. Which is bigger: 4/701 or a?
a
Let t = 218 + -221. Which is smaller: t or 5?
t
Let d be (6 + (-2 - -4))*1. Suppose p - 3*q = 6, 0*p = -5*p - 4*q - d. Let f be (9/33 + p)*-4. Which is greater: f or 0?
0
Suppose -52 = -6*h + 2*h. Let w = -276 - -357. Suppose -4*r + h = w. Are -15 and r unequal?
True
Let l be 5 - (-1314)/(-3) - -9. Is l not equal to -423?
True
Let c = -948 - -946. Is c at most as big as 3/17?
True
Suppose 9*m + 504 = -27*m. Is -10 greater than or equal to m?
True
Let w = 11/2 + -32/3. Let t = w - -21/4. Are t and -1 unequal?
True
Let a = 0.23 + 0.17. Let w = a - 0.5. Let x = 0.14 + -0.04. Which is smaller: x or w?
w
Let w be (-638)/1190 + (40/14)/5. Which is bigger: -1 or w?
w
Let p = 0 + -1. Let c = 7.5 - -1.1. Let s = 7.4 - c. Which is smaller: s or p?
s
Suppose -3*g + 0*g = -6. Suppose 2*d + 19 = 23. Does g = d?
True
Let q be (-4 - -9) + -1 + 58/(-16). Which is greater: 1.9 or q?
1.9
Suppose -2*r - 126 = -o, o + 5*r + 257 = 3*o. Is 822/7 at most as big as o?
False
Let t = 2057 + -1929. Is 139 greater than or equal to t?
True
Suppose 0 = -10*i + 5*i + 2*i. Is 22/193 less than i?
False
Let d be ((-2)/(-18))/(15/(-954)). Let c = d - -7. Is c at least -1?
True
Let p = 131.2 - 131.1. Is p < 704?
True
Suppose 0 = 3*k - 1784 + 557. Do 410 and k have different values?
True
Suppose 2*b - 19 = -h, 0 = -5*b + b - 5*h + 35. Let j be b/30 - (-7)/(-9). Is 0 > j?
True
Let y be 28/98 - 159/(-7). Which is bigger: y or 0.06?
y
Let c(z) = z**3 - 8*z**2 - 6*z + 4. Let a be c(6). Let q = a + 104. Which is bigger: -22 or q?
q
Let h = 44 - 44.24. Let q = -0.96 + h. Which is bigger: q or -0.3?
-0.3
Let f be -39 - ((-7)/35 + 9/(-5)). Which is smaller: f or -33?
f
Let y be -13*2*22/(-4). Let i = -583/4 + y. Is i smaller than -3?
False
Let r be 70/2 - (10 - 6). Let w = 63/2 - r. Suppose 4*c - 20 = -0*c. Which is greater: w or c?
c
Let y = 2732467/9793308 - 1/35483. Let n = 2/69 - y. Let b = -0.21 - -0.2. Is b greater than n?
True
Suppose -2*k + 2*x - 283 = -x, 4*k - 5*x = -567. Let v be (1/(-5))/(2/1434). Let c = k - v. Is 0.8 equal to c?
False
Suppose -x + 165 = 4*x. Let f be 3/15*(-5)/x. Which is bigger: f or 1?
1
Let h(c) = c**2 + c + 3. Let i be h(0). Let m be 5 - 0 - i - -2. Let j be -1 + 0 - (-12)/m. Which is greater: -0.7 or j?
j
Let m be 44/330 + 1376/30. Suppose 2*t = -2*o + 20 + m, 4*o - 12 = 0. Let z = t + -17. Which is bigger: z or 11?
z
Let z = -165.3 + 176. Let q = z - 31.7. Which is smaller: q or 2?
q
Let p = 51 + -72. Let h = 20 + p. Is h smaller than -2?
False
Let r = 89 + -85. Which is bigger: r or 31/7?
31/7
Suppose -6*o + 9*o - 45 = 0. Suppose -o - 13 = -2*q. Which is smaller: q or 16?
q
Let y(r) = 4*r + 2. Let p be y(-1). Let k be (p + 1)/(1/6). Is -6 greater than k?
False
Suppose 0 = -6*t + t - 280. Let p be (-3)/(-14)*t/(-48). Let y = -7/12 + p. Is 0 >= y?
True
Let j = 26 - 12. Let s be ((-3)/j)/(84/(-16)). Suppose -2*y = -7*y + 2*g, 4*g = -y. Are y and s unequal?
True
Suppose -7*c + 72 = c. Suppose -4*u = 3*v - 19, 2 + c = 3*v - 4*u. Suppose 3*a = -2*a + 15. Is v greater than or equal to a?
True
Let q be (-3)/6 - (3/2 + -2). Suppose -r + i = 0, q = 5*r - 3*i + 7*i - 18. Are r and 2 equal?
True
Let j be (4 + -1)*1/(-3). Let i(p) = 4*p**2 + 5*p + 5. Let z be i(-2). Let g(h) = h - 20. Let r be g(z). Is j at most r?
False
Suppose -3*n = -2*k + 18, 0 = -375*n + 377*n + 3*k - 14. Let b = -4771/19 - -251. Which is greater: b or n?
b
Let r = -1496 - -1495. Suppose -3*s - 24 = s. Which is smaller: s or r?
s
Suppose 41 + 3 = 11*n. Suppose -5*q = -n*f + 59, 10 = -5*q + 3*q + 5*f. Is q at least as big as -15?
True
Let a be (7 + 3 + -8)/(-1). Suppose 2*t = -6 - 0. Which is smaller: t or a?
t
Suppose 4*h + 19 = -h - 3*a, -3*h - 2*a - 11 = 0. Let x be h/(-3) + (-2 - -3). Suppose -10 + 0 = -4*u + 3*s, 0 = 5*u + 4*s - 28. Which is smaller: u or x?
x
Let b = 37 + -63. Let k = b - -14. Let z = -11 - k. Is 0 less than or equal to z?
True
Let k = -0.052 + 0.13. Let a = k + -0.278. Does -16 = a?
False
Suppose -2*y + 5*i - 7 = 0, -y - 5*i + i + 16 = 0. Let a be (-9)/28*y/(-6). Let b be ((-39)/9 - -5) + 115/(-69). Which is smaller: a or b?
b
Let t be ((-40)/50)/(1 + (-118)/10). Does 0 = t?
False
Let b = -4.7 + 7.3. Is b <= -4?
False
Let o = 4.658 + 0.342. Let q = 1.2 + -1. Let r = q + -0.4. Which is bigger: r or o?
o
Let s = -9 + 9.09. Let o = 18 + -53/3. Is o <= s?
False
Suppose u - 8 = l - 2, -3*l + 4*u = 23. Is l less than -1/89?
True
Let b(s) = s**2 + 28*s - 54. Let w be b(-27). Is w less than -79?
True
Let z = 0.77 - -0.03. Let l = z + -0.81. Let a = -0.21 - l. Which is smaller: a or -1?
-1
Let z(p) = -p + 1. Let l be z(0). Let o(m) = -3*m + 15. Let y be o(5). Which is bigger: l or y?
l
Let r be ((-2)/(-7))/(((-6)/(-21))/2). Let l be 2/(-142*1/r). Which is smaller: -1 or l?
-1
Suppose 56*j - 735 = 49*j. Which is bigger: 0 or j?
j
Let k = 11 - 9.2. Let d = 0.79 + k. Let v = d + -2.7. Which is greater: v or -0.1?
-0.1
Let c be ((-11858)/4 - 1)/((-391)/138). Let t = 1047 - c. Suppose 6*n - 3*n = 0. Is n at most as big as t?
True
Let n be ((-6)/(-4))/((-3)/4). Let p(k) = -3*k + 4. Let w be p(n). Let y = -13 + w. Which is smaller: y or 0?
y
Let h = 12 - 3. Let p = -6 + h. Suppose 2*i = -4*r - 20, -3*i = -p*r - 4*i - 15. Which is bigger: -4 or r?
-4
Let b = -2 - -2. Let f be 45/6*(-12)/9. Which is greate