han z?
False
Let r = -88 + 135. Let a = r + -38. Which is smaller: a or 2?
2
Let a = -165 - -205. Do a and 42 have the same value?
False
Let z = -23 + 11. Suppose -9*x - 40 = 50. Which is smaller: z or x?
z
Suppose -2*u = 3*r + 2*u + 42, -2*u = r + 16. Let y = 25 + r. Let k = -61/4 + y. Is k equal to 4?
False
Suppose 26*z = 92 + 116. Let y(w) = -w**2 + w + 8. Let g be y(0). Is z not equal to g?
False
Let w = -2006 - -2751. Which is smaller: w or 746?
w
Suppose -c - 2 = -5. Suppose -c*k - 3*r = -15, 0*k + 2*k - 14 = -4*r. Suppose 5*q + 3*u + 62 + 29 = 0, u + 57 = -k*q. Is -20 at least q?
True
Let w = -907.7 - -917. Which is bigger: w or -0.06?
w
Let j = 1515 - 1477. Let h be 13*1*(5 - 2). Are j and h unequal?
True
Suppose 103*j = 83*j - 100. Which is bigger: j or -107/24?
-107/24
Let r(x) = -2*x**3 - 2*x**2 - 4*x + 3. Let b be 4/10 + (-108)/20. Let c be r(b). Let t = c - 1111/5. Which is greater: 0 or t?
t
Let z(f) = -f**3 + 6*f**2 - 5*f. Let b be z(5). Let i be 8/((-4)/60*3). Let m be ((-18)/56)/((105/i)/7). Is m >= b?
True
Suppose 10 = -3*i - 2*i. Let j be (-19 + 1)*18/(-36). Suppose -3*v + j + 1 = -5*t, 5*t = -3*v - 10. Is i at least t?
True
Let t = -12 + -69. Let j = -81.1 - t. Is -76 at most as big as j?
True
Let q = -12 + 14. Suppose 0 = -0*k - q*k + 48. Let h = k - 73/3. Are h and 1 equal?
False
Let f be ((-7)/2 - 3/6) + -4. Let q(i) = -i - 5. Let x be q(-7). Let c be -10 - (0/x + -1). Which is smaller: f or c?
c
Suppose 0 = -o + 2*y - 3*y + 8, 11 = 4*o - 3*y. Let l be (o/(-15)*-6)/(-2*1). Is l equal to -38?
False
Let v be 2/(-8) - (-1915)/(-80)*4. Let y = -22 - v. Is 74 < y?
False
Let b(u) = -u**2 - 5*u - 1. Let p = -29 - -24. Let d be b(p). Is 1 equal to d?
False
Suppose 2*r + 40 = -5*g, 5*g = -4*r - 22 - 48. Let u be (6 - (-4 - -1))*(-1)/r. Let v be 4/18 - 32/(-18). Which is smaller: u or v?
u
Let o be ((-4)/5)/(2/10). Suppose -4*v - 13*l = -16*l + 28, l - 20 = 4*v. Is v >= o?
True
Let d = 74 - 62. Let x = d + -11. Let i(h) = h**3 + 3*h**2 - 7*h - 6. Let l be i(-4). Which is smaller: x or l?
x
Suppose 0 = 6*g - 2*g. Let t = -2/4823 + -6193/19292. Is g equal to t?
False
Let f = 3 + -2.5. Let a = 4.5 + f. Let o = 3501 + -3503. Is a at least o?
True
Let k be 2 + (-3 + 1 - (-5)/5). Let o be k/(((-3)/9)/((-1)/(-3))). Is o not equal to 1/25?
True
Let s(v) = -v**2 - 13*v - 38. Let m be s(-8). Suppose -3*l - 52 = -n, m*l + n = -3*l - 92. Is l at least as big as -18?
True
Let q = -12/53 - -166/265. Which is smaller: q or -173?
-173
Suppose 3*y - 261 - 48 = 0. Let s = y + -512/5. Let b = -120 - -125. Which is bigger: b or s?
b
Let m = -2841 - -2696. Which is smaller: m or 1?
m
Let k be (2 + 0 - -2)*(-16)/(-32). Let v = 1 + 1. Suppose 2*i = -v*i. Which is smaller: k or i?
i
Suppose 3*i + 15 = -4*c, 3*c = -0*c - 2*i - 11. Let j be 2/c + (2793/(-585))/(-7). Let o(w) = -w. Let a be o(0). Is a less than j?
True
Let x = 289 + -7802/27. Suppose 116 = -17*g + 140*g - 7. Do g and x have the same value?
False
Let p be ((-484)/60 - -7) + 1. Which is smaller: p or 9?
p
Let z = 110.957 - -0.043. Let o = -126 + z. Let a be 0 - -1 - 1*-1. Which is smaller: o or a?
o
Let u be 1 - 3/(3/(-4)). Let l = -45 + 50. Suppose 0 = -5*i + u*m - 15, 0 = -i - l*m - 27. Which is greater: i or 1?
1
Let a(t) = -3*t + 3. Let r be a(-5). Let q = r - 18. Is q smaller than -7/5?
False
Let a be (-28)/2 + (-9 - (-7 - 3)). Does -58 = a?
False
Let v = -4701/3140 - 24/157. Let s = -5/4 - v. Let y be (1 + -2)/(2 - 1). Which is smaller: y or s?
y
Suppose -4 = -a + 2*z, 2*z - 5*z = -a + 2. Let n be (35/(-15))/((-1)/3). Which is smaller: a or n?
n
Let x be (18/(-4))/(-9)*0. Suppose -4*t + 3*t = x. Which is smaller: t or 4?
t
Let d = 212 + -229. Let t(o) = -o**3 - 8*o**2 - 11*o - 9. Let r be t(-6). Is d <= r?
True
Let c(a) = 2*a - 5. Let s be c(4). Let y be (-8)/s + 2 + 308. Let x = -310 + y. Do x and -4 have the same value?
False
Suppose 4*d = -b + 3*b + 6, -12 = 4*b + 4*d. Suppose -2*s + s = -322. Let f = -974/3 + s. Which is greater: f or b?
f
Suppose 0 = -12*x + x - 88. Let k(v) = v**2 + 9*v + 5. Let i be k(x). Which is smaller: i or -4?
-4
Suppose 13 = 11*d - 31. Suppose -4*b - b - 2*o = -21, -5*b + 24 = 3*o. Suppose -d*u = b + 1. Which is smaller: u or 1/4?
u
Let a = 22 - 34. Let j be (5 + -11)*8/a. Is j at least 0.1?
True
Let y = -14166293 - -156062420/11. Let k = y + -21227. Let p = k + 11678/429. Which is smaller: p or 1?
p
Let u(y) = y**3 + 20*y**2 + 7*y + 106. Let c be u(-20). Is c equal to -1?
False
Let n be ((-1743)/(-81))/(-7) - -3. Let f(c) = c**2 - 10*c - 5. Let o be f(5). Let b = o + 30. Is b greater than or equal to n?
True
Let i be (15/4)/(6*(-2)/(-112)). Is 101/3 greater than or equal to i?
False
Suppose -4 = 5*x + 1. Let d be -2 - ((-4)/x)/((-14)/7). Is -2/19 <= d?
True
Suppose -5*g = 2*d - 3145, -g + 5*d + 420 = -182. Is 625 > g?
False
Let n(x) = x**2 + 8*x - 8. Let r be n(-10). Let f = 14 - r. Suppose 1 = f*w - 1. Which is smaller: w or -2/19?
-2/19
Let i = 11.21626 - 0.21626. Suppose -b + 14 = 4*d, -2*b + 11 = 2*b + d. Which is greater: b or i?
i
Let k = -1 - -5/4. Let a = -217/510 + 19/34. Which is greater: k or a?
k
Let b(j) = 6*j + 1. Let a be b(4). Suppose 21*r + 36 = a*r. Suppose -11 = 2*i - r. Which is greater: 6/23 or i?
6/23
Let n = -21 + 21.1. Do n and -4.8 have different values?
True
Let v = 23 + -10. Let s = v - 14. Let i be (-15 + 14)*(s - -1). Are 5/12 and i unequal?
True
Let f = 36 - 19. Let n = -17 + f. Let i(d) = d**3 + 4*d**2 - 6*d. Let j be i(-5). Is n less than j?
True
Suppose -3*i + 20 = 8. Let p(g) = 2*g - 8. Let r be p(i). Is -3/16 less than or equal to r?
True
Let p be (-4)/6 + 416/741. Suppose -5*l + 4*d + 16 = 0, -4*l + 5*d = -2*l - 20. Let y be (3 - (l - -1)) + -2. Which is smaller: y or p?
p
Let c = 324 - 368. Let f = 3 + -2.9. Is c > f?
False
Let j = -25 - 9. Which is smaller: j or -1/2?
j
Let l(m) = 44 - 42 + 0*m - m. Let r be l(3). Is r less than or equal to 1/36?
True
Let k(s) = -2*s**2 - 5*s**2 + 2*s + 2*s + 2*s + s**3. Let u be k(6). Let q = 6/511 + 836/15841. Which is bigger: u or q?
q
Let y = -55 + 53. Let r(v) = 6*v**3 + 2*v**2 - 2*v + 1. Let u be r(y). Which is smaller: -36 or u?
-36
Suppose -4*q - 5 = -3*z, 64*q + 3*z = 66*q + 7. Which is smaller: -1/1268 or q?
-1/1268
Let u = 1.47 - -4.53. Which is smaller: u or -0.2?
-0.2
Suppose 3*q = 6*q - 15. Suppose -r = q*r - r. Which is smaller: 2 or r?
r
Suppose -5*p + 18 = b - 2*b, -2*b = -p. Which is bigger: 110 or b?
110
Let m be 1/(6/(-15))*(-2)/37. Which is smaller: m or -1?
-1
Suppose 4 = 4*c + 24. Let f = 1 + c. Is -4 less than or equal to f?
True
Let q be 4/(-6) - (-29)/21. Suppose 0*t - 16 = -4*t. Suppose -t*p - 5*w = -0*w + 17, -4*p = 2*w + 2. Which is bigger: p or q?
p
Let m(l) = 4*l + 7. Let i = -1 - -6. Let x be m(i). Let j be ((-10)/3)/((-9)/x). Are j and 10 unequal?
False
Suppose 0 = 5*l + 4*c - 29, 0 = -c + 5 - 4. Which is smaller: -5/12 or l?
-5/12
Let y = -3 + 66. Let d be (1110/(-175))/((-5)/y). Let t = -80 + d. Are 1 and t non-equal?
True
Let j be 445/20 - 2/8. Suppose j*u - 130 = 9*u. Which is smaller: u or 1?
1
Let g = 30.47 + 0.53. Let n = g - 30.76. Which is greater: n or 1?
1
Let f = -0.2 + 0.1. Let m = -6773/2 + 3380. Is f smaller than m?
False
Let n = 0.3 - 0.4. Let g be ((-18)/(-196))/((-48)/(-1484)). Let y = -19/7 + g. Is n at least as big as y?
False
Let f be (9 - 8)*(-60)/(-3). Let h = 47 + -27. Is h at most as big as f?
True
Let d(s) be the second derivative of s**5/20 + 5*s**4/4 - s**2/2 + 11*s. Let a be d(-15). Is a < -1?
False
Let y be 0 - -5 - (-2 - -4). Suppose 0 = -3*c + y*o - 0*o - 3, 4*o - 4 = -4*c. Suppose c = -8*u + u + 14. Are u and 4 equal?
False
Let h = -774 - -774. Do h and 186 have the same value?
False
Suppose 8 = -1638*d + 1630*d. Are -24/233 and d nonequal?
True
Let a be 12/30*(4 + 1). Suppose x - 7*k + 20 = -2*k, -70 = 2*x - 4*k. Let t be x/20 - (-1 + -2). Which is smaller: t or a?
t
Let u = 733 - 732.6. Which is smaller: u or 0.117?
0.117
Let c = -43/497 - 4/71. Let m = 35.8 + -39.57. Let l = m + -0.23. Which is greater: c or l?
c
Let h = 1196 - 1184. Which is smaller: h or 130/11?
130/11
Let x(h) = h + 7. Let u be x(-6). Let j = 385 - 405. Is j less than u?
True
Let x = -587 - -570. Is x < -1?
True
Let v = -3586171/288 - -12452. 