 (-5)/((-80)/12)*4. Let u = 15 - 10. Suppose 0 = -0*p + u*p - 15. Do p and g have different values?
False
Suppose -3*q - 4*b = -8, -4*q = q - 4*b + 8. Let a = -14 - -18. Let r(i) = -i**3 + 3*i**2 + 4*i + 2. Let w be r(a). Which is smaller: q or w?
q
Let x(j) = j**2 + 6*j + 17. Let k(i) = -i - 1. Let t(o) = -3*k(o) + x(o). Let m be t(-5). Is m not equal to 19?
True
Let k = 29 - 14. Suppose -2*h - h + 5*i = k, 0 = -i + 3. Which is greater: h or -1?
h
Suppose 15 = g + g + 5*b, 0 = 2*b + 2. Let m = -10 + g. Suppose -w = -m*w. Which is bigger: w or 2/11?
2/11
Let l = -26 - -495/19. Let u be (0 - 6)*(-3)/18*4. Suppose -42 = u*n - 38. Which is smaller: n or l?
n
Let k(d) = d**3 + 2*d**2 - 13*d - 3. Let b be k(-4). Suppose -5*x - 432 = -b*x. Which is greater: x or 73/2?
73/2
Let f = -443180649/8618 - -51425. Let v = f + 16925/2680198. Which is smaller: v or 0?
0
Let a be (3 - (1 + 1 + 3)) + 5. Suppose -4*o + 176 = -2*x - a*x, 0 = -4*o - 3*x + 176. Which is greater: o or 45?
45
Let w = -21 - -15.2. Which is greater: w or -0.1?
-0.1
Let d = -3/532349 + -4507931305/4791141. Let j be (-2)/7 - (-6596)/7. Let t = d + j. Is 1 less than or equal to t?
True
Let l = -1 - -4. Suppose 4*v = 12 + 4. Suppose 0 = -4*s + 16 + v. Are l and s nonequal?
True
Let g = 9332 + -84305/9. Let t = g - -35. Is t smaller than 1/24?
True
Let l = -0.05 + -5.95. Let m = 940 - 939. Is m greater than l?
True
Let b = 30/323 - 4184/52003. Are b and 1 unequal?
True
Let n = 11 + -19. Let g be (-340)/(-24)*n/(-20). Which is greater: g or 6?
6
Suppose 0 = -3*s - 2*p + 75, -5*s + 67 + 58 = 4*p. Let h = 27 - s. Suppose r + 16 = -h*g - 3*r, -3*r = 0. Is g > -8?
False
Let j = 112/33 + -30/11. Let a be ((-4)/(-3))/((-4)/(-6)). Which is greater: j or a?
a
Let w be (6/(-15))/((-2)/350). Do w and 72 have different values?
True
Let a(r) = -r**3 + 7*r**2 - 5*r. Let o(y) = y**2 - 2*y - 3. Let h be o(4). Let p be a(h). Let l be p/(-14) - (-1 - 1). Is -1 at least l?
False
Suppose 0 = -0*c - 3*c + 6. Suppose -t - 5 = -c*d, 0*t + 3*t + 2*d = 17. Suppose k = -0 + t. Which is smaller: k or 1?
1
Suppose -4*d = -9*d + 45. Which is greater: 11 or d?
11
Let z be ((28/16)/7)/((-29)/(-116)). Is 6/283 < z?
True
Let t = 4216/3 + -1407. Is t > 1.3?
False
Suppose 3*o + 15 = -3*k, -5*o = -6*k + 3*k + 33. Suppose -23 = 4*g + 5*d, 6*d - 5*d - 15 = 2*g. Which is bigger: g or o?
o
Let t = 5/11 - 26/55. Which is bigger: -1 or t?
t
Suppose -7*f = -24*f + 204. Which is bigger: f or 1/12?
f
Suppose 14 - 6 = 2*i. Suppose 4*s + 22 = -v, 4 - 22 = i*v + 2*s. Let p be 1 - (1 + v + 3). Which is bigger: -4/7 or p?
-4/7
Let t = -197/1477 + -2/211. Is t at least as big as 0.049?
False
Let x = -214 - -222. Are -2/9 and x equal?
False
Let a(h) = -3*h - 20. Let j be a(-6). Let q be j/5*(-10)/8. Let k = -1 - -3. Is k not equal to q?
True
Let l be (-3)/(-5) + 108/45 + 1. Which is greater: l or -5?
l
Let w(d) = -d**2 + 4*d + 59. Let q be w(-6). Which is greater: -20/17 or q?
q
Let t = -1816 + 1816. Which is smaller: t or 2/335?
t
Suppose -2*t - 2*l = 2*t - 86, 0 = 2*l - 6. Suppose 4*r - m = -22, -2*r = -4*r + 5*m - t. Suppose 15 = -2*u + 5. Is r >= u?
True
Let x be 3 - 5/(-13)*(-275)/35. Let w = x - -192/455. Do w and 2/5 have the same value?
True
Let p be (-252)/(-35) - 7 - 1178/(-10). Which is bigger: p or 235/2?
p
Suppose -4*f = 0, -5*q - 163 + 153 = -2*f. Let y(x) = x**2. Let s be y(1). Let o be -1*s/(-1 - -2). Which is smaller: o or q?
q
Let h = 11 + -9. Suppose -5*y = w - 19, -5*w + 1 = h*y + 21. Are w and -3 non-equal?
True
Let i(t) = -t**2 + 8*t - 6. Suppose 4*b - 2*v - 12 = 6, 3*b = -v + 11. Suppose b*p = 22 + 6. Let s be i(p). Do s and -2/3 have different values?
True
Let s = -353 + 303. Which is smaller: s or -4?
s
Let c be 3/(-9)*1*81/(-135). Let r = -2.5 + 0.5. Which is bigger: c or r?
c
Suppose 20 = -4*v, 2*p + 0*v - 2*v + 108 = 0. Let w = p + 41. Let r be 6/27 + 22/w. Is r equal to 1/5?
False
Suppose -g + 5*l = -5*g + 448, 8 = -2*l. Which is smaller: g or 115?
115
Let i = -18.55 + -1578.45. Which is bigger: -2/5 or i?
-2/5
Let c be 2*(-1)/2 - -3. Let n be c/(-4) - (-358)/(-4). Let i be n/(-152) - (-30)/(-40). Which is smaller: i or 0?
i
Let o = 0.64 - -44.36. Let f = o - 53. Which is smaller: f or 2/7?
f
Let i = 26 + -26.043. Let z = 0.043 + i. Is 12 < z?
False
Let u be 1/2*2/4. Let c(y) = -69 + 32 + 35 - y + 0*y. Let g be c(-1). Is g bigger than u?
False
Let y be -3 - ((-4 - -8) + -10). Suppose 2*n = -1 + y. Which is greater: -7 or n?
n
Let s = 54 + -107/2. Suppose -3*b = -2*b. Let a = 2/5 + b. Which is smaller: s or a?
a
Suppose -119 - 79 = -9*s. Is s at least as big as 0.14?
True
Let r = 30 - 31. Let c(u) = -u**3 - 2*u**2 - u - 2. Let i be c(-2). Which is bigger: i or r?
i
Suppose 2*y - 4*c - 20 = 0, -13 = -3*y + c + 7. Let x be y/(-15) - (-320016)/615. Let s = x + -520. Is s > 0?
False
Let b = 97.97 - 99. Let w = 134 + -134.03. Let k = b - w. Is k > 0.03?
False
Let o = -0.108 + 0.1. Let a be 7 + (1 - 2)*8 + -1 + 1. Is o equal to a?
False
Suppose -4 = -2*a - 5*v, 0 = -3*a + 7*a + 3*v + 6. Let q be ((-5)/(-165)*a)/(0 + -1). Suppose 0 = -d + 2*f + 3*f + 9, -5*d - 9 = 2*f. Which is smaller: d or q?
d
Suppose 4*y + y - 66 = 4*t, 9 = y - 5*t. Suppose 4*w = g + y, w = 3*g - 0*g + 20. Which is bigger: g or -36/5?
g
Let h be (6/(-4))/((-36)/(-368)). Let r = -16 - h. Which is smaller: 0.3 or r?
r
Let u be 5*-1*4/(-20)*-5. Let h be (282/u)/(-6) + 9/15. Is 60/7 <= h?
True
Suppose 31*p - 9 = 22*p. Which is greater: p or 2/3971?
p
Let n(u) = -u**3 - 4*u**2 + u + 4. Suppose -12 = -0*a + 3*a. Let k be n(a). Suppose 5*g - 3 - 2 = 0. Which is greater: g or k?
g
Let n = 6 + -2. Let o = n - 0. Let w be (o - (4 - 3))*3. Is 8 at least as big as w?
False
Suppose -5*x = -20, 4*u + 69 = 3*x - 67. Let j be (-1)/u*(2 - 3). Is 1 bigger than j?
True
Let l(z) = z**3 - 2*z**2 + z. Let o be l(1). Let i = 2/99 - 296/4851. Is o at most i?
False
Suppose 0 = 6*z - 11*z + 110. Suppose -25*p = -z*p - 48. Is p >= 14?
True
Let q = 653.2 - 659. Which is smaller: -1 or q?
q
Let h = 4.47 - 0.47. Let f = 5 - h. Which is greater: -45 or f?
f
Let y(z) = -z + 10. Let n(p) = 1. Let t(o) = 2*n(o) - y(o). Let i be t(-6). Which is smaller: i or -15?
-15
Let r(z) = -43*z**2 + 12*z - 1. Let b be r(2). Is -149 smaller than b?
False
Let c = 11 + 25. Suppose 5*s - 14 - c = 0. Let z be s/4 - (-10 - -11). Which is bigger: z or 3?
3
Let b = -196 - -172. Is b >= -23?
False
Let c = 111 - 112. Is c less than -10/7?
False
Let n = -0.01 + 76.01. Is -0.4 at most n?
True
Let c be ((-420)/1620)/(((-10)/(-12))/(-5)). Do c and 5 have the same value?
False
Let s(o) = -2*o**3 - o**2 + o - 2. Let m be s(-2). Let j be (m/(-10))/((-1)/(-15)). Is j less than -15?
False
Let p = 67 + -125. Let c = p + 34. Let v = -24.04 - c. Is v less than -2/7?
False
Let f = 30 + -21. Let i = -23 + f. Let r = -12 - i. Are 1/8 and r unequal?
True
Let j = -26.86 + -1.14. Is j at most as big as -2/3?
True
Let j(c) = -62*c + 526. Let i be j(8). Is i greater than 41?
False
Let h = 2 - 9. Let c be (-1*3)/(8 + h). Is 1 <= c?
False
Let z(y) = -22*y + 243. Let m be z(11). Is 13/152 less than or equal to m?
True
Suppose 2 = 13*v + 106. Let j = -18 - -11. Which is smaller: j or v?
v
Let u be (-3664)/42 - 52/(-91). Let y = -86 - u. Is y equal to -2/15?
False
Let p(i) = i**3 + i**2 - i. Let g be p(0). Suppose a + g*a - 47 = -3*r, -r - 3 = 5*a. Do 16 and r have the same value?
False
Let b = 256.6 - 256.701. Which is bigger: b or -4?
b
Let c = 45 + -38. Suppose -2*z - f = 4*f - 19, 0 = -z + 3*f - c. Are 5 and z equal?
False
Suppose 91 = 3*f - 4*x + 281, 2*f + 124 = 4*x. Let v be ((-6)/(-140))/(f/(-55)). Which is smaller: v or -0.2?
-0.2
Let n = 36 - -6. Let k = -806 + 848. Are k and n nonequal?
False
Let c(j) = -j**3 + 2. Let w be c(2). Let u = w + 6. Let h = -169 + 509/3. Which is smaller: u or h?
u
Let j(x) = 4*x + 59. Let g be j(-14). Which is smaller: 30/19 or g?
30/19
Let k = 25458/37 - 688. Let j(r) = r + 7. Let d be j(-6). Which is bigger: d or k?
d
Let s be 150 + -144 + 944/(-150). Is 1 smaller than s?
False
Let j = -1686 - -1686.079. Is j bigger than 2/15?
False
Let r = -3.899 + -0.001. Let h = -3.9 - r. Is 9 at most h?
False
Let i be (-104)/105 + 8/8 + 0. Which is greater: -1 or i?
i
Let d(a) = -4*a - 38. Let r 