 s(-12). Suppose -5*v = -5*r - 5, c*v - 15 - 9 = -r. Which is smaller: m or v?
v
Suppose 3*q + 11 = -1, q - 131 = -5*d. Let u be (-9)/d + 8/30. Let h = u + 19/60. Which is greater: -1 or h?
h
Suppose 3*m = -3, 9*m = 5*c + 8*m + 224. Let s be 1/((-2)/(17*-2)). Let x = s + c. Is -1 < x?
False
Let w = 22.7 - 22.9. Which is smaller: w or -501?
-501
Suppose 0 = 2*i - 1 + 5. Suppose -10 = -5*m - 25. Let h = m - i. Is -2/3 at most h?
False
Suppose 2 = -5*t - 3*p, -3*t + 7*t = -2*p. Let q be (-1)/(-7) + 8/(-7). Let j = q + t. Which is greater: j or 2/23?
j
Suppose -3*r = -4*d - 99, -31*r + 30*r + d + 33 = 0. Do r and 33 have different values?
False
Suppose 0 = -10*p + 3627 + 93. Which is smaller: p or 371?
371
Let a be -2 - (-104)/48 - 82/(-12). Suppose 0 = -f - 4*f + 10. Suppose c - f = -c. Is c smaller than a?
True
Suppose 2*q = 4*t + 35 - 3, -2*q + 34 = -5*t. Let l = q + -103. Do -90 and l have different values?
True
Let s = -1.36 + 0.36. Let g = 6 + -5.2. Let w = g + -0.4. Is w greater than or equal to s?
True
Let b(t) = -t**3 + 4*t**2 - 1. Let h be b(5). Which is greater: -16 or h?
-16
Let h = 24 + -9. Let u(w) = -w**2 + 40*w + 286. Let o be u(46). Let r be ((-3)/h)/(o/(-6)). Which is smaller: r or 2/5?
r
Let d = 1117/12 - 93. Let h be (-1)/3 - (-21)/9. Let x = h - 2. Is d at most as big as x?
False
Suppose 3*s + 797 = -2*t, -22*t + 18*t + 3*s - 1603 = 0. Which is smaller: t or -2006/5?
-2006/5
Let w = -5.4 - -5.1. Suppose -4*p + 20 = p. Let i = p + -10. Is i less than w?
True
Let b = -153 + 153. Which is smaller: 17 or b?
b
Suppose -57 = 3*c - 27. Let y = 20 + c. Is -1/2 less than or equal to y?
True
Let h = -9.98 + -127.02. Which is smaller: h or 3?
h
Let l = -0.049 + -26.951. Let m = 27 + l. Let v = 437/5 - 87. Which is greater: v or m?
v
Let f = -2222 - -2117. Which is smaller: 1 or f?
f
Let v = -317 - -319. Let h = -0.2 + 0. Is h > v?
False
Suppose 15*d + 1189 + 236 = 0. Is d at most as big as -95?
True
Let h(x) = 3*x**2. Let t be h(4). Let v = t - 69. Which is smaller: -20 or v?
v
Let h = -5.9 - -2.3. Let d = 20 - 21.6. Let y = h - d. Which is smaller: y or 1?
y
Let u = 152 + -6533/43. Suppose 15*l = -28*l + 21*l + 22. Is l >= u?
True
Let b = -18 + 32. Suppose -y - w + b = -6*w, 4*y - w = 18. Is y < 5?
True
Let k be -17*(-6)/27 + (-2)/(-9). Suppose -r = k*r - 10. Which is greater: 5/4 or r?
r
Let b = -156 + 160. Let i(q) = -q**3 - 4*q**2 + 6*q + 5. Let r be i(-5). Suppose -c - b + r = 0. Are c and 0 unequal?
True
Let h(r) = -r**3 + 5*r**2 + 6*r - 3. Let q be h(6). Let x(f) = 7*f**3 + 2*f**2 - 5*f - 5. Let y be x(-1). Which is smaller: y or q?
y
Let c(i) = 8*i - 7. Let r be c(2). Suppose 4*f - r = s + 9, 3*s - 5*f = -54. Is 0.2 greater than or equal to s?
True
Let n(f) be the first derivative of -f**3/3 + 4*f**2 + 8*f - 2. Suppose -10*p = -11*p + 7. Let b be n(p). Is 15 bigger than b?
False
Let x = 2 + 0. Suppose -2 = -x*m - 0. Let c be 8/(0 + 4)*1/(-8). Which is greater: m or c?
m
Let d be -3 + ((-11666)/(-95) - 8/10). Is 119 <= d?
True
Let v = 2/1175 - 4726/15275. Let i(s) = -s**2 - 7*s - 5. Let j be i(-6). Is j greater than v?
True
Let a(m) = 3*m - 6. Let f be a(3). Suppose -5*i + 2 + 8 = 0, -f*g + 4*i - 5 = 0. Is 0.04 at most g?
True
Let k(m) = m**3 + 4*m**2 + 2*m - 5. Let t be k(-3). Which is greater: 8 or t?
8
Let c be 100/(-30)*24/16. Are c and -2 unequal?
True
Let r = -31642/33 + 2834/3. Is r != 2?
True
Let o be (-232)/(-1)*1160/(-390). Let d be (1840/(-4))/((-2)/3). Let s = d + o. Is -1 bigger than s?
False
Let j be 24/(-15)*(-2727)/108. Is 40 <= j?
True
Let b = -13 - 15.2. Let h = b - -29. Which is bigger: -0.2 or h?
h
Let g be 12/(-5)*10/3. Let q(a) = a**2 + 8*a + 6. Let j be q(g). Let c be 4/2 - (1 - 0). Which is smaller: c or j?
c
Let b be (-1)/(-4) - 1890/72. Let f be b/63*9/12. Let u = -5/14 + f. Is 4 < u?
False
Let i(p) = 4*p - 7. Let h be i(7). Let w = -3 + h. Let u be w/(-22) - (-22)/(-121). Which is greater: 2/35 or u?
2/35
Let o be 41/207 - 6/(-27). Let q = -2/23 + o. Which is smaller: q or -1?
-1
Let t be (2 - (-100)/(-52))*-2. Let b(m) = -m**3 - 6*m**2 - 4*m + 5. Let q be b(-5). Let a be q/(((-3)/3)/1). Is a != t?
True
Let a be (-6)/(-4) + 70/(-40). Let i(r) = -r**2 + 3*r - 2. Let l(k) = -k - 4. Let y be l(-6). Let p be i(y). Is p > a?
True
Suppose -16 = 4*c - 5*c. Let n = 19 - c. Suppose -3*a - 5*g + 20 = 2*a, -5*a - 4 = -n*g. Is -2/5 <= a?
True
Let y = 1468 + -1460. Which is greater: y or -47?
y
Let r be (-82)/(-26) + (-1 - 2). Let u be (-2)/(-2) - (-2 + 20). Let m = u + 18. Which is greater: m or r?
m
Let d be (-28)/(-6)*(-12)/(-14). Suppose 5*i + 20 = 5*m, 3*i = -d*m - i. Suppose -m = j - 1. Is 2/11 at most j?
False
Let g = -0.021 + -0.003. Let c = g - -1.024. Which is bigger: c or -0.3?
c
Let f(p) = 30*p**3 - p + 3. Let z be f(1). Which is bigger: z or 34?
34
Let q = 0.43 + -0.43. Suppose 0 = 5*j - 15, 2*m + 2*m + 16 = 4*j. Which is greater: m or q?
q
Let a be (-2)/4 + 143/(-154)*1. Are -1 and a nonequal?
True
Suppose 0 = 16*c - 5*c - 77. Suppose f = -6 + c. Is 3/2 <= f?
False
Let n(g) = -2*g**3 - 3*g**2 - 4*g + 7. Let w be n(-6). Let b = w + -6033/17. Which is smaller: -2/9 or b?
-2/9
Let l = -526 + 527. Which is smaller: l or -3/68?
-3/68
Let v = 26.3 + -26.37. Which is smaller: v or 2/9?
v
Let o(n) = -n**2 + 2*n + 9. Let b be o(0). Suppose 0 = -5*g - r + 12, -3*g - 4 = -b*r + 4*r. Do g and 3 have different values?
True
Let v = -7 + 11. Let q(n) = n**3 - 4*n**2 - n + 2. Let m be q(v). Which is smaller: m or 3/4?
m
Let s be 20/18*(-19 + 53 - 4). Which is greater: 32 or s?
s
Let c = -175.8 + 140.2. Which is smaller: c or 2/9?
c
Let h(l) = -l**3 - 2*l**2 - 2*l - 2. Let r be h(-2). Let x(c) = 3*c**2 - c. Let t be x(r). Suppose 0 = 5*u + o - 41, 2*u + 3*o = 5*u - 21. Is t greater than u?
True
Suppose -2*x = 0, 3*u = -5*x - 47 - 7. Do u and -96/5 have the same value?
False
Let u be 1 + 14/(-8) + (-308)/(-176). Which is greater: u or 9/10?
u
Let l be ((-1)/3)/((-1)/3). Let v be (-858)/180 - -5 - (-9)/(-54). Which is greater: v or l?
l
Suppose 5*u + 54 = -51. Let v be (18/u)/((-2)/14). Suppose q + 8*t + 23 = 3*t, 2*q + 2*t = -v. Which is bigger: 3 or q?
3
Let s be (-4 + -1)/(55/(-66)). Which is smaller: s or 7?
s
Suppose 7*s = -14 + 14. Suppose -o + 62 = -2*y, -5*y - o + 3*o - 155 = s. Is 2 at least y?
True
Let t = -610.1 - -638. Let i = -28 + t. Is 2/5 less than or equal to i?
False
Let o = 138 - 142. Is 30 < o?
False
Suppose -5*k + 129 = -19*g + 22*g, -2*g - 114 = -5*k. Are k and 1 unequal?
True
Let k = 24 - 5. Let r = -528 + 527.9. Which is smaller: r or k?
r
Let f = -348 + 349. Let k be (-1264)/(-24) - (-2)/(-3). Let p be 2/(-2) - k/(-50). Which is bigger: p or f?
f
Let p = 1.8 - -4.2. Let v = -4 + p. Let x be 3 + (-150)/27 + 3. Which is bigger: v or x?
v
Let k = -6 + 13. Let c(b) = -1 + k*b - b - 2*b. Let v be c(-1). Which is smaller: -15/4 or v?
v
Let l(m) = -34*m**2 - 183*m + 182. Let h be l(1). Is -5 greater than or equal to h?
True
Suppose 4*f + 3*s - 40 = 0, -5*s - 7 = -f + 2*f. Suppose 3*w + f = 8*w + 4*a, 2 = a. Let c be (3/2 + -1)/4. Is c at least as big as w?
False
Suppose 0 = 3*u - 4*t + 59, -5*u - 4*t - 14 - 31 = 0. Let h = -19 + u. Are -30 and h non-equal?
True
Let p = -25 + 9. Let h = -17 - p. Let g = 0.422 + 0.078. Which is smaller: h or g?
h
Let f = 208 + -76. Let l be 1/(-1 - -2)*44/f. Is 3/7 less than l?
False
Let o be 6/(-1)*-3*8/36. Let a be (-8)/o - 92/(-43). Is a > -1?
True
Let c = -9984 + 5341438/535. Which is smaller: c or 1?
c
Let h be 1 - (-8)/(-1 - 3). Let u = -2156/6205 + -2/365. Which is greater: h or u?
u
Let l = -6 - -11. Suppose -l*m + 4*w - 113 + 47 = 0, w + 43 = -3*m. Which is smaller: -15 or m?
-15
Let b be (1/(-3))/(1/(-6)). Let r = b + 1. Suppose 0*i - 2*g = -3*i + 9, 0 = r*i - g - 6. Which is bigger: -1 or i?
i
Let u = -644 - -644.03. Are 7 and u non-equal?
True
Let z = -2440 - -2440.2. Which is bigger: -0.75 or z?
z
Let q(r) = -5 - 4*r + 0 - 3*r. Let k be q(-5). Let m be (-1)/5 - (-6)/k. Is m smaller than 2?
True
Let f = 2/1553 + -10951/62120. Which is smaller: f or -1?
-1
Let x be (382/(-6))/(14/3 - 5). Which is smaller: x or 192?
x
Suppose 3*k - 189 = -4*k. Let d be (-138)/k - (-6)/54. Is -6 smaller than d?
True
Let r = 0.22 + -0.1. Let v = -0.08 - r. Let f = v + -2.8. Wh