/(-72). Do 22 and x have different values?
True
Let k = -7 + 7. Suppose k*x - 3*x - 9 = 0, 3*c + 4*x = -12. Is -6/11 equal to c?
False
Let r = -19.75 - -19.4. Is 0.1 greater than or equal to r?
True
Let d(z) = -7*z + 33. Let l(p) = -6*p + 32. Let u(t) = -3*d(t) + 4*l(t). Let a be u(10). Which is greater: a or -17?
a
Suppose 3*t - 22 = -5*s, -2*t - 19 = -s - 12. Let r = -4 + 7. Let o be ((-2)/r)/((-4)/6). Is t greater than o?
False
Let d(v) = 2*v + 34. Let t be d(-18). Let q be 48/t + 92/23. Do -20 and q have different values?
False
Let s(h) = -4*h**3 + 5*h**2 + 2*h - 1. Let x be s(-3). Is 147 less than or equal to x?
False
Suppose 0 = 5*v - 8 - 12. Which is smaller: 46 or v?
v
Let a be 6/(1 - 69/9). Let j = 3/5 - a. Do 4/3 and j have the same value?
False
Let n(f) = f**3 + f**2 + f - 1. Let h be n(-4). Let s be (-2)/11 - h/(-11). Let i = -4/437 - 7417/1311. Is s less than i?
False
Let o be -5*(-3)/(-99)*38/(-95). Suppose 0 = -3*r + 3*a - 15, -4*r - 10 = -2*a - 0*a. Is o >= r?
True
Suppose -5*y - 100 = -4*n, n - 3 = y + 22. Suppose -4*s = s + n. Let w be (-2)/1 + -1*2. Is w equal to s?
False
Let w = 373 + -353. Which is greater: 15 or w?
w
Suppose -5*f = 5*l - 280, 107 = 208*f - 206*f + 3*l. Let y = 102 - 42. Are f and y equal?
False
Let i = 97/315 - 3/35. Suppose -3*l + 15 = 6. Let w = -5 + l. Is w equal to i?
False
Let c(h) = 3*h**2 + 11*h - 3. Let v(m) = m**2 + 6*m - 1. Let q(x) = -2*c(x) + 5*v(x). Let w be q(8). Let y = -0.08 + -0.12. Which is smaller: w or y?
y
Suppose 3*x - h = 75, -x = 3*x - h - 100. Let u(m) = 2*m**2 - 2*m + 2. Let t be u(4). Is t less than x?
False
Suppose -4*b = 3*z + 4, 0 = 2*b - 2*z + 9 - 7. Is b <= -1/1002?
True
Suppose 3*z + 63 = l + 2*z, -l - 4*z + 48 = 0. Which is smaller: l or -5?
-5
Suppose -5*w = -3*l + 48, -37 = w + 3*w - l. Let d be ((-813)/w - -2)*3. Let z = d - 7201/26. Which is smaller: z or 1?
z
Suppose o - 4 = 2*g + 1, -5*g = -3*o + 20. Let a be 1/(3 - 42/o). Which is smaller: 4 or a?
4
Suppose 4*c - 630 = 2*q, -c - q + 159 = -0*c. Is c greater than or equal to 162?
False
Suppose -16*o + 118 = -58. Let b = 18 - 6. Do o and b have different values?
True
Let k = 247 + -167. Let j be k/32 - 2/4. Which is greater: 16 or j?
16
Suppose -g + 2*g - 19 = 3*b, -4*b + g - 27 = 0. Let r be ((-6)/9)/(b/12). Is r <= 0?
False
Let h(p) = -p**2 + 7*p - 4. Let m be (4/(-6))/((-2)/18). Let s be h(m). Suppose n + 15 = -s*n - 3*a, -3*a = -n + 11. Which is smaller: -2 or n?
-2
Let f be (304/(-24))/((-4)/6). Let y = f - 9. Is y smaller than 1/3?
False
Let f = 563.1 + -563. Let q = -0.17 + 0.1. Is f at most q?
False
Let c(d) = -d - 3. Let a be c(1). Which is smaller: a or -32?
-32
Let p be ((-3)/10)/3 + 40/(-100). Is p smaller than -2.6?
False
Let x = -0.3 - -0.29. Let q = -0.045 + 6.945. Let t = q - 7.1. Which is smaller: t or x?
t
Let k be ((-368)/552)/(56/(-846)). Which is smaller: k or 11?
k
Suppose 5*c = -k + 25, 0 = -5*k - 5*c + 23 + 2. Suppose -8*f = -k*f - 64. Which is smaller: 9 or f?
f
Let q be (-13 + (-21)/(-3))*94/4. Is q equal to -0.3?
False
Let t be (6/(-14))/(2/7). Let f(z) = -z**2 - 16*z - 20. Let x be f(-12). Suppose -3 = -27*l + x*l. Is t > l?
True
Let i(o) be the second derivative of o**3/2 + 15*o**2/2 - o. Let t be i(-7). Which is smaller: -1/3 or t?
t
Let q(l) = 2*l + 2. Let z = 28 - 17. Let x be q(z). Let s be 1*4*4/x. Which is greater: 2 or s?
2
Suppose -3*y + 291 = -4*q, -9 = -5*q - 24. Let m = 90 - y. Is 0 smaller than m?
False
Let o be (-1038)/15 + -2*(-5)/50. Are o and -2 equal?
False
Let w be 8 + (-424)/56 - 402/448. Which is bigger: -1 or w?
w
Let k be (-1 - -5) + (-9 - -8). Suppose 0 = -4*r + k*r. Suppose -h - 4*h + 45 = r. Which is greater: h or 7?
h
Let h(k) = -2*k**3 + 4*k**2 - 6*k - 23. Let n be h(-2). Which is smaller: n or 18?
18
Let o be (-1 - -88) + 1 + -4. Let k be (-216)/o + 8/14. Is k < -15/7?
False
Let s be 11/(176/(-60)) - -3. Is 0.7 at least s?
True
Let a = -5692/21 - -2140/7. Does 35 = a?
False
Let a = -0.99 - -0.9. Let v = -8.63 - -7.6. Let s = v + 0.03. Which is smaller: s or a?
s
Suppose -2*i - 26 = -3*i. Suppose 8 = 5*p - 4*d - 209, -4*p = -5*d - 170. Let j = -19 + p. Is i greater than or equal to j?
True
Let h be (-23)/414 + (-11162)/(-36). Which is bigger: h or 312?
312
Let r = 1.1 + -0.5. Let p = 0.4 + r. Let o = 0.31 - -0.09. Are o and p unequal?
True
Let m(p) = -7*p + 4. Let o(n) = -8*n + 4. Let s(c) = 7*m(c) - 6*o(c). Let w be s(4). Suppose -2*y = -w*y. Which is greater: -0.1 or y?
y
Let j = -70 - -87. Let o = j + -17.1. Is o less than 19?
True
Suppose 0 = -12*j + 10*j + 2*z + 12, -4*z - 15 = 5*j. Is j greater than 9/38?
True
Let q = -964 - -1010. Is q != 1?
True
Let x = 7 + -31. Let o = x - -25. Let g = -1.2 - -1.3. Which is smaller: o or g?
g
Let i be -8*(-1 + (-818)/4). Suppose 0 = 2*n - r - r - 652, -5*n - 2*r + i = 0. Let q = n + -2292/7. Which is smaller: q or -0.2?
-0.2
Suppose -7*a + a - 6 = 0. Let c be (a - -4)/((-42)/112). Which is smaller: -4 or c?
c
Let y(h) = h + 12. Let v be y(-13). Let w be 68 + (0/(-1))/(v - 2). Is w smaller than 68?
False
Suppose -25*a - 20 = -20*a. Let z = -6 - -29. Let f = -29 + z. Is a less than f?
False
Let o = 10.73 - 11.03. Are -301 and o equal?
False
Let s be 35 - 38 - (2 - 2 - 4). Is -19/40 not equal to s?
True
Suppose -6*m + 3*m = -9, 0 = 4*r + 4*m - 24. Let o be 1/6 + r/(-18)*1. Is 0 < o?
False
Suppose 0 = -3*l - l - z + 1, l + 1 = z. Suppose l = -o - 5*u - 12, 0 = -5*o + 4*o + 4*u + 6. Which is smaller: o or 7?
o
Let f be ((-428)/8)/(1/(-2)). Suppose 5*h + f = 12. Which is smaller: h or -20?
-20
Let y be 3/(42/20 + (-6)/10). Let v be (-1 - -2)*y*14/24. Is v != 0?
True
Let i be (-2 - -1 - -1)/(-2). Let m(p) = 3*p + 2. Let k be m(-7). Let v = k - -20. Which is greater: i or v?
v
Let j be ((-5)/10)/(1/8) - -5. Which is smaller: j or -16/41?
-16/41
Let u be (-9386)/(-8) + ((-1958)/88 - -21). Are u and 1173 non-equal?
True
Let i = -136 + 1909/14. Let l = 39 - 38. Which is greater: i or l?
l
Suppose 34 = -v + 4*i, 2*i - 4 = -0. Let n = -22 - v. Is n less than -2?
False
Let a(w) = -8*w + 279. Let c be a(35). Which is greater: 4/229 or c?
4/229
Let l be (916/(-8))/(12/24). Do -228 and l have the same value?
False
Let t be (-148)/(-20) + 3/5. Let a be ((-2)/t)/((-24)/320). Which is smaller: a or 4?
a
Suppose -21*j + 29 = -50*j. Which is bigger: 201 or j?
201
Let y = -4128047998/75 - -55038703. Let u = 1937 + y. Which is smaller: u or 1?
u
Let q = 4 - 2.2. Let k = q + -1.7. Which is greater: k or -1?
k
Suppose 0*p - 3*p = 0. Suppose 0 = -6*x + 3*x - 2*s + 6, 0 = x - 2*s - 2. Suppose 0 = 3*t - n - x - p, 3*n = -3*t + 6. Which is bigger: 0 or t?
t
Let u be -1*1 - 3231/(-3222). Let z = u + 7157/1074. Let t be (-1 - -25)*(-5)/(-15). Is z smaller than t?
True
Let j = -1163 - -1171. Which is smaller: j or -7/10?
-7/10
Let f = 101/63 - 17/9. Is f less than or equal to -2?
False
Let n be (-1)/3*(2 - -1). Let r be -4 + 1 + (n - -3). Does -6/5 = r?
False
Let r = -45 + 41. Let d be (-1)/(-2)*(-1 + 5). Suppose x + 4 = -d. Which is smaller: x or r?
x
Let o = 3 + -3.2. Let h = -2.5 - -1.5. Let q = h - o. Which is smaller: q or 1?
q
Suppose l + 4*q = -79, -3*l - 231 + 3 = 3*q. Is l at most as big as -75?
True
Let y = -273 + 271. Let p = -2/221 - 135/9503. Are p and y equal?
False
Let o = 4 + 4. Let z be o/(-16)*1/(-2). Let n = 15/19 - 143/133. Which is smaller: z or n?
n
Let g = -48 - -53.58. Let u = g + -0.58. Which is smaller: u or -2/9?
-2/9
Let b be 104/(-10) - 8/(-20). Let j(d) = -d - 1. Let w be j(-3). Let g be (-15)/(-10)*w*-3. Is b <= g?
True
Let f(v) = 14*v - 133. Let x be f(26). Which is smaller: x or 232?
x
Suppose -4*h + 21 = -k, 0*h - 4*k + 16 = 4*h. Suppose -3*d = -0*d - 5*j - 28, -h*d - j = -56. Let p = -9 + 19. Which is smaller: p or d?
p
Let n = 39506 + -354044/9. Let i = -168 + n. Let j = -1 - 5. Which is bigger: j or i?
i
Let i be 2284/40*1 + (-26)/(-52). Is i less than 58?
True
Suppose x = -0*x - 2*d, 5*x - 24 = -2*d. Let s be (-4)/(-6) - 38/(-6). Is s smaller than x?
False
Suppose 7*g - 3*g - 2*w + 132 = 0, 4*g + 136 = 3*w. Let s = -29 - g. Do -7/5 and s have the same value?
False
Suppose 17*z + 3549 = -2656. Which is greater: -2/3 or z?
-2/3
Let u = -1009490/3 + 3093941584/9195. Let d = 1/613 - u. Is d at most 16?
True
Let c 