-1). Is r > 0.4?
True
Let h be 4/6*(-9)/(-15)*1. Which is smaller: h or -389?
-389
Let v be -3*1*(-32)/6. Suppose 5*s + 37 = -448*l + 450*l, 2*s + 34 = 2*l. Are v and l non-equal?
False
Suppose -j + u - 5*u = -22, -4*j = -2*u + 2. Let q(t) = -4*t + 4*t + t**2 + 3 - 3*t. Let b be q(j). Is b < 3/7?
False
Suppose -5*s = -s - 8. Suppose s*a + 66 - 1 = 3*j, 4*a - 22 = -2*j. Which is smaller: 18 or j?
18
Let q = 53.05 + -53. Are 1.1 and q equal?
False
Let y = -901/7 - -129. Let p(v) = 3*v. Let z(s) = -4*s + 1. Let x(d) = -5*p(d) - 4*z(d). Let a be x(5). Which is smaller: a or y?
y
Let q = 117 + -55. Let a = 60 - q. Is -5 less than or equal to a?
True
Suppose -4*z - 3*c + 115 = 0, -z + c = 6*c - 50. Suppose -10*q + z = -15. Which is bigger: 32/7 or q?
32/7
Let f(k) = -2*k**2 - 4*k - 3. Let g be f(-2). Let s(v) = -v**2 - 4*v - 2. Let t be s(g). Let a = -139 - -139. Which is greater: t or a?
t
Let u be (5 - (-4)/(-1))/(-1). Let t(o) = -o**2 + o + 1. Let w be t(u). Let q = 3/5 + -37/20. Is w bigger than q?
True
Let x = 2240 - 2252. Let i = 5.8 - -0.2. Is i bigger than x?
True
Let y = 68 - 64. Suppose 4*v - 4 = y*d, 0 = 2*d + v + v - 2. Let k = -2 - -2.3. Which is greater: d or k?
k
Suppose -81*q + 78*q = 0, -3*b + 3*q + 183 = 0. Which is smaller: b or 53?
53
Suppose 3*v = -5*l + v + 10, 0 = 3*v. Let s be (3 - 4)*(-9 - 2). Let p = -3 + s. Which is bigger: p or l?
p
Let a = -47 - -54. Is 13 smaller than a?
False
Let p be 456/3*(-4)/50*-5. Is 61 equal to p?
False
Let j(y) = -y**2 - 3*y + 2. Let v be j(-3). Let g = 3 - v. Let p be ((-2)/8)/(2 + 18/(-8)). Are g and p non-equal?
False
Let g(t) = 5*t - 16. Let u(d) = d - 4. Let w(f) = -4*g(f) + 18*u(f). Let y be w(-5). Is y != 9?
True
Let q = -335.8 - -336. Which is greater: -6/7 or q?
q
Let v be 4 + -1 - (11 - (-5356)/(-117)). Which is smaller: v or 37?
37
Let t = -7 - -7. Let g = 131 - 71. Suppose -2 = 3*b + 5*y + 2, -5*b + 5*y + g = t. Is 7 at most as big as b?
True
Suppose 2*m + 91*j - 94*j = -9, -4*m + 5*j - 21 = 0. Is -70 less than m?
True
Let q(c) = -371*c**2. Let k be q(1). Let j be (-6)/2 - k/119. Let h = 0.2 + -0.3. Which is bigger: j or h?
j
Let v be (-140)/(-75)*3 + -6. Let o = 2 + -1.67. Is v != o?
True
Suppose 92 = 4*g - 0*g. Let r = -256/11 + g. Which is smaller: 1 or r?
r
Suppose 5*q - 40 = 3*o, -6 = -o + 4*q - 17. Which is greater: -14 or o?
-14
Suppose 5*c + x = 90, -2*c + 2*x = 3*x - 33. Let m = c + -27. Let a be (m/((-16)/(-30)))/1. Do a and -15 have different values?
False
Let d be 48/10 - (-7)/35. Suppose -3*t + 6 = 2*y - t, d*t = -y - 1. Let n = 159/28 - 10/7. Is y greater than or equal to n?
False
Suppose -12*x = -136 + 352. Which is smaller: -16 or x?
x
Let k = -376.01 - -376. Suppose -2*y + 3*t - 12 = 0, -y - 11 = -3*t - t. Which is smaller: y or k?
y
Let f = 0.3 + 0.7. Let s(p) = 2*p**2 + 2*p - 1. Let c(l) = -l. Let d be c(2). Let z be s(d). Which is greater: f or z?
z
Let p = -97/42185 + -3/3835. Is p less than 1?
True
Let f = -64 - -709/11. Suppose -5*g + i + 0*i = 0, -2*i - 15 = 5*g. Which is greater: f or g?
f
Suppose -7 = -8*h - 31. Let s(t) = 2*t - 5. Let c be s(h). Are -8 and c equal?
False
Let h(c) = -9*c + 522. Let k be h(58). Is k not equal to 8/265?
True
Suppose 887 = -8*n - 5465. Let f = 3984/5 + n. Which is greater: f or 2?
f
Let y = -1859 - -2182. Are y and -1/6 nonequal?
True
Suppose 5*p - 3*s + 12 = 2*p, -s + 4 = 0. Suppose 0 = -4*c - n + 125, -3*n = -p*n - 3. Suppose g = 5*d - c, -4*d + 4*g - g + 27 = 0. Is 5 not equal to d?
True
Let p(l) = -l**3 + 5*l**2 + 5*l. Let h be p(-2). Let f = h - 20. Is -3 smaller than f?
True
Let y = 2791/9 - 310. Are y and 0 unequal?
True
Suppose 4 = 3*g - 2*z + 1, 24 = 5*g + 3*z. Suppose g*u + 2*a + 22 = 113, -u = 5*a - 39. Let r = 30 - u. Is -1/6 at most as big as r?
True
Suppose 14*c - 5*c + 180 = 0. Which is bigger: c or -19?
-19
Let o(k) = 6 - 4*k - 3*k + 3*k. Let r be o(5). Which is smaller: r or -13?
r
Let f = -379283/110 + 3448. Is 1 greater than or equal to f?
True
Let n be (8/(-52))/(-1) - 228/975. Suppose 16 = 4*g - 4*b, -5*b = 4*g - 18 + 47. Is g greater than n?
False
Let l be (-1 - (-3892)/3896)*1. Let q = 20443/10714 - l. Let b = -83/55 + q. Are -1 and b nonequal?
True
Let g be (16/12)/((-2)/(-3)). Let h be (g + 1)/255*-23. Let f = h - -8/17. Do 1 and f have the same value?
False
Let w be (-5 - (-270)/12)*(-16)/(-5). Suppose 2*s - w = -10*v + 5*v, 2*v - 20 = -2*s. Is 13 >= v?
True
Let z = -414 + 415. Is -78 smaller than z?
True
Suppose -f + 4*f = 0. Suppose 0 = -4*a - 812 - 392. Let v = a - -1511/5. Is v > f?
True
Suppose -4 = -2*f - 0, -2*r - f + 102 = 0. Suppose 14*b = 13*b - r. Is b greater than -48?
False
Let p be 6/(-28)*8/(-6). Let x(v) = 5*v + 46. Suppose -w - 29 = 5*j, -j + 57 = -5*w - 4*j. Let s be x(w). Which is bigger: p or s?
s
Let u(o) = -2*o - 14. Let n be u(-4). Let l be (-1 + 1)/3 + -7. Which is smaller: l or n?
l
Suppose -5*h + 2*m = 664, -2*h - 254 = 7*m - 2*m. Is -132 greater than h?
False
Suppose 0 = -3*d - d + 4*v - 144, v = 2*d + 68. Let n be ((-21)/(-4))/(12/d). Let k be 6/n - (-1)/7. Is k not equal to -1?
True
Let w = -56.7 + -13.3. Let h = w + 45. Let l = -26 - h. Is l bigger than 10?
False
Suppose 18 = 2*s + 4. Suppose -s*c - 64 = -1. Are -31/4 and c nonequal?
True
Let w = 36 + -77. Let m = 43 + w. Which is smaller: m or 6?
m
Let m = 7 + -13. Let i be m/9 + 134/12. Let w be 6/(9/(-180)*-12). Is w > i?
False
Let v = 79.9257 + 0.0743. Let g = 3 + -2.9. Is g at most v?
True
Suppose -109 - 7 = -4*t. Suppose 2*b + 4*f = -b + t, 0 = -3*b + 4*f + 61. Let c(s) = -s**3 + 14*s**2 + 15*s - 3. Let h be c(b). Which is smaller: -5 or h?
-5
Let w = -9 + 2. Let o(r) = r**2 + 3*r + 8. Let u be o(w). Let y = u + -23. Do 13 and y have different values?
False
Let x be 0*(4 + -4 + 1). Suppose x = 5*o - 3*o - 2. Let n = 2/423 - -1255/2961. Is n greater than o?
False
Let l = -169 - -150.7. Let m = -121 - -139. Let b = m + l. Which is bigger: b or -4?
b
Suppose 6*g - 15 = g. Suppose p = g*p + 106. Is -53 != p?
False
Let c = 73 - -66. Let g = c + -140. Is g >= -7?
True
Let x(l) be the second derivative of l**5/20 + 11*l**4/12 - 2*l**3 + 2*l**2 - 2*l - 20. Suppose -6 = -2*m - 30. Let b be x(m). Which is greater: 1 or b?
b
Let y = -132.852 - -133. Is y at most as big as -0.2?
False
Suppose 0 = -5*m - n - 5, 2*m - 3 = 4*n + 17. Are -1/599 and m unequal?
True
Suppose 3*h + 10 - 25 = 0. Let m = 481/6 + -149/2. Is m greater than or equal to h?
True
Let p be 460/(-518) + (3 - 50/14). Is p at least -1?
False
Let z be 57/76 + 142/(-8). Let x be 2*(5/2)/5 + -19. Do z and x have different values?
True
Let y = -2947361413259/8494 + 346993339. Let k = y + -59/62. Which is bigger: k or -1?
k
Suppose 0 = 3*q - 116 - 19. Let y be 19/q + (-4)/20. Let n = 0.123 - 0.023. Which is smaller: n or y?
n
Let m = -2194/5 - -15138/35. Let j = 6 + m. Which is smaller: -0.1 or j?
j
Let r be 2/3 - (-242)/(-99)*15. Which is greater: -4 or r?
-4
Let j be 6/12*(5 + 1). Suppose -j*w - 2*s = -8, -2*s + 11 = 3*w + 3*s. Which is smaller: 3 or w?
w
Let l be -4 + 8 - (8 - 6). Which is greater: 77/6 or l?
77/6
Let p = 17.2 - 115.2. Let g = -81 - p. Which is smaller: 3 or g?
3
Let k = -52 + 113. Let h = k + -61.9. Is h at least as big as 3?
False
Let k be -3 + 1082/10 + 1/(-5). Let l = k - 106. Which is greater: l or 6/13?
6/13
Let g = 2719/92092 - 1/644. Which is smaller: -2 or g?
-2
Let c = -107/195 + -2/39. Suppose n + 20 = -i + 6*i, 0 = 4*i - 16. Suppose n = -8*d + 10*d. Which is bigger: d or c?
d
Let r(z) = -5*z - 6. Let j be r(-1). Which is smaller: j or 58?
j
Suppose -6*x - 8 = -5*r - 2*x, 4*x = -4*r - 8. Which is smaller: r or 2/1415?
r
Let v be (42/10)/((-114)/3990). Is v less than -145?
True
Let r be (-13)/52 + 49/(-4). Which is bigger: -1/3 or r?
-1/3
Let j(v) = -v**3 - 7*v**2 + 6*v - 16. Let d be j(-8). Which is greater: d or -6/137?
d
Let q be (12/(-6))/(8/107). Suppose 3*h - 104 = -3*m - 14, 5*m - 126 = 3*h. Let t = q + m. Is 0.2 at most t?
True
Let u(c) = -c**3 - 4*c**2 + 3. Let h be u(-4). Let g = -119 - -124. Suppose -8*s - g = -h*s. Is s at most -3/31?
True
Let u be 1/(-5) - (-323)/(-85). Let x be 18/(-468)*(0 - u). Suppose i + i = 0. Are x and i nonequal?
True
Let d be 2/2 + 44/(-28). Let n be -9*(-35)/(-28) - (-3)/(-4). Which is greater: n