 than z?
False
Let u be 2309*(-5)/1445 + 8. Is u greater than -1?
True
Let f be (-2)/2 - (22 + -27). Suppose 2*b - 2 + f = 3*n, 3 = -2*n - 3*b. Let z = -8675/21 - -413. Is z less than n?
True
Let p = 284 + -18743/66. Which is greater: -0.1 or p?
p
Let n be 3/6 + (-201)/90. Are -2 and n nonequal?
True
Let b = -63.8 - -64.4. Which is smaller: 2/7 or b?
2/7
Let s(h) = -h**3 - 6*h**2 + 9*h - 57. Let d be s(-8). Which is bigger: -10 or d?
d
Suppose c - 2 = k, 3*c = 2*k - 0*c + 6. Let q be 0/(k/2 + -1). Let p be 7/4 + (-2 - q). Which is smaller: -1 or p?
-1
Suppose 3013*t = 3027*t - 28. Let v be 0 + 4 - (1 + -2). Is v not equal to t?
True
Let r be (-9)/(-15) + 156058/595. Let v = 263 - r. Is v at most as big as -1?
False
Let s = 219 - 221. Let h(r) = r**2 + 2*r - 3. Let i be h(-4). Suppose -1 = -i*v - 6. Which is greater: v or s?
v
Suppose -3*f = -9*f + 12. Suppose -b + f*z = -4, 3*z + 10 = 4*b - 21. Do b and 10 have different values?
False
Let a = -0.099 - -0.1069. Which is greater: a or 0.1?
0.1
Let f = -55 + 101. Let k = f + -55. Which is smaller: 0.1 or k?
k
Suppose 0 = -0*q - 33*q + 396. Which is smaller: q or 34?
q
Let g be 4/(-2 - 0)*(-13)/(-26). Which is smaller: g or 2/15?
g
Let f(w) = -66*w + 331. Let i be f(5). Which is smaller: -2/887 or i?
-2/887
Let h be 2/20*(-2895)/(-54). Let i = 5/36 + h. Which is greater: 5 or i?
i
Suppose 3*u = 29 + 7. Suppose 0 = -2*l - k + 3, u = -7*l + 3*l + 4*k. Which is smaller: -2 or l?
-2
Let z = -38 + 69. Suppose -z = -4*x + 25. Let t = x + -15. Is -1/56 < t?
False
Let v = 1.36 + -0.86. Is -3/28 less than or equal to v?
True
Let u(n) = -n**2 - 9*n - 5. Let q be u(-9). Let z be (q/10)/((-2)/4). Let b = 8 - 7. Is z less than or equal to b?
True
Let t be -2 + 2 - 1 - -9. Suppose -t = 15*f - 7*f. Is 4/11 bigger than f?
True
Suppose -s + 5*s = -0*s. Which is greater: 2/3881 or s?
2/3881
Let p be 2/8*(9 - 5). Which is bigger: p or 7/31?
p
Let r = 6411/28 - 229. Let n = -369 + 370. Is n at least as big as r?
True
Let h be (-2)/10 + (-156)/(-130). Which is greater: h or 6/157?
h
Let q(p) = -p + 5. Let w be q(7). Let n = -1133/4 - -281. Is w not equal to n?
True
Let v(l) be the third derivative of 5*l**4/24 - 14*l**3/3 + 19*l**2. Let b be v(9). Which is smaller: b or 16?
16
Let k = 7 - -1. Let s(y) = y - 15. Let h = 48 + -34. Let f be s(h). Which is smaller: k or f?
f
Let d be 38/(-84) + (-2)/(-4). Let o = 136 + -135. Which is bigger: o or d?
o
Let y = 8.97 - -0.03. Let x = -20 - -9. Let u = y + x. Which is smaller: -3 or u?
-3
Let a be (-14)/(-12) - 1/6. Let b(c) = -26*c**2 + 2*c - 2. Let l be b(a). Let w be (-3)/89*l/(-39). Which is smaller: w or 0?
w
Let w = 17 + -26. Let b be ((-34)/w)/((-22)/33). Are -5 and b equal?
False
Let p be (-5808)/47740 - 2/(-35). Let h = -1 - 0. Which is smaller: p or h?
h
Let m(x) = -3*x**2 - 14*x + 110. Let f be m(10). Is f smaller than -1/4?
True
Let w(c) = -c**2 + 2*c + 4. Let n be w(3). Let k be -3 - (1 + n + -2). Which is greater: -2 or k?
-2
Let o be (9/(-18))/(8/((-128)/1060)). Which is smaller: 1 or o?
o
Suppose 2*h = -2*h - 28. Let n = -9 - h. Let o = 145/3 - 48. Which is smaller: n or o?
n
Suppose 66 = -6*z - 60. Let v be -4 + z/45*-9. Which is bigger: v or -4?
v
Let i = 131 - 518. Does -386 = i?
False
Let q be (15/2)/(6/4). Suppose r + 4*w - 29 = 0, -q*r = -2*w + 4*w - 91. Let y = r + -10. Do 23/3 and y have the same value?
False
Let o = 26 - 23. Suppose -2*w + 4 = o*z + 14, 0 = z - w. Is z != 0.2?
True
Suppose l - 3*c - 7 = 2*c, l - 3*c = -3. Let h = l - -18. Which is smaller: 4/29 or h?
h
Let t = 21 - 104/5. Which is smaller: t or 97?
t
Let n = 1005 + -17070/17. Let c(w) = w**2 - 11*w + 10. Let x be c(10). Is n >= x?
True
Let v(o) = -o**3 - 5*o**2 + 7. Let q be v(-5). Suppose 4*p = q*p - 15. Suppose -p*b = 3*g + 72, 2*g - 3*b + 7*b = -50. Do -19 and g have the same value?
True
Suppose 34*c - 487 = -4091. Which is smaller: c or -105?
c
Let s = -131/13 + 382/65. Which is smaller: s or 0.2?
s
Let o = 411/4210 + 1/421. Are 0.1 and o nonequal?
False
Let o be (-621)/(-18)*2/(-3). Let w = o + 23. Suppose 0 = 4*z - w*z - 48. Which is smaller: z or 11?
11
Suppose -2*b = 5*a + 23, a = -3*b + b - 3. Let i = 22271 + -334253/15. Let r = i - -66/5. Is r at most b?
True
Let a be -5*((-54)/(-5) - 5 - 4). Which is smaller: a or -7?
a
Let a(n) = 22*n**2 - 3*n. Let q = 103 + -105. Let y be a(q). Is y smaller than 94?
False
Let a = 386/1065 + -21/71. Is 1 equal to a?
False
Suppose -3*k - q = 195, -59 = 4*k - q + 208. Is k > -65?
False
Suppose -10 = 4*l + 3*z, 14 = l - 5*l - 5*z. Is -1/272 >= l?
True
Let x = -96 + 101. Suppose x*y - 5 = 85. Is 18 > y?
False
Suppose 10*j = 14*j + 40. Which is greater: -11 or j?
j
Let u(m) = 92*m**2 - m - 1. Let t be u(1). Let p be (-12)/t*(2 + -5). Are 3/7 and p nonequal?
True
Let q be (25/11 + -2)*(-4)/(-6). Suppose 3*f + 3 = 5*x, 2*x - x - 1 = f. Which is smaller: x or q?
x
Let v(b) = -b**2 - 16*b - 3. Let g be v(-13). Let t = 38 - g. Is t less than 4/5?
False
Let l(x) = x**3 - x**2 - 4. Let v be l(5). Let f = v - 674/7. Which is smaller: 9 or f?
f
Let t = -16 + 16. Suppose 0*s + 2*s + 4*q + 28 = t, -29 = 4*s - q. Let n = -9 - s. Is n equal to -1/25?
False
Suppose 13*v - 9*v - 8 = 0. Suppose 5*g + 3*y = 13, 2*g + v*g - 2*y = 28. Let j(r) = 5*r**2. Let b be j(1). Is g at least b?
True
Let y = -0.65 - 2.25. Let h = -47/2 - -24. Is h <= y?
False
Let x = 82.81 - 1.81. Let a = -81 + x. Is -5 bigger than a?
False
Suppose -1171 - 925 = 4*o. Let b = -6816/13 - o. Which is bigger: b or 1?
1
Let v be (-3*4/(-114))/(0 + 1). Is v at least as big as 2?
False
Let p = 50.963 - -0.037. Let w = 53 - p. Which is bigger: 6 or w?
6
Let x = 0.023 - 2.323. Let t = -2.4 - x. Is 2/3 less than t?
False
Let j be 2/(1*(-1)/(-2)). Suppose 6*a + 15 = j*r + a, 15 = 3*r - 5*a. Let u = 34 - 848/25. Which is smaller: r or u?
r
Let g be 7/(-32)*1*24/(-28). Which is greater: -1 or g?
g
Suppose -193 = 4*v - 33. Which is smaller: -206/5 or v?
-206/5
Let i = 4.39 + -2.39. Which is smaller: i or -142?
-142
Let z(g) = -13*g + 40. Let v be z(2). Which is smaller: v or 51?
v
Let z(d) = 3 + d - d**2 - 4*d - 2*d. Let t be z(-5). Suppose 1 - t = a. Which is smaller: -4/7 or a?
a
Let t(s) = -s**2 - 2*s + 3. Let d be t(-3). Let x(u) = -2*u**3 + 4*u**2 - 2*u + 7. Let i be x(5). Let y = -3363/22 - i. Which is smaller: d or y?
d
Let i be (2/6)/(32/(-288)). Let k = -15 + 11. Let z = k - i. Are -1/9 and z non-equal?
True
Let w(c) = -2*c + 40. Let x be w(19). Suppose -4*s + 5*s = x. Let p be -3*(0 + 4/(-6)). Is p <= s?
True
Let z be ((-18)/15)/(1/(-35)). Let l be (z/24)/(1/(-4)). Let v = l - -7. Which is greater: v or -2?
v
Let d be 2*(-1)/(-2)*(-9)/(-3). Let l be 0/(-5*(-5)/25). Which is smaller: d or l?
l
Suppose 8*r - 16 = -0*r. Let y be (6/(-3))/(r + -4 - 43). Which is smaller: 0 or y?
0
Let k be (-30)/(-35) + (-2051)/49. Is k greater than -40?
False
Let a be (-36)/2241*(-6)/(-4). Is a less than or equal to 1/2?
True
Let b = 19.6 - 3.6. Let n = -34 - b. Let d = n + 25. Which is smaller: -1 or d?
d
Suppose 0 = 19*c + 300 - 4442. Is 0.1 bigger than c?
False
Let z = 5.128 - 0.528. Which is smaller: z or -9?
-9
Let u = -1.9 + -26.1. Let i = 1000 + -2999/3. Which is smaller: i or u?
u
Let f(c) = -2*c - 11. Let o be f(-8). Suppose 95 = 5*d + o*w, 4*d + 0*d + w - 61 = 0. Suppose -j - 1 = -4*q, 3*j + 5*q - d = -0. Which is bigger: 1 or j?
j
Suppose -486*z + 478*z = 168. Is 1 equal to z?
False
Let o = 10.3 + 5.7. Are 0 and o unequal?
True
Suppose 38 = -2*k - 3*r, 7*k - 4*r = 4*k - 40. Let s be ((-22)/(-4) - 2) + 8/k. Is s at least as big as 12/5?
True
Let p(n) = n**2 + 7*n + 10. Let f be p(-7). Let q = -3 + f. Let m be (-93)/(-12) - 3/4. Are q and m equal?
True
Suppose 3*x - 2*m + 10 = 0, 6 = -2*x + 2*m - 4. Let g = -49 - -56. Are x and g nonequal?
True
Let a = -155 - -146. Let h = 10.31 - 1.41. Let t = a + h. Which is bigger: t or 4?
4
Suppose 10*x = -0*x + 290. Is x at most 26?
False
Let s(n) be the first derivative of n**2/2 + 2*n - 5. Let y be ((-2)/3)/((-2)/(-6)). Let d be s(y). Which is greater: d or -2?
d
Let g = 7 + -4. Suppose 0 = -5*o + 3 + 2. Suppose g*q - o = -4. Which is smaller: q or -1/3?
q
Let q be -2*15/36 - 1/6. Let g be -1 + (-1)/((-2)/(-28)). Let p be 3*(2 + 29/g). Which is smaller: p or q