 - 37. Let m be z(7). Let t be ((-27)/m)/(6/(-160)). Do 59 and t have the same value?
False
Suppose -o + 143 = x + x, 5*o - 5*x = 640. Suppose -15 = d + i + 12, 5*d + 4*i + o = 0. Let u be 20/d*(-2 + 4). Is -3 bigger than u?
False
Suppose 4*z - 6 = 66. Let m be 578/z - 3/27. Suppose 0 = -5*s + 9*s + m. Is -8 <= s?
True
Suppose -4 = -3*c + 2*j, 3*c + 10 = 8*c - 5*j. Which is bigger: c or 5/62?
5/62
Let h = -1570.64 + -27.36. Which is smaller: 0 or h?
h
Let q(f) be the first derivative of -f**3/3 + 9*f**2/2 - 8*f - 1. Let v be q(8). Let j = -779/12 - -194/3. Which is smaller: v or j?
j
Let f = 8.2 - 9.42. Let s = -5 - -3.8. Let r = s - f. Is r greater than -1?
True
Suppose 4*g + 866 = 2*c, -2*g + 5*c + 101 = 530. Which is greater: g or -219?
g
Let z(m) = -m**2 + 6*m + 61. Let w be z(20). Is -217 at least as big as w?
True
Let x = 73 + -43. Let a = 953 - 925. Which is smaller: a or x?
a
Suppose -406 - 4678 = -4*r. Let o = r - 8865/7. Which is smaller: o or 6?
o
Let c be (0 + 20/6)*-3. Let k = c + 6. Is -13/5 < k?
False
Let g be (-23)/2 - 0/(-8 + 14). Let h(o) = o**3 + 7*o**2 + 9*o + 6. Let q be h(-6). Is q at least g?
False
Let w be (2/(-8))/((-2)/(-8)). Let o be (w/(-10))/(10/(-25)). Is 13 equal to o?
False
Let d = -486.1 - -484. Which is greater: -0.06 or d?
-0.06
Let m = -1048 - -1062. Is m equal to -19?
False
Suppose 51*f = 54*f, -2*p + 5*f = 164. Is p bigger than -81?
False
Let l = 1151 - 1494. Which is smaller: l or 0?
l
Let s = 668 + -1004. Which is bigger: -335 or s?
-335
Let v = 0.3 - 0.2. Let t be 2619/(-388) + 0/(-1). Does v = t?
False
Let k = -40/29 - -4/87. Let r = k - -7/6. Let u = -2 + 1.8. Is r > u?
True
Let q = 54414381460/85709 - 8253354/13. Let p = 2/347 - q. Is 1 bigger than p?
True
Let q be 9/((45/12)/(-5)). Let z = q + 20. Let i be (-6)/(-21) + z/(-14). Is i >= 0.1?
False
Suppose -2*x + 36 = x. Let l be x - 1 - (0 - -1). Let u = l - 8. Which is smaller: 6/7 or u?
6/7
Let x = 41 - 45. Let r be (x - -3)/(4 + -1). Let p = -3.04 + 0.04. Which is bigger: r or p?
r
Suppose 12 - 8 = m. Suppose z = -m*g - 18, g = -2*z + z - 6. Let q = -9 - -5. Is q less than g?
False
Let k(b) = 1. Let c(z) = 9*z - 1. Let u(o) = c(o) + 3*k(o). Let m be u(-1). Let g = m - -11. Which is greater: g or 2?
g
Suppose 12 + 48 = -5*u. Let g be 4 + (4 - (-94)/u). Let w(a) = -a - 4. Let m be w(-5). Which is smaller: m or g?
g
Let d = -59.3 - -182. Let s = -123 + d. Which is smaller: s or -1.7?
-1.7
Let f(y) = 2*y**2 + 5*y + 23. Let n be f(-10). Is n less than 174?
True
Let z be 6/(-12) + 114/4. Suppose 4*d = -2*v - z, 0 = 4*d + 12 - 0. Let r = 2 + v. Which is greater: -5 or r?
-5
Let i be (1*2/(-47))/(-4). Let o = 115/1974 - i. Let u = -4840 + 4841. Which is smaller: u or o?
o
Let k = -2 + -4. Let j = 10.7 - 13. Let n = 3.3 + j. Which is greater: k or n?
n
Suppose 61 = -55*p + 116*p. Suppose -3*d = -d. Which is smaller: p or d?
d
Let k = -436.91 + 437. Which is bigger: k or -2/11?
k
Let r(o) = o**3 + 4*o**2 + 2*o - 37. Let w be r(0). Which is smaller: w or -462/13?
w
Suppose p = 2*j + 18, 4 = -j + 4*p + 2. Let t be (9/105)/(15/j). Let v = 7 - 6. Which is smaller: t or v?
t
Let l = 20.42 + -19.42. Which is smaller: 5/47 or l?
5/47
Suppose -44 = -8*o + 12. Let n be (-3)/1 + 9 + -3. Suppose 33 = z + n*k - 8*k, -4*z + 27 = k. Do o and z have the same value?
False
Let q(g) = 3*g**3 + 3*g**2 - 10*g + 6. Let j be q(-5). Let w be (4 + j/60)*-2. Which is greater: 1 or w?
1
Let x = 3 - 2.8. Let z = 0.32 - 15.32. Let h = z + 20. Is h at least x?
True
Let n be -27*(-1 + 3 - 1). Let q be 6/(-2)*36/n. Suppose -k = q*k + 5. Is 1/6 at most k?
False
Let f = -50 + 86. Let x = f + -54. Let d be 9/x + -1*1. Which is bigger: d or 0?
0
Suppose -5*a = 2*a - 35. Suppose -2*y = -4*k - 16, 1 = 3*y + 5*k - 1. Is y <= a?
True
Suppose 3*o - r + 4 = 0, 20 = 6*r - r. Suppose 0 = -o*g + g - 6. Suppose -4*t = -2*k - 42, -t = 6*k - 4*k + 2. Which is smaller: t or g?
g
Suppose 4*k + 31 = 3*k. Let i(v) = -v - 30. Let u be i(k). Which is greater: u or -3?
u
Let g = -0.6 + 0.74. Let t = 0.24 - g. Let k = -0.8 + 1.3. Do t and k have the same value?
False
Let u be (-56)/(-26) - 14/91. Let g be (-20)/50 + 136/390. Let s = 199/78 + g. Which is smaller: s or u?
u
Suppose 0 = -0*i + 3*i. Suppose 1 + i = b. Let f = 425 + -8073/19. Which is greater: f or b?
b
Let x(s) = -57*s + 576. Let h be x(11). Are -36 and h non-equal?
True
Suppose 3*p - 308 = 7*p - 4*g, -163 = 2*p - 5*g. Which is smaller: -76 or p?
-76
Suppose -7*f - 471 = 5493. Are f and -852 non-equal?
False
Suppose 2*n + 2*n = 3*k + 14, -2*k + 2*n = 6. Suppose -i = -k*z + 5, 3*z = i + 3*i + 5. Which is greater: -2/59 or i?
i
Let o be 3*(8/6 + -1). Let c be o/(-3) - (-1)/3. Let b = -81 - -82. Do c and b have different values?
True
Suppose -20 = -3*r - 5. Suppose -r*k - 12 = -2, 5*h = -4*k - 128. Let o be (2/(-15))/((-16)/h). Is o != 0?
True
Let q be 3/1 + (-1 - 1). Let u be -3 + (7 - (q - 0)). Suppose -u*f - 3*b + 9 = -0, 4*f = 5*b - 24. Is f > -1/9?
False
Let q = -0.1 - 0. Let l = -5/1886 - -67921/9430. Are q and l equal?
False
Let r be ((-4)/15)/((-21)/14). Let c = r - -34/315. Let x = 0.04 + -0.1. Is c <= x?
False
Let r = -107.107 - -107. Let b = r + 0.007. Do -2.3 and b have the same value?
False
Let s be ((-108)/(-52) - 2)*-4. Suppose -2 + 3 = -o. Which is bigger: s or o?
s
Suppose -b - 56 = -3*b. Suppose -4*f = 3*i + 23, -5*f = -3*i + 6*i + b. Let q be ((-9)/(-6))/((-9)/12). Is q != i?
True
Let k = 124 + -134. Let h be (-2)/k - 576/(-45). Is 2/3 != h?
True
Let r = -5 - -9. Suppose -4*j - 3*b = 13, -3*j - 5 = 2*b + r. Let l be 1*(1 - j) + -9. Are l and -7 unequal?
False
Let a be (-53)/(-795) - 16/15. Which is smaller: a or -1/286?
a
Suppose -5*i = 1029 + 551. Is -317 greater than or equal to i?
False
Let r be -3 - (-7 - 88/(-16)). Which is greater: r or -50?
r
Suppose 0 = -r + 2*r - 28. Let t = -13 + r. Let q = -9 + t. Which is greater: q or 4?
q
Suppose -5*k + 3*a - 7*a + 40 = 0, 4*k + 5*a = 41. Suppose 0 = -k*q - 2*m + 12 - 0, -m = q - 4. Let d be (-24)/45 - q/(-10). Are 1 and d nonequal?
True
Suppose -2*z - d - 20 + 170 = 0, -d = 3*z - 227. Which is bigger: z or 75?
z
Let x be (-3)/5 + 108/(-20). Let c be ((-35)/126)/((-2)/x). Which is smaller: c or 0?
c
Let y(r) = 10*r - 18*r + 7*r. Let n be y(-1). Which is smaller: -2/25 or n?
-2/25
Let y = 1773 - 494666/279. Which is smaller: y or -1/5?
-1/5
Let l = 14 + 18. Let o be (-22)/165 + l/15. Suppose f + 1 = w, o*f + 3*f = -5*w + 5. Is -1/24 at least as big as f?
False
Let h = -31221 + 4152361/133. Is 0 <= h?
False
Suppose 1 = n - 4. Suppose -3*l + 3*c - c = 76, n*l + 128 = 2*c. Is -26 at most as big as l?
True
Let r(h) = h**3 + 23*h**2 - 10*h - 229. Let z be r(-23). Which is bigger: z or 7?
7
Let s be (1022/115)/((-32)/(-20)). Let c = -7/23 + s. Which is greater: c or 4?
c
Suppose 0 = 2*f - 5 + 3. Let a(l) = 9*l + 18. Let t be a(-2). Which is smaller: f or t?
t
Let j = -180 - -176. Let q be (1 - 0)/(1396/8). Let d = q - 3847/1396. Which is bigger: d or j?
d
Let b be 1/((-3)/1)*-7. Suppose 0*c - c + 0*c = 0. Suppose -47*m + 52*m - 10 = c. Is b smaller than m?
False
Suppose -236*f - 3380 = -226*f. Which is greater: 0 or f?
0
Let n be 12/18*(5/(-30) + 0). Is -6 equal to n?
False
Let o be 8100 + 0 - 12/(-54). Let q = o - 8088. Which is greater: q or 13?
13
Suppose j - 5*j + 15 = -l, 2*j = 0. Let q = -53 - -53. Suppose 3*u + q*u + 45 = 0. Is u bigger than l?
False
Suppose 3 = -5*u - 3*a, 2*u + 4*a = -0*u - 4. Suppose 4*x + 9 = -0*x - 5*v, -5*x + 3*v = -35. Suppose 2*t + 14 + x = u. Is -10 > t?
False
Let q = -63 - -53.8. Let d = q + 9. Let z be ((-9)/(-16))/(3/(-2)). Which is smaller: z or d?
z
Let r = -326/9 - -6196/171. Are r and 0 equal?
False
Let z(b) = -3*b**2 - 139*b + 94. Let i be z(-47). Let m = -11/42 + -211/798. Is m > i?
False
Suppose -60 = 4*o + 40. Let z be o/(-10)*(0 - -2). Suppose -10 = -4*g + z*h + 17, -3*g = -5*h - 24. Which is smaller: g or 0.1?
0.1
Suppose -2 + 50 = -3*u + 2*s, -4*u - 2*s = 64. Let g(j) = 5*j + 4. Let f be g(-4). Is f greater than u?
False
Let b = 215 + -216. Which is smaller: b or 33?
b
Let a(g) be the first derivative of -g**4/4 + g**3/3 - g**2 + g - 5. Let r be a(1). Is r at least -2/29?
False
Suppose -4*t + 44 = -2*h, -4*h + 42 = t + 4*t. Is t at least as 