= 2*r + 2*o - 30. Suppose 3*p - 64 = -r*d, 2*p = 2*d - 2*p - 36. Which is smaller: d or 10?
10
Suppose -4*w - 1209 = d, -5*w + 353 = -4*d + 1880. Are w and -305 unequal?
True
Let r be (-2 - 3/6)*-2. Suppose 0 = 4*b - 3*k + 6*k - 127, -2*b = -3*k - 59. Suppose -2*h + h = -2*g + 12, -5*g = -3*h - b. Do r and g have different values?
False
Let h be -4 - -1 - (-3 + 68 + 4). Let n be (15/10)/((-3)/h). Do 2 and n have different values?
True
Suppose 3*y + 5 = 5*n + 35, -3*n + 3*y - 18 = 0. Let m = n - 5. Let k = 17 + m. Is 2 smaller than k?
True
Suppose 0 = 2*k - k. Let q be 0 + (0 - 6/2). Let z be ((-6)/(-84))/(q/(-4)). Which is bigger: z or k?
z
Suppose -5*y - l = 4*l - 25, 5*l = 3*y + 9. Let s(j) = -2*j**3 - 23*j**2 + 2*j - 114. Let n be s(-12). Which is smaller: y or n?
y
Let x = -1128 + 1127.9. Is x < 165?
True
Let c = 4 + 4. Let j = -7.87 + c. Let m = -65.34 + 65.34. Which is bigger: j or m?
j
Let k(h) = -h**2 - 9*h - 9. Let s be k(-7). Suppose -7 - s = p + 5*c, p + 19 = 2*c. Suppose -i - 5 - 12 = 0. Is i less than p?
False
Let a = -927 + 563. Is a greater than -363?
False
Let p(b) = 2*b**2 + 74*b - 344. Let m be p(-49). Which is greater: 831 or m?
m
Let q be -3 + 8 + -3 + -5. Let h be q + 111/33 + 0. Is h >= -1?
True
Let w(j) = -2*j - 3. Suppose -3*u - 5*n - 21 = 0, 16 = -2*u - n - 3*n. Let v be w(u). Let r = -2206/5 - -8823/20. Which is smaller: r or v?
r
Let n = -245 + 237. Which is smaller: -6 or n?
n
Suppose 0 = 9*b + 22*b - 124. Is 6 bigger than b?
True
Let z = -1455993 + 2746002529/1886. Let b = -1/82 - z. Which is smaller: -1 or b?
-1
Suppose -30 = 4*a + 3*d - 13, 2*a + 5*d - 9 = 0. Let o = 13 - a. Which is smaller: o or 20?
20
Suppose 4*u = 3*l + 54, 2 - 34 = -2*u + 4*l. Suppose -8*j + 5*j = -u. Is j < 4?
False
Let i be ((-39)/(-156))/((-1)/68). Is i at most -17?
True
Let y(r) = r**2 + 80*r + 611. Let t be y(-74). Which is smaller: t or -2?
-2
Let a = -6180 - -6181. Suppose 0*f + f - 44 = 0. Which is bigger: a or f?
f
Suppose 5*b + 4*c + 338 = 0, b - 15 + 88 = c. Let n be ((-7)/(-14))/(-2 + b/(-32)). Suppose 0 = 7*w - 3*w - 12. Which is bigger: w or n?
w
Let p(n) = -n**2 + n - 5. Let j(q) = -1. Let v(y) = -3*j(y) - p(y). Let d be v(0). Let z = d - 8. Which is greater: -2/25 or z?
z
Let h be ((-110)/(-20))/((-2)/20). Is -55 at least h?
True
Let i be (-141)/45 - 2/((-4)/6). Let d = -64/255 - i. Let c be (-2 + 1)/1*-1. Do d and c have different values?
True
Let h = -46340/171 + 271. Which is greater: h or 1?
1
Let g = -4 - -10. Let i be 16 + -2 + (-18)/g. Let n be (-5 - (-2 - 3)) + 14 + -2. Is n at least as big as i?
True
Let r be (-1)/(-3) - 20/60. Let z be (r - (3 - -2)) + -4. Is -7 greater than or equal to z?
True
Let n = 6 - 4. Let r = -2.11 + n. Does -2/7 = r?
False
Suppose 4 = 2*t - 2*i, -57*t - 1 = -61*t - 3*i. Is 1/285 at least t?
False
Let c = -166/267 + -4/89. Which is bigger: c or -0.017?
-0.017
Let p = -202 + 3237/16. Is p less than 1?
True
Let c = 628 - 2475/4. Suppose 6*u + 60 = 114. Which is smaller: u or c?
u
Let s = -2/10307 + 329922/505043. Let p = s + -4/49. Suppose -2*b + 6 - 1 = 5*z, 5*b - 1 = -z. Which is bigger: b or p?
p
Let f = -224 - -225. Which is smaller: f or -1/76?
-1/76
Let g = -48 - -78. Let z(c) = c - 25. Let u be z(0). Let w = u + g. Does -3 = w?
False
Let h = -56 + 54. Let b = h + 3. Let o = -7/26 + 53/390. Is b less than o?
False
Suppose c - 4 = 4. Suppose -5*r + 10 = -0*r. Suppose 4*u + 20 = 0, y + 5*u - 4*u = r. Which is greater: y or c?
c
Let n(m) = -2*m**3 - 56*m**2 - 3*m - 83. Let c be n(-28). Which is smaller: 7/57 or c?
7/57
Let d = -0.96 - -3.96. Are -0.072 and d unequal?
True
Let y = 109 - 27. Suppose y = 3*c - 4*x, 2*c - 9 = 5*x + 41. Which is smaller: c or -0.1?
-0.1
Let v be 3 + (1 - 0)*(-9 + 6). Suppose v = 4*l - 6*l + 2. Let a be ((-1)/(-5))/(2/4). Which is smaller: a or l?
a
Let k = 3048.54 + -3037. Which is bigger: -1 or k?
k
Let q be (48/60)/((-2)/(-10)). Let w be 0 - (2 - (-52)/q). Let n be w/9 - (-2)/(-3). Is -1 less than or equal to n?
False
Let t be 1 + (-5 + 6 - (-2 - -1)). Suppose -4*s - 1 = -3*s - v, -t*s - 3*v = -9. Is s smaller than -2?
False
Let j(p) = -p**3 - 7*p**2 + 5*p + 3. Let r(a) = 4*a**3 + 21*a**2 - 14*a - 8. Let n(i) = -7*j(i) - 2*r(i). Let v be n(7). Is v at least -54?
True
Let p = 1403 + -857. Let i be 3*1 + (-1666)/p. Let v = -0.2 + 0.3. Which is smaller: v or i?
i
Let b(p) = p**2 - 7*p + 8. Let g be b(6). Let f be ((-12)/(-9))/(-12 + g). Does f = -1?
False
Let o = 19 + -16. Suppose -o*z + z = 4, -4*f = z + 122. Let k be (-206)/30 + (-6)/f. Which is greater: -8 or k?
k
Let h = -2 - 4. Let b = -41 + 47. Suppose -n - b = -0*n. Is h <= n?
True
Suppose -5 = 6*x - 137. Let l be (-1)/(-2) + (-33)/x. Let o be (3/6)/((-148)/(-8)). Is o bigger than l?
True
Let y = 0 + 19. Let q = 36 - y. Let s = q + -10. Which is bigger: 2 or s?
s
Let k be 27/18*2/(-3). Suppose 4*m = -s - 1 + 2, -2*s = 5*m - 8. Suppose 5*n = -c - 24, 0*n - s = c + 2*n. Which is bigger: k or c?
c
Let g = -985 + 717. Which is smaller: -269 or g?
-269
Let n(m) = -3*m - 1. Let d(k) = -7*k - 1. Let x(s) = 2*d(s) - 5*n(s). Let b be x(-5). Let a be 0/(-2)*1/(-2). Is a != b?
True
Suppose -9*s + 11*s + p - 1 = 0, -3*s + 18 = -4*p. Does 63 = s?
False
Let o be ((-42)/(-7) - 51) + 0. Which is smaller: -44 or o?
o
Let j(z) = -z**3 + 27*z**2 + 26*z + 56. Let m be j(28). Which is smaller: m or 3/112?
m
Let j = 84367/39 + -2163. Which is greater: j or 1?
1
Let x be (4 + (-99)/12)/(2/(-104)). Let w = -164 + x. Is 57 greater than w?
False
Suppose 13*d - 280 = -5*k + 10*d, k - 64 = d. Is -1/10 bigger than k?
False
Let x = -16.2 + 14. Let a = 2.1 + x. Is a at most -13?
False
Let y = 72 - 70. Suppose y*u = 45 - 45. Suppose 0 = -v + 1 - 4. Which is bigger: v or u?
u
Suppose 5*d + 4*o + 25 = 0, d + 6*o = 4*o - 11. Let n be ((-1)/(-10))/d*1. Is 0 less than n?
False
Suppose -5*n + 80 = 4*b, -5*n - 2*b + 92 = 22. Let k = n - 15. Let v be (-3)/(-84)*86 + k. Is -1 greater than v?
False
Let j = 25 - 21. Suppose 19 = y - 6*y - 3*z, j*y + 2*z = -14. Let w = 2 - y. Which is greater: -0.1 or w?
w
Let v(t) = -t**2 + 15*t - 5. Let m be v(13). Let i = -18 + m. Suppose 0 = 3*h - g + 3 + 2, 5*h - i = -4*g. Which is bigger: -6/11 or h?
-6/11
Let h be 1054/17*((-3)/(-2) - -1). Do h and 155 have the same value?
True
Let x be ((-85196)/9000)/(-19) + (-3)/6. Do 1 and x have different values?
True
Let v(h) = -h + 6. Let w(b) be the third derivative of b**5/60 - 5*b**4/24 + 2*b**3/3 - 5*b**2. Let o be w(4). Let d be v(o). Which is bigger: 4 or d?
d
Let s = -199 + 199.22. Is -2 less than or equal to s?
True
Let n = 407.7 - 154.7. Is -1 smaller than n?
True
Let z = 3711026/615 - 36205/6. Which is bigger: z or 0?
z
Suppose -4 = -5*y - i, y + 8 = -2*y + 2*i. Let g = -3 - y. Which is smaller: -8/3 or g?
g
Let i = -3 + 6. Let r be (-5)/(-50)*18*(-6)/((-504)/100). Is r <= i?
True
Let x be 0 + 5/3 + (-3)/(-9). Suppose x = c, 4*c - 7 = 3*s - 2. Let n be (-2)/3 + (-4)/3. Is s smaller than n?
False
Suppose -5*w = -z - 2 - 7, 5*w + 7 = -3*z. Let c = -1901/119 + 111/7. Do w and c have different values?
True
Let p = -0.028 - 33.972. Let i = p - -32. Is i < -1?
True
Let d be -1 + 0 + (-68)/(-17). Let n be (-3)/(d - 6) + -2. Are -1/2 and n unequal?
True
Let t = -28 - -83/3. Let f = -0.4 - -0.2. Which is smaller: f or t?
t
Suppose -t + 9*d = 4*d + 29, -2 = -2*t - 2*d. Which is bigger: -2 or t?
-2
Let s = -9465/14839 - -2/1349. Is 0 at most as big as s?
False
Let s = -5 + 8. Suppose -10 = -g + s*g. Let a(v) = -3*v**2 - 31*v - 9. Let w be a(-10). Do g and w have different values?
True
Suppose -t = -0*t - 4*l - 20, 0 = -3*t - 3*l. Suppose 3*k + 2 = 4*s + 5, -11 = 3*s - t*k. Let b be ((9/4)/(-3))/s. Is b at most as big as 1?
True
Let m = -5 + 7. Let z be 10/4 + (-1)/m. Let l = 46 - 44. Is l bigger than z?
False
Suppose 13*h = 6*h - 910. Let m be (h/60)/(1/(-3)). Is m less than 8?
True
Let t = 197/164 + 2/41. Let k = -17/12 - t. Suppose 0 = 9*r + 2*r + 33. Is r at most as big as k?
True
Suppose 5*b = -2*f + 21, 2*f - 2*b - 22 = -f. Suppose 2*h + 3*k = 6*k + 2, -5*h + 55 = 5*k. Is h at most as big as f?
True
Let v = -12 - -5. Suppose 43*j + 197 = -6*j + 50. Which is bigger: j or v?
j
Let j(k) = k**3 - k**2 - 4. Let q(w) = w**2 - w - 1. Let v(d) = j(d) - q(d). Let m be 