60. Is d > t?
False
Let x = 396 + -392. Which is smaller: x or 13/4?
13/4
Let a(s) = s + 1. Let u(b) = -10*b - 21. Let z(k) = 5*a(k) + u(k). Let c be z(-3). Are -7 and c unequal?
True
Suppose -5*i = -4*c + 8, 4*i = 5*c - 0*i - 10. Which is smaller: 5/7 or c?
5/7
Let c(f) = -f**3 - 4*f**2 - 3*f - 2. Let i be c(-3). Suppose 4*a + 0*a = 5*p - 26, 4*p - 24 = 4*a. Let r be -5*(0 + 1) - p. Is r not equal to i?
True
Suppose -4 = q + 3*n - 50, 4*q - 4*n - 184 = 0. Suppose 60 = -2*k + q. Which is greater: 4 or k?
4
Let i be 3*(-12)/9 - (21 - 26). Which is greater: -1/65 or i?
i
Let p(o) = -3*o**3 - 8*o**2 - 6*o - 5. Let l be p(-5). Suppose -h = 4*h - l. Let d be 0 - -1 - 32/h. Is d greater than -1?
True
Let p(s) = -5 - 4 + 27*s - 30*s - 9. Let a be p(-9). Is a at least as big as 9?
True
Let a = -10 - -4. Let c be a/15*75/(-3). Let i = c + 0. Which is smaller: 1/4 or i?
1/4
Let v(q) = -q + 25. Let y be v(24). Suppose w + 6*g = 5*g + y, -w - 4*g = -1. Is w != 1?
False
Suppose 64 = f + f. Suppose -f*l - 2 = -33*l. Are l and -2 equal?
False
Suppose 4*u - 23 = -5*i - 3, 4*i - 16 = -u. Are u and 3 non-equal?
True
Let p be (3 - 0/1) + -3. Let c = 17 + -17. Is p >= c?
True
Let z(s) = -s**3 + 4*s**2 - 4*s + 3. Suppose -2*m + b = -7, -4*b + 0*b = -m + 7. Let y be z(m). Suppose 0 = -y*f + 3*f. Which is greater: 2/9 or f?
2/9
Let q be 9*(-6)/(-9) - 1. Suppose -3*m + 72 = -m - 4*o, 5*m + 4*o = 138. Suppose -5*l + m = -q*h, -3*l + l + 5*h = -24. Which is smaller: l or 1?
1
Suppose 9*t = -1 - 26. Are t and -7/3 unequal?
True
Let n be 12*(-3 + ((-21)/1)/(-3)). Let p = n + -49. Which is smaller: p or -1/227?
p
Let r be (2 - 6)*(-2)/(-20). Do 226 and r have different values?
True
Let c(w) = -2*w**2 - 20*w + 49*w + 9 - 26*w + w**2. Let f be c(7). Which is smaller: f or -18?
f
Let w(j) = j**2 + 16*j + 63. Let n be w(-7). Which is bigger: n or 5/137?
5/137
Let i be ((-9)/(-1) + -5)*(-4)/2. Is -121/18 less than or equal to i?
False
Let g = -55 + 87. Let i = g - 29.8. Which is smaller: i or 1?
1
Suppose 8 = 2*z - 4. Let d be (-6*4/64)/(z/4). Do 2.5 and d have the same value?
False
Let a(t) be the first derivative of t**3/3 - 5*t**2 - t + 36. Let v be a(10). Let z = 146 - 1459/10. Which is bigger: v or z?
z
Let m(o) = 10*o + 56. Let p be m(-6). Which is smaller: p or -26/5?
-26/5
Let d = -52/3 + 17. Suppose -12*m - 358 = 386. Let c = 62 + m. Which is greater: d or c?
c
Let t = 993 + -996. Let m = 3.5 - 0.5. Let s = m - 2.9. Does s = t?
False
Let h = -0.743 + -0.12. Let b = 0.037 - h. Let v = 1 - 2. Is b >= v?
True
Let r(z) = -z - 15. Let c be r(-5). Let p be ((-290)/(-25))/(-1*2/c). Is 59 bigger than p?
True
Let j = 362 + -381. Suppose 5*h = 9*h - 4. Is j >= h?
False
Let g(u) = u**2. Let z be g(2). Suppose -a - 1 = -j - 0, -5*j = 3*a - 5. Let m be (-3)/(a - (z + 4)). Are m and 1 non-equal?
True
Let w = 49 + -53. Suppose 3*s = -b - 4, 0 = 3*s - 5*s. Let v be w/(-10)*(-2)/b. Which is smaller: v or 0?
0
Let w = -0.3 + 0.2. Let r = -199/1136 - -8/71. Which is greater: w or r?
r
Let u = 18114 - 18144. Let g = 3 - 2. Which is smaller: g or u?
u
Let g be 8/6*1*3. Suppose 309 = 3*v + 33. Let l = v + -88. Is g less than l?
False
Let l be 16/40 - (-5)/(50/(-284)). Let p be (-8)/(-6) + l/(-6). Suppose 0 = -3*x + 2 + 1. Which is greater: x or p?
p
Let z be (-1076)/(-11) + 7 - (-2)/11. Which is smaller: z or 2/7?
2/7
Let r = 154 + -85. Suppose 3*q = 9 + r. Let o = q + -32. Is o equal to -11/2?
False
Let r = 0.7796 - 0.815. Which is smaller: r or -2?
-2
Let d be 0/(1*(-1 - 0)). Let u = -18.51 + 25.51. Is u less than d?
False
Let j(d) be the third derivative of d**4/24 + d**3/2 + d**2. Let t be j(-4). Let y = 1872/7 - 268. Which is bigger: y or t?
y
Suppose 0 = 28*q - 19 + 19. Is -5/367 <= q?
True
Suppose -2*t = -2*z - 116, 2*z - 3*t = -0*t - 111. Let n = z - -63. Is -1/9 greater than n?
False
Let o(v) = 3*v - 15. Let s be o(9). Let f be (-1 - -1)/(s - 14). Is -4 greater than or equal to f?
False
Let k be 2/4*(-8 - 1018). Which is smaller: k or -514?
-514
Let c = -41/6 + 19/2. Let j = c - 7/3. Suppose -10 = 25*k - 35. Which is greater: j or k?
k
Let o be 13783/(-6622) - (-3 - -1). Is -1 > o?
False
Let m = 1.66 - 1.26. Which is smaller: -30 or m?
-30
Let b be ((-8)/(-80)*-5)/(1/(-144)). Which is smaller: 4 or b?
4
Let j = -0.037 - 0.673. Let s = j + -2.29. Which is greater: 6/11 or s?
6/11
Let o be 15/5*8/6. Let q = o - -1. Suppose -5*x + 16 = -4. Which is smaller: q or x?
x
Suppose -y + 0*x + 3*x - 125 = 0, 5*x = -5*y - 705. Is -139 greater than or equal to y?
False
Let r(p) = -13*p + 124. Let t be r(15). Are -73 and t equal?
False
Let u = 7 + -2. Suppose -4*r + 1 - u = 0. Let h be (24/270)/(2/(-5)). Which is greater: r or h?
h
Suppose 2*s + 4 = -0*s. Let d = s - 0. Suppose -2*m + 6 = 0, y + 12 = 7*m - 4*m. Which is bigger: d or y?
d
Let j = 33 - 9. Let y = j + -29. Let v = y + 2. Is -1/3 bigger than v?
True
Let g(v) be the first derivative of -v**2/2 - 6*v - 19. Let f = 2 + -7. Let p be g(f). Is -6/13 at least as big as p?
True
Let r(m) = m**3 - 10*m**2 - 20*m + 98. Let k be r(11). Let h be 3/(-2) - (-1)/2. Is h less than or equal to k?
True
Let g = -0.2 - 0.8. Let j = 2.057 + -2.092. Which is smaller: j or g?
g
Let b(j) = 5*j + 3. Let a be b(-3). Let m be (-6)/(-5)*1*(-7 + -3). Is a equal to m?
True
Let p be (6 - 5)/(-2)*6 + 2. Is 1/1202 >= p?
True
Let y = 4 + -3. Let m = -17.966 + -0.034. Let b = 24 + m. Which is smaller: b or y?
y
Let b be ((-496)/(-104) - 8/2) + 0. Which is greater: 0 or b?
b
Let i = -27 + 15. Suppose k = -2*z - 22, 2*z + 4*k = 6*k - 28. Let u = i - z. Does u = -1.1?
False
Let h be (-6)/(-52)*7/63*6. Suppose -s + 2*s = -3. Let m = 3 + s. Which is smaller: m or h?
m
Let n = 4 - 7. Let d = -18.21 - -10.21. Which is bigger: d or n?
n
Let n = 83 + -82. Let v be ((-3)/3)/(n/19). Does v = -18?
False
Let v(t) = 2 - 1 + 50*t - 47*t. Let g be v(1). Suppose -5*y + 15 = 5*i, 0 = -3*i + 1 - 4. Is g equal to y?
True
Suppose 4*o + 15 = -3*v, -7 + 2 = 3*o + v. Which is greater: o or 1/138?
1/138
Let f = 899 - 20609/23. Let o = f + 577/46. Which is greater: 15 or o?
o
Let z = -49/55 + 1/11. Let c(f) = -3*f**2 + 5*f - 1. Let r be c(1). Suppose 2*i + r = i. Is z greater than i?
True
Suppose -261*t + 14 = -247*t. Is t < -1/315?
False
Suppose 3*w + 1 = -17. Let v be (1 - 2)*(-2 - w). Suppose -3*s - 3 = 0, -5*a + s = -3*a + 9. Is v <= a?
False
Let z be 14/9 + 11/(44/(-8)). Which is greater: 0 or z?
0
Let x be ((-1)/2*0)/1. Is x at least -22/41?
True
Let z be (3 - 9/2)*-252. Are 376 and z equal?
False
Let b be (-12)/14 - 78/(-91). Let u = 13 - 8. Suppose m - 15 = -g, -3*m + 24 = u*g - 29. Which is smaller: b or m?
b
Suppose 3*i + 39 = 2*w, -5*i + 3*i = 5*w - 126. Let x be ((-2)/w)/(1/(-2)). Does 0.3 = x?
False
Let l = 970 - 930. Do l and -5 have different values?
True
Let u be 68/(-51) - 26/(-6). Let f(g) = g**2 - 2*g + 3. Let h be f(5). Suppose -r - h = -u. Which is smaller: r or -29/2?
r
Let k = 808 - 810. Let v(r) = -r**3 - r**2 - r + 53. Let u be v(0). Let q = 313/6 - u. Which is greater: q or k?
q
Let w = -10 + 11. Let i be (w/(-5))/((-32)/556). Let u = -27/8 + i. Is u greater than or equal to 0?
True
Suppose -10 = 7*l - 3. Which is smaller: l or 7/17?
l
Let r(j) = -4*j - 3. Let m be r(-3). Let q be 5*-2 + -4 + 4. Let n = m + q. Is -3 equal to n?
False
Let u = -0.52 - -0.27. Let r = 11 + -11.15. Let h = r - u. Is h greater than or equal to -25?
True
Let n = -17 + 25. Let a = -42 + 23. Let b = a + n. Which is smaller: -12 or b?
-12
Let f(r) = -r - 10. Suppose 18 + 7 = 5*n. Suppose 5*j = -5*m - 20, -2*j - 3*m - n = -1. Let a be f(j). Which is greater: 0.1 or a?
0.1
Let n = 234 + -175. Let q = -0.6 - -0.6. Which is smaller: q or n?
q
Let n(o) = 7*o + 16. Let r be n(-11). Let z = r + 22. Let l be z/12 + (-9)/12. Is l less than or equal to 0?
True
Let y = 242 - 177. Which is smaller: y or 64?
64
Let r(j) = -2*j - 9. Let i be r(-6). Suppose -5*c = -2*h - 7, -i*c - 64 = 5*h - 0*c. Let b = 0.002 - 0.002. Is b greater than or equal to h?
True
Let m = 7.7 - 8. Let s = 53.3 + -49. Let a = m + s. Is -2/7 bigger than a?
False
Let r = 1049/2 + -523. Let n = -2 + -3. Let k(a) = -a**3 - 4*a**2 + 5*a + 3. Let j be k(n). Which is bigger: r or j?
j
Let b be (-1008)/(-1320) + (-4)/10. Is b at least a