= 2*u + n. Do 13 and u have different values?
False
Suppose -2*t - 32 = -4*p, -5*t = -2*t - 3*p + 63. Let o be (-1)/4*(-32)/(-20). Which is bigger: o or t?
o
Let w = 4903 - 39275/8. Which is bigger: -5 or w?
-5
Let k = -91 - -131. Let l = -40 + k. Is 7/6 less than l?
False
Suppose 0*b + 3*b + 4*k + 84 = 0, 0 = -5*k - 15. Let q = -21 - b. Let g be 2/q + 22/(-33). Which is greater: 2/15 or g?
2/15
Let z be (-5)/(305/(-546)) - 9. Is z smaller than 1?
True
Let i = 19 - 13. Let l = 2/3699 + 88766/18495. Is i <= l?
False
Suppose -2*t + 4 = 0, -m + 3*m + 4*t + 8 = 0. Which is smaller: 4 or m?
m
Let d be 2/(-8) - 4/(-16). Let b = 3 + 17. Let o = -15 + b. Is o smaller than d?
False
Suppose -9*l = -7*l. Suppose 3*q + 2*q + 55 = l. Is -13 at most q?
True
Let a = 0.64 + -37.64. Let d = a - -16. Let v = d - -22. Are -0.26 and v unequal?
True
Let t(l) = 37*l - 541. Let b be t(14). Which is smaller: b or -165/7?
-165/7
Suppose -4*g + 39 = 3*d, -4*d - 69 = -5*g + 3. Is g at most as big as 1?
False
Let t be 8 - (-8)/(16576/(-16569)). Does t = -1?
False
Let c = -0.01 + 0.11. Let j = 0.0454 - -2.2546. Is c greater than j?
False
Let c = -42.9 - -43. Which is smaller: -20/9 or c?
-20/9
Suppose 2 = f - 1. Let x be 4 + f*(2/(-6) - 0). Let r(m) = m. Let c be r(5). Are c and x unequal?
True
Suppose -4*h + 24 = -5*j, j + 7 = -h + 4*h. Let b(t) = t**3 + 0*t**2 - 13*t**2 - 12 + 1 + h. Let y be b(13). Which is smaller: -11 or y?
-11
Suppose 31*m = 27*m + 16, -5*m + 3200 = -5*y. Are -636 and y unequal?
False
Suppose -30*w + 627 = 4377. Is -128 >= w?
False
Let w = 1249 - 1251. Which is greater: w or -3?
w
Let t be 2/(-1)*27/(-18). Suppose 17*o = 46 + 22. Does o = t?
False
Let s be (-80)/12 + (-3)/(-15)*0. Let v = 11 - 19. Which is greater: v or s?
s
Let x be 1/5 - (-72)/40. Let p be (-483)/14 - 1/x. Which is smaller: p or -36?
-36
Suppose 0 = -c - 17 - 46. Let i be (-2 + 22/12)/(14/c). Suppose -5*n - 11 + 1 = 0. Which is smaller: i or n?
n
Let c(h) = h + 8. Let w be c(-8). Suppose w*x = -2*x - 3*y + 29, x = -2*y + 16. Suppose -6*b - x = -b. Is b bigger than -2?
False
Let l = 2726/15 + -1818343/10020. Let m = -2/167 + l. Let p = -112/3 - -36. Is p less than m?
True
Let m(h) = h**2 - 6. Let l be m(-3). Suppose l*f = -0*f - 3. Let d be (3/6)/1 + -2. Which is bigger: d or f?
f
Let q(m) = -m**3 + 11*m**2 - 12*m + 21. Let k be (-324)/(-30) + 4/(-5). Let v be q(k). Do 1/69 and v have different values?
True
Let s be 62*(2 + -1)*9/(-6). Let k = -94 - s. Is -2/5 at least as big as k?
True
Let l(z) = z**3 + 2*z**2 - 32*z - 17. Let o be l(5). Let u(j) = 6*j**3 - j**2 - 3*j**3 - j - 4*j**3. Let f be u(o). Is 7 at most as big as f?
False
Let u = 3 - 3. Suppose -t = -4*g - u*t + 25, 4*g - 4*t - 16 = 0. Suppose -2*d = -g*d - 35. Which is greater: d or -4?
-4
Let i = -0.0668 - 0.5332. Is 4 bigger than i?
True
Let g = -19.14 + 19. Suppose -2*v = -4*v + 4*v. Is v not equal to g?
True
Let l(n) = 93*n + 373. Let b be l(-4). Is 12/29 < b?
True
Let i = -991/42 - -41/14. Is -22 < i?
True
Let f(j) = -6*j**3 - 31*j**2 + 3*j + 2. Let m be f(-6). Which is greater: m or 167?
167
Suppose -3*a + 30 = -0*a - 3*w, -4*a = 4*w - 80. Let u be (-6)/15 + (-9)/a. Let l = 25447/51 - 499. Is u >= l?
False
Let z be -5*1295*2/34. Let a = z + 381. Let x be (-5 - 2)*6/(-42). Which is bigger: x or a?
x
Suppose 0 = -3*w + 4*c - 26 + 1, 5*w = -c - 11. Let q be (-60)/9*3 - w. Which is smaller: -18 or q?
-18
Let o be (4/(-8))/(2/178). Is -2 < o?
False
Let v(h) = -h**2 - 6*h - 2. Let w be v(-7). Let m be w*4/(-84) - 0. Is m at most as big as 1?
True
Let r = 37/69 + -5/138. Is r >= -9.8?
True
Let n = -855 - 309. Which is smaller: -1165 or n?
-1165
Let y = -290 + 207. Is y bigger than -0.05?
False
Let v = 20.4 + -18. Let b = v - 2.3. Which is greater: b or -5/6?
b
Let f = 1.9852 - -0.0248. Let z = -0.11 + f. Which is greater: -2 or z?
z
Let t be (-45 + -159)/((-39)/2). Which is smaller: t or 11?
t
Let r = -0.6 - -1.17. Let t = r + -0.97. Let j(b) = -2*b - 2. Let g be j(-2). Which is smaller: g or t?
t
Suppose -98*w - 6366 - 786 = 349*w. Suppose 0 = -0*k - 2*k - 30. Which is smaller: w or k?
w
Suppose -2*l = -3*h + 43, 0 = h - 3 + 8. Let v = 41 + l. Is 9 >= v?
False
Let h = 298 + -298. Which is smaller: h or 6/25?
h
Let w(q) = -3*q**2 - 10*q + 5. Let z be w(-8). Let p = z + 99. Which is smaller: p or -10?
-10
Let s = -347 + 1037/3. Let r be (1 + 1/(-3))*-3. Which is greater: r or s?
s
Let t be 4/(-12)*-15*1. Suppose -5*r + 3*s - 2*s = 5, -t*r + 5*s - 25 = 0. Is -2 <= r?
True
Let y = 4711926/521 + -9044. Which is smaller: y or 0?
0
Let y be 7 - (684/(-3) + 6). Is y smaller than 229?
False
Let x = -636 + 633.07. Let v = -3 - x. Let l = 0.17 + v. Is 1/10 >= l?
True
Let a(s) be the third derivative of s**5/60 - s**4/24 - s**3/2 + 2*s**2. Let z(o) = 3*o - 14. Let h be z(6). Let y be a(h). Which is smaller: 7 or y?
7
Suppose 0 = 4*d - 6*d. Suppose -n + 11 + 18 = d. Let o = n + -38. Is -9 at most o?
True
Let k(t) = -t**3 + 4*t**2 + 3*t - 17. Let a be k(5). Let w be (a/(-6))/(-3) + 66/28. Which is bigger: 6 or w?
6
Suppose -3*v = -0 - 12. Suppose 4*i - 2 = -v*u + 3*u, 3*u + 24 = 3*i. Suppose 5*l + 32 = -3*n, -2*l + 2*n = 3*n + 13. Is l equal to u?
False
Let j = -81.726 + 82. Which is smaller: j or 0.1?
0.1
Let t be (-65)/91 + (-46)/14. Let c = -1.1 - -6.1. Let d = c + -7. Is d at most t?
False
Let b be -4*(-2)/12*3. Suppose -b*s + 1 = -s. Let i be ((-20)/4 + 0)*s. Which is smaller: i or -4?
i
Let x(a) = -7*a - 11. Let f be x(-2). Suppose 3*q + 56 = -2*g + 12, f*g = 2*q - 40. Which is bigger: -50/3 or g?
g
Let p(n) = -n + 5. Let u be p(5). Let o(l) = 2*l + 1. Let q be o(1). Suppose q*i - i + 12 = u. Is i at least as big as -7?
True
Let q(h) = h**3 + 6*h**2 + h + 4. Let c be q(-6). Let o be c*(21/(-6) + 2). Which is greater: o or 3/2?
o
Suppose 5*b = 25, 4*b + 516 + 332 = 2*m. Which is smaller: m or 435?
m
Suppose 13*c = -76 + 115. Which is smaller: 70 or c?
c
Suppose 27*l - 4261 = 9428. Is l less than 507?
False
Let c be 39/(-26)*(-2)/(-1561). Let g = -2519/313761 + c. Which is smaller: g or 1?
g
Let q = -4 + 7. Let l(n) = n**3 + 10*n**2 + 9*n + 5. Let b be l(-9). Let p be 0/b*(-2)/4. Which is smaller: p or q?
p
Let y = 4954469/21 - 235975. Let o = y - -48. Suppose -3*g = -g. Is g at most o?
True
Let q = 2 + 2. Suppose 8*v = q*v. Let t be -4 - ((-968)/96 + 6). Which is bigger: t or v?
t
Let r = -21 + -2. Let t = r - -21.4. Let q = 1.7 + t. Which is greater: 0.26 or q?
0.26
Let f = -0.06 - -4.06. Let v = f + -4.06. Let m = v - -15.06. Is m bigger than 1/3?
True
Let w = 11781/5128180 - 5/2881. Which is smaller: w or 1?
w
Let x be 3/((-6 - 743/(-124))*6). Are x and -58 equal?
False
Let o(p) = -p + 1. Let h(t) = t**2 + 3*t + 1. Suppose -g = 5*r - 0*g + 13, 12 = -4*g. Let k be h(r). Let c be o(k). Which is bigger: 3/5 or c?
c
Let t = 18 - -30. Let h = -47 + t. Which is greater: h or -7?
h
Let v = 17961/19 - 1308961/1425. Let z = -80/3 + v. Let w be -3 + 2 - (1 + -3). Which is greater: w or z?
w
Let w be (9/6)/((-6)/(-56)). Are w and 79/6 unequal?
True
Let o be 326/(-8) + 2/(-8). Suppose -928*j + 912*j - 672 = 0. Is j smaller than o?
True
Suppose 2*z - z = -47. Let x = -33 - z. Which is smaller: x or 13?
13
Let v(q) = 2*q**2 - 8*q - 13. Let r(z) = -5*z**2 + 15*z + 26. Let x(t) = 3*r(t) + 7*v(t). Let n be x(-9). Let b(p) = -2*p + 15. Let o be b(5). Is o > n?
False
Let b = 2.02 + -2.2. Let t = -2.528 - -2.428. Is b < t?
True
Let b(d) = d**2 - 6*d - 2. Let o be b(-6). Let c = o - 66. Which is bigger: c or -2?
c
Let p = 13 + -15. Let n be 0 + 3/(p + -1). Is -10/13 <= n?
False
Let l = 561 - 567. Suppose -4*b - 5*u = 46, -3*u + u - 4 = 0. Let t be b/2 - 1/2. Is t != l?
True
Let q = 709 - 963. Is -254 less than or equal to q?
True
Let l = -95797/7 - -13685. Let m = 110 + -63. Is m equal to l?
False
Let l = -111 - -111.63. Let s = 14.37 + l. Is -3 smaller than s?
True
Let l = -9.2 + -1.8. Let f = -26 - l. Let d = -0.2 + -0.8. Is f at most as big as d?
True
Suppose -5*h + 4*h - 10 = 3*d, 5*h = -2*d + 15. Let b be 16/(-6)*h/(-60). Let o = 0.03 + -7.03. Is o greater than b?
False
Let v(a) = a**3 - 28*a**2 + 52*a - 19. Let d be v(26). Is d smaller than -17?
True
Let v be -22 - (3 - 6) - 1. Is v smaller than -6?
True
Let f = 13.22 + -0.22. Let s = f