. Which is smaller: t or k?
k
Suppose -4*j + 70 = 3*j. Suppose j*a - a = -45. Are a and -5 non-equal?
False
Let k = 519 + -12977/25. Let z be 24/18 + 78/(-72). Is z at least as big as k?
True
Let z = -329 + 318. Do z and -78/7 have different values?
True
Let b be 5/(-2) - 0/(-1). Let h(c) = c**2 - 4*c - 7. Let i be h(5). Let w = b - i. Is -2 at least w?
False
Let u(o) = o**2 - 9*o + 20. Let d be u(2). Suppose -2 = 2*w - 0. Let a be ((-4)/w - 0) + 1. Which is smaller: a or d?
a
Let l be 64/(-14) + 1 + 1. Which is greater: 1 or l?
1
Let z be ((-3)/16)/((-2)/(-8)). Suppose -m + 3*y + 4 = 0, -3*y - 2 - 12 = 4*m. Let x be (-8)/10*1/m. Which is smaller: z or x?
z
Let x = 1290010/13 + -99152. Let u = x - 80. Are u and 0 nonequal?
True
Let f be -14*(-3)/12 + (-6 - -4). Is -44 >= f?
False
Suppose -40 = -5*s + s. Suppose -5 = 5*o - s*o. Which is smaller: o or 7/9?
7/9
Let c(b) be the third derivative of 2/3*b**3 + 0 + 0*b - 1/12*b**4 + 4*b**2. Let s be c(7). Is -11 bigger than s?
False
Let y = -17 - -19. Suppose 0 = -y*n - 3*l + 20, -2*l - l - 4 = -4*n. Suppose n = -2*a + a. Is -5 greater than or equal to a?
False
Let b = -331/2 - -363. Which is greater: b or 198?
198
Let l = -4 - -4.3. Let j = -3.1 + 4. Let u = 0.8 - j. Which is greater: l or u?
l
Suppose 34 = r + 2*w, 5*w = -4*r + 15 + 127. Let i = r + -39. Which is greater: i or 1?
1
Suppose 5*h + 2*y = -1568, 3*y + y = h + 296. Let z be (-2)/(-13) - (-126)/h. Let n = -0.07 - 2.93. Which is smaller: n or z?
n
Let j be (-92)/(-348) - (-4)/58. Are j and 115 unequal?
True
Let o = -0.1 + -0.1. Let a = -54/11 + 119/22. Is o less than a?
True
Let i = -5449 - -5444. Let d be 56/(-10)*(1 + 0). Do d and i have different values?
True
Let w(g) = -57*g - 35. Let l be w(12). Which is greater: l or -1/2?
-1/2
Let r = -1/499 - -5993/2495. Is 1 < r?
True
Let t = -3.3 - -3.363. Let l = -0.057 - t. Which is bigger: l or 1?
1
Let a be (0/(3*(-2)/(-3)))/1. Is a less than 11?
True
Let d be (1/4)/(13/(-52)). Let u be -3 + (-362)/(-36)*6/20. Does d = u?
False
Suppose -7*s = -3*s + 16. Let w be 443 + 11 + -6 + 2. Let k be 111/w - s/(-24). Which is greater: k or -1?
k
Let s = 133.22 + -134. Which is smaller: -1/3 or s?
s
Let o be 8/(-28) + 170/7. Suppose 3*t + 99 = 4*w, 0 = 5*t + 2 + 3. Do w and o have the same value?
True
Let n(q) = -3*q + 53. Let g be n(17). Suppose 5*i - 2*i + 94 = -5*a, -g*a - 5*i = 49. Is -19 != a?
True
Let k(t) = 18. Let x(g) = -g - 90. Let m(v) = -11*k(v) - 2*x(v). Let h be m(6). Is h greater than -9?
True
Suppose 7*m - 567 = 16*m. Are m and -65 non-equal?
True
Suppose 3*y = i + 2*i, y - 6 = -5*i. Which is smaller: 1/10 or i?
1/10
Let n = 12 - 12. Suppose 0*m - 4*m + 40 = n. Suppose -m = a - 3*a. Is a > 5?
False
Suppose -8 = 3*s - 5*s. Let x = 140 + -134. Which is bigger: x or s?
x
Let k(m) = 2*m - 6. Let d be k(5). Suppose -d*h - 59 = -55. Are -4 and h nonequal?
True
Suppose -382 = 11*f - 41. Is f at most -29?
True
Suppose -10 + 16 = -p. Which is bigger: 23 or p?
23
Let o = 1 + -1.5. Let l = 0.0392 + -1.0392. Which is bigger: o or l?
o
Let b = 0.08 + -0.38. Let q = -237 - -144. Let n = q + 93. Is b < n?
True
Suppose -546 = 7*s - 329. Is s greater than -153/5?
False
Let j = -349 + 348.9. Which is greater: j or 66?
66
Let l = 53 - 48. Suppose -l*k = 3*a + 47, 3*a = 5*k + a + 27. Which is smaller: -6 or k?
k
Let c = -22 - -30. Let i = -9.2 + c. Let r = -8.8 + i. Is r >= 1/3?
False
Let l = 0.067 - -29.933. Let k = 35 - l. Is k != 2/5?
True
Let b(k) be the first derivative of 31*k**2/2 - 3*k + 5. Let o be b(6). Let p = o + -3479/19. Which is smaller: 0 or p?
p
Let r(o) = o**3 + 10*o**2 - 11*o - 2. Let p be r(-11). Let a be p/7 - (-38)/(-14). Let u be (a/6*5)/2. Is 0 at most u?
False
Let y(l) = -7*l - 33. Let o be y(-4). Let c be (-11)/(44/(-24)) + o. Which is smaller: c or -6/49?
-6/49
Let i = -39 + 38.4. Let q = i - 11.4. Do 2/5 and q have the same value?
False
Let v = 9 - 21. Let b = -8 - -3. Let j = b + -7. Is j bigger than v?
False
Suppose 2 = -2*b + 3*b. Suppose b*u = 3*u. Suppose -5*x - 5*z - 10 = -10*x, u = -3*x - 2*z + 1. Is x > -1/9?
True
Let v be (-114)/42 - (1 + -2). Let p be 10/4 + (-3)/6. Suppose -3*s + 2 = -l - 0, s + p*l + 4 = 0. Is s less than v?
False
Let s(v) = 10*v - 7. Let h be s(4). Let z = -31 + h. Which is smaller: 3 or z?
z
Let v(j) = -j**3 - j**2 + 1. Suppose 4*r - 1 - 3 = 0. Let a be v(r). Let t be 4/14 + 69/(-315). Is t > a?
True
Let u = -20 + 24. Let h = 0 - u. Let r be (-6)/(1 + 10/h). Which is bigger: 5 or r?
5
Let z be (4/(-3))/((-16)/24). Let d = 3.1 + -6.1. Which is bigger: z or d?
z
Let c = -55.7 - -56. Do c and 1/80 have the same value?
False
Let c(u) = u**2 - 10*u + 19. Suppose -10*g + 15 = -7*g. Let m be c(g). Which is bigger: m or -3?
-3
Let d be 24/15 + 29660/(-100). Is 1/3 >= d?
True
Let z(i) = -5*i - 7. Let x be z(-7). Suppose 5*c = c - x. Let g be 6/2 - (c + 9). Are g and 1/4 unequal?
True
Let q(n) = n**2 - 13*n + 4. Let l be q(13). Suppose -3*o + l*i = -60, -6*o + 2*o = -4*i - 84. Suppose 0*c - 2*c - o = 0. Which is bigger: 0 or c?
0
Let w be (-1)/(-4) + 2 + (-82)/40. Is -69 smaller than w?
True
Let c(h) be the third derivative of -h**6/120 - h**5/10 + h**4/12 - 6*h**3 - 41*h**2. Let k be c(-7). Which is smaller: -1.3 or k?
-1.3
Let t be -5 - 244/(-44) - 27444/(-22). Is t equal to 1247?
False
Let j = -28 + 8. Let n = 111 - 91.2. Let r = n + j. Which is smaller: r or 2?
r
Let f = 0.53 + -2.53. Is -48 bigger than f?
False
Let w = -181 - -163. Which is smaller: -21 or w?
-21
Let h = 1.912 + 0.088. Is h greater than or equal to 0.33?
True
Let x = -3.82 + 3.92. Which is bigger: 51/5 or x?
51/5
Let t(h) = 7*h**2 - 6*h**2 + 0*h**2 - 19*h - 24. Let n be t(17). Which is smaller: n or -57?
n
Let w = 21709/4452 + 15/371. Let j = w + -2/3. Let u(c) = -2*c**2 - 19*c + 64. Let d be u(-12). Which is bigger: d or j?
j
Let x(i) = i**2 - 9. Let g be (0/(-4))/3 - 3. Let l be x(g). Which is smaller: l or 0.1?
l
Let u be (11 - -1)*4/8. Let k be (-42)/9 - (-4)/u. Is -4 bigger than k?
False
Let k = -369 - -327. Which is bigger: -40 or k?
-40
Let j be 68*(3 - 45/12). Is j < -51?
False
Let w(o) = -o**3 - 6*o**2 - 7*o - 7. Let x be w(-6). Suppose -35 = -7*v - x. Is v bigger than 3/8?
False
Let f = -6.04 + 3.76. Which is greater: 2 or f?
2
Suppose 4*q + 10 = -13*s + 10*s, -2*q - 12 = -2*s. Is 27/8 bigger than s?
True
Let h = -32 - -21. Let d = 3 - h. Which is greater: 15 or d?
15
Suppose 2*d = 6*d - 80. Let j = d + -15. Suppose 4*b + 5 = j*b. Is b >= 5?
True
Let k be (-584)/45 + 45/225. Is -12 equal to k?
False
Let x = -2549 - -2704488/1061. Which is smaller: x or 1?
x
Suppose -3*c = 2*h + 18, -5*h + 0*c = 2*c + 23. Let w(y) be the third derivative of y**4/12 + y**3 + 2*y**2. Let p be w(h). Which is smaller: -0.3 or p?
-0.3
Let v(s) = -s**3 - 2*s**2 + s + 1. Let w(l) = l**3 + l**2 - 2. Let a(g) = 3*v(g) + 4*w(g). Let h be a(2). Are h and 2/27 equal?
False
Let g = 30 + -46. Let r = g - -12. Which is greater: r or -22/5?
r
Let l = 93.9 + -98. Let y = 6.1 + l. Is y bigger than -1/2?
True
Let m be (14/(-10))/(-7)*-3. Which is smaller: 1/4 or m?
m
Let w(f) = -f**3 - 2*f**2 - f - 2. Let t be w(-2). Let i = -19406 + 19406.1. Which is smaller: t or i?
t
Let j = 47.4 + 1070.6. Is 0.1 at most as big as j?
True
Suppose p = -v + 2*v + 6, -5*p + 22 = -3*v. Suppose -18 = -p*n - 4*r, -3*n - 3*r + 8 = -4. Are 2/39 and n non-equal?
True
Let y(g) = -g**2 - 25*g - 38. Let t be 4/(-24) - (-286)/(-12). Let n be y(t). Which is bigger: n or -4?
-4
Let i(o) = -59*o - 2. Let h be i(1). Let m(t) = t**3 - t**2 - 2*t - 13. Let r be m(3). Which is greater: h or r?
r
Let f(o) = 2*o - 5. Let v be f(5). Suppose 4*r - 6 = 5*z + 6, v*r - 5*z = 10. Let a be (8 + (-99)/11)*(-1)/(-1). Which is smaller: a or r?
r
Let i(k) = 12*k - 28*k + 7*k + k**2 - 2 - 8. Let c be i(10). Which is smaller: -9/31 or c?
-9/31
Suppose 0 = 7*w - 9*w. Let x(h) = -2*h**2 - 14*h - 13. Let y be x(-6). Which is smaller: y or w?
y
Let t = 0.09 + 0.186. Let b = -0.076 + t. Which is smaller: b or 10?
b
Let q(p) = p**3 - 15*p**2 - 14. Let a be q(15). Suppose -2*b = -5*b - 48. Which is greater: a or b?
a
Let b = -1053 - -1257. Which is greater: 201 or b?
b
Let l be (-4)/18 - (-1059)/27. Suppose 3*z + l = -3*m, -2*z - 3*m - 43 = -13. Let i be (z/6)/((-