 -2*r + 4*d + 18. Which is bigger: r or h?
r
Let x be (-60)/(-16) - -2 - 9/12. Suppose -x*j + 151 = 2*n, -2*j + 10*n - 6*n + 70 = 0. Which is greater: 32 or j?
32
Suppose -4*u = -7 - 17. Let s be u/(-7) - 1 - -2. Suppose -4*h - 2*q = 6 - 0, -3 = -h + 4*q. Which is greater: s or h?
s
Suppose 4*t = 3*t + 5. Let n be (6/t)/(2/(-15)). Is -8 less than n?
False
Let o be (-2)/4 + 62/4. Let c(t) = t**3 - 132*t**2 + 135*t - 518. Let f be c(131). Does f = o?
False
Let d be 19/(-2) + 6/12. Let o be -1 - (d/(-3))/(-3). Is -4/3 at most as big as o?
True
Suppose -5*w = 5*t - 5, -6 = t + 3*w - 15. Which is smaller: 8 or t?
t
Suppose p = 3*p - 4. Suppose -a = -6 - p. Suppose -5*i + 21 + 24 = 0. Is a less than or equal to i?
True
Suppose -14*k - u + 5 = -13*k, -15 = -3*u. Which is greater: k or 1/3?
1/3
Let i(z) = -z**2 - z + 2. Let w be i(1). Is w equal to -6/175?
False
Let i(j) = 2*j**2 - 58*j - 190. Let l be i(32). Is l <= 2?
True
Suppose -4*n = -4*k + 5*k - 13, 4*n - 22 = 2*k. Suppose 0*w + 5*w + 3*d = 79, 0 = -2*w + n*d + 16. Is 15 smaller than w?
False
Let d = 0.1 + -0.2. Let y = 31.3 + -0.3. Let x = y + -30.8. Is x at most d?
False
Suppose l - 4*d = 2*l - 6, 21 = l - d. Let y be l/12*((-3)/9 - -1). Which is greater: 6 or y?
6
Let v = 27/16 + -2667/1552. Is 1 < v?
False
Let u(t) = t**3 - 3*t**2 + t + 1. Let p be u(2). Let j = 1227 + -31887/26. Let g = -74/117 + j. Which is smaller: p or g?
p
Let l = 656 + -655. Is l >= 3/766?
True
Let g = -38 + 48. Let w be ((-54)/(-24))/(g/16). Which is smaller: w or 4?
w
Let y be (-1)/4*1/(-53). Let z = y + 77/530. Which is smaller: -1 or z?
-1
Let n be ((-6)/4)/((27/18)/3). Which is smaller: n or -1.02?
n
Let l = -179 + 173. Which is greater: l or 3?
3
Let b = -71.36 - -71. Let z = -1.36 - b. Is z > -2/11?
False
Let c(l) = -l**2 - 12*l - 10. Let f be c(-10). Suppose 8*u + 9 = 9*u. Which is smaller: f or u?
u
Suppose -5*h - 3*c + 6*c - 169 = 0, 0 = 5*h + 4*c + 148. Let g be 8/(h/13) + 3*1. Is 0.5 < g?
False
Let k be (104/(-24) + 6)*(1 - -2). Suppose 0*r - r + k = 0. Which is smaller: 4 or r?
4
Suppose 0 = 2*j - 2*v - v - 2, 4*v - 4 = -4*j. Let h = -79/7693 + -8/157. Do h and j have different values?
True
Let o = -33 - -18. Let w = -13 - o. Which is bigger: w or 3?
3
Let x(p) = -p**3 + 11*p**2 - 25*p + 1. Let w be x(3). Let r be -2 + (-1)/((-1)/4). Which is smaller: w or r?
w
Suppose 6*a - 2*a - 20 = 0. Suppose -8 = -3*q + d, -5*q = -a*d - 0 - 30. Let p = 9/7 - q. Is p greater than 1?
False
Let d = -145/188 - -1/47. Let o be 6/(-15) - (-6)/(-10). Is d > o?
True
Let m = -0.08 + -2.92. Let x = -5 + 2. Are x and m nonequal?
False
Let b(m) = m**3 + m**2 - m - 2. Suppose 0 = 5*s - t + 8, 5*s - 8*s - 12 = -3*t. Let x be b(s). Let q(a) = -a**2 - 4*a - 2. Let d be q(-5). Are d and x nonequal?
True
Let g be 391 - (6 + 2 + -8). Which is smaller: g or 390?
390
Let h = 0.549 + 35.251. Is 0 not equal to h?
True
Let s = 4 - 4. Let d = 30 + -30.57. Let h = 0.6 + d. Is s at most h?
True
Suppose 5*x + 22 = -2*f, x - 5*f = -f - 22. Which is greater: -50/9 or x?
-50/9
Let x = -0.35 + -0.32. Let v = -0.33 + x. Which is smaller: v or -10?
-10
Suppose 2*y - 156 = -2*s - s, 3*s = -y + 156. Let w be s/25 + (-2)/1. Let o be (-2)/1 - -2*1. Which is bigger: o or w?
w
Suppose 5*f = 2*h - 6*h - 8, -3*f - 4*h = 8. Let y = 25 + -22. Suppose -5*n = -2*n - y. Which is smaller: n or f?
f
Let a = 17 + -9. Let u be 13/(-3 + -4 + a). Which is smaller: 2 or u?
2
Let l = -89/5 + 202/15. Suppose -3*h - 469 + 464 = -2*s, 5*s + 16 = -2*h. Which is bigger: h or l?
h
Let u(r) = r**3 - r**2. Suppose 3*v + 2*p - 7*p = 12, -15 = 3*v + 4*p. Let a be u(v). Are a and -2 non-equal?
False
Let m = -279/19 + 151478/10317. Which is smaller: m or 1?
m
Suppose -3*h + 1 + 3 = n, -2*n + 13 = h. Let p = n - 7. Let a be (-13)/(-26)*(-2 + 1). Which is smaller: p or a?
a
Let n be 3340/(-3)*(-51)/187. Let x = 304 - n. Is x at least as big as -1?
True
Let b = 211 + -211.3. Is b greater than -34?
True
Let d be ((-6)/(-27))/((-1649)/(-462)). Let l = -1/291 + d. Which is smaller: l or 1?
l
Let p = -101 - -193. Let b(l) = l**2 + 4*l - 2929. Let w be b(53). Is w equal to p?
True
Let i = -258.392 - -262. Let w = i - -0.092. Let b = w + -2.7. Is -2/11 > b?
False
Let v be ((-1)/(-3))/((-10)/102). Let b(x) = 2*x - x - 10 + 9 - 3. Let l be b(1). Which is smaller: v or l?
v
Let t(j) = 11*j + 69. Let h be t(-11). Let z be 13/h + 1/4. Let n(g) = g**2 + g - 4. Let v be n(-3). Is v equal to z?
False
Let y(l) = 2*l**2 - 2*l - 39. Let x be y(-4). Are x and -3/181 nonequal?
True
Let n = 182 - 182.53. Which is bigger: 2/5 or n?
2/5
Let t = -57.94 - 5.06. Does t = 5?
False
Suppose -2*b = -4*b + 24. Let m(t) = 2*t - 24. Let u be m(b). Which is smaller: u or 3/14?
u
Let x be (-2)/(20/(-24) + 1). Let w be (0 - -1) + -3 + x. Let d be (-16)/(-56) - 94/w. Do d and 7 have the same value?
True
Let t = -2449 - -2444. Which is smaller: t or -63/13?
t
Let u be 32/(-6)*-3 - -4. Let g = -26 + u. Which is greater: -5 or g?
-5
Suppose -6*v = -2*v - 5*r + 13, 0 = -2*v + 3*r - 5. Let i = v - -5. Is 0 equal to i?
False
Let w = 0.1 + -0.3. Let f = -85/209 + 6/19. Which is smaller: w or f?
w
Let y be (-4)/(-18) - (-28)/(-126). Let c = 5108 + -97018/19. Let g = c + -215/152. Is y at most g?
True
Let m be (-5 + -13)*(-44)/4. Let t be 4/8*m/3. Is t > 0?
True
Let o(c) = -11*c - 43. Let p be o(-4). Which is greater: 2/11 or p?
p
Let t = -1.61 - -1.6. Let y = t + -0.99. Let z = 45 + -46.2. Which is greater: y or z?
y
Suppose 8*b - 33 = 7. Suppose 0 = 5*u + b*h + 10, -2*u + 10 = -u - 3*h. Is u >= 11/7?
False
Let d = 310 + -1551/5. Which is greater: -41 or d?
d
Let p(w) = -w**2 - 5*w - 6. Let o(f) = f**3 - 14*f**2 - 33*f + 14. Let v be o(16). Let j be p(v). Is 2/59 <= j?
False
Suppose -5*o + 1403 = -28*o. Which is smaller: o or -62?
-62
Let n(c) be the first derivative of -c**3/3 + 7*c**2 + 3*c - 7. Let k be n(14). Let x be (-4)/k + -3 + 2. Which is greater: x or -2?
-2
Let f = -65 + 63. Let c be f*1/(-9) + 110/(-90). Let o = -101/9 + 7189/639. Which is greater: c or o?
o
Let c(d) be the second derivative of d**5/60 - 17*d**4/24 + 2*d**2 - d. Let i(g) be the first derivative of c(g). Let o be i(17). Is o not equal to -4/3?
True
Let m be ((-111)/20 - -2) + 3/4. Let b = -6 + 6. Suppose b = -7*c + 5*c - 8. Which is greater: m or c?
m
Suppose z - 5*z = -56. Let x = z - 9. Suppose f + 3*f = -20, x*f + 35 = 5*g. Are 2 and g non-equal?
False
Suppose -3*i + 108 = -5*u + 39, -2*u + 92 = 4*i. Let l = 2/1821 - -14365/607. Let c = l - i. Which is bigger: -2 or c?
c
Suppose p - 19 = -4*q + 17, 0 = 2*q - 3*p - 4. Let d(z) = z + 2. Let c be d(4). Let g(k) = k + 1. Let j be g(c). Which is bigger: q or j?
q
Let c(h) = -7*h + 2 + 0*h + 6*h**2 + 8*h. Let q be c(-1). Is q at most as big as 23/4?
False
Let h = -120/23 - -5926/1127. Suppose 2*s - 5*s = 2*a - 5, -2*a + s + 1 = 0. Which is smaller: h or a?
h
Suppose -2*h = -3*k - 5, -3 + 0 = h + 4*k. Let a be 8/(-54)*(-12)/24. Is a smaller than h?
True
Let w = 0.05 + -1.05. Let f = 6.3 + -6.03. Which is smaller: w or f?
w
Suppose 2*k - 35*l + 31*l - 208 = 0, l = -4. Is 99 > k?
True
Let k(d) = 7 + d**3 + 6 - 9*d**2 - 5*d**2 + 0*d**3 + 12*d. Let j be k(13). Suppose -t = -j - 2. Is t less than 1/4?
False
Suppose -a = t + 3*t + 13, -5*t + 4*a = 11. Let o be 0/(t/(12/(-8))). Let q = o - 1. Which is smaller: -12/7 or q?
-12/7
Let b be ((-15)/(-10))/(-3 + 2940/(-32)). Which is bigger: b or 3?
3
Let u(p) = -p**3 - 4*p**2 + p - 17. Let h be u(-5). Suppose 0 = s + n - 5*n + 5, 0 = h*s - 3*n + 42. Suppose 16 = 3*y - 4*y. Which is greater: y or s?
y
Let t = -120.1 + -10.9. Let n = 131 + t. Let x = -0.6 - -6.6. Which is bigger: n or x?
x
Let f = 41840/13 + -3228. Let v = f + 998/91. Suppose 0 = -s + 1. Which is smaller: s or v?
s
Let y be (-28)/4 + 9 - (-14)/(-8). Which is bigger: y or 3/5?
3/5
Suppose -5*g - 3*j + 99 = 0, -g - 4*j - 4 = -17. Let x = -19 + g. Let i be (-2)/3 - x/(-3). Which is smaller: i or -4/9?
-4/9
Let t be 1/(7 - 6) + (-2 - -1). Let c be -2 - 2/((-12)/3 - t). Is c not equal to -7?
True
Let a(l) = -l + 1. Let b(d) = -d**2 - 6*d + 12. Let f(o) = 4*a(o) - b(o). Let r be f(7). Let j = r + -221/4. Is -0.06 != j?
True
Suppose 36*c = 40*c - 8. Let o = 22 + -13. Suppose i = 2*i + c*g, 5*i + g - o = 