 be 2 + ((-94)/22 - -2). Suppose -t - 2*k + 10 = t, 15 = -5*t + 5*k. Suppose -3*j + 4*j + t = 0. Do n and j have different values?
True
Suppose -5*c - 434 - 116 = 0. Let r be 1764/(-16) + (-2)/(-8). Is c less than r?
False
Let c(u) = -2*u - 14. Let p(h) = -3*h - 14. Let k(i) = -2*c(i) + 3*p(i). Let q be k(-8). Is q bigger than 3/4?
True
Let f = 914 + -776. Which is bigger: f or 2/11?
f
Let s = 16 - 15.8. Let m be (18/(-10))/((-2)/10). Let a = -9 + m. Which is bigger: a or s?
s
Let t be 11/(-110) + 4/(-10). Let y = 0 + 0.1. Are t and y equal?
False
Let x be (-1)/(-4)*((-576)/(-68))/6. Let f be (-6)/9 + 1/(-3). Which is smaller: x or f?
f
Suppose 16*r - 13 = 3*r. Let i = 6 + -5. Let p be i + -6 - (-12)/3. Which is bigger: p or r?
r
Let u(j) = -j - 10 + 4*j**3 - j**3 - 7*j**2 - 4*j**3. Let o be u(-7). Which is bigger: 1 or o?
1
Let a be 1 - -1 - 0 - (-36)/(-12). Is a < 1/167?
True
Let s be 21/((-735)/(-14))*2/10. Which is smaller: s or 4.9?
s
Let k = 225/7 - 25439/791. Suppose 0 = 2*x - x - 1. Which is bigger: x or k?
x
Suppose 2*x - 10 = -4. Let o(t) = -6 - t + 0 - t + x*t. Let q be o(5). Is q at most as big as -2/17?
True
Suppose -72*o + 75*o - 9 = 0. Suppose -5*v - o*b = -7 - 20, -2*b + 11 = v. Is 18/7 bigger than v?
False
Suppose -3*z = 4*p + 165, -1 = 2*p + 5. Let t = z + 24. Let h = t + 17. Which is greater: -8 or h?
-8
Let k = 22.32 + -22. Let n = 0.62 - k. Is n at most as big as 0.6?
True
Let n = -37 - -37.23. Let k = n - 0.39. Let g = k - -0.11. Is g less than or equal to -2?
False
Let u = -11 + -4. Let f = -5 - u. Suppose 3*h = -6, 0 = -s - 2*h - f - 0. Which is smaller: -7 or s?
-7
Let k be ((-8)/(-16) - -1)*(-2)/(-3). Which is greater: k or 141?
141
Suppose 6 = 16*w - 19*w. Which is smaller: w or 0?
w
Let w(t) = t**3 - 19*t**2 + 66*t + 35. Let o be w(15). Is o less than or equal to 126?
True
Suppose 3*a + 4*j = -238, -13*j + 11*j = 3*a + 230. Which is smaller: a or -75?
-75
Let v = -256/15 - 18323/105. Let w = v + 191. Let a = -3 + 3. Which is smaller: w or a?
w
Let s = 513 - 144154/281. Is s > -1?
True
Suppose -52 = 5*p - x, 0 = 144*x - 148*x - 12. Suppose 5*z + y = -63, -4 - 14 = z + 2*y. Which is bigger: z or p?
p
Let d = -15 - -15. Suppose d = -4*m - 12, 34 + 101 = 2*a - 5*m. Let p be -3 - (-4)/(112/a). Is -2 not equal to p?
True
Suppose 0 = -735*k + 740*k - 30. Which is greater: 0.02 or k?
k
Let n be (-114)/(-70) - 4/20. Let b = n + -204/133. Which is bigger: 1 or b?
1
Let r = -3 + 6. Suppose 3*s = -9, -r*j + 0*s - 3*s + 36 = 0. Suppose 0*m = 3*m - j, 12 = h + m. Are 7 and h equal?
True
Let d = 1314 - 44673/34. Does 0 = d?
False
Let h be 172/387 + 12/(-27). Which is bigger: h or 38/29?
38/29
Let o = 533 + -541.21. Let l = o + 8. Let q = l + 17.21. Does -1 = q?
False
Suppose f = -17*n + 12*n + 23, -5*f + 35 = 9*n. Is n less than -9?
False
Let n be (208/(-97916))/((-2)/7). Which is smaller: n or -1?
-1
Let y be (-6)/36 + (-511)/(-6). Let n be (-3)/(-4)*34/y. Is -1 >= n?
False
Let l = 169.8 - 169.8. Which is bigger: -23 or l?
l
Let u(v) = v**3 + 2*v**2 - 5*v - 8. Let h be u(-3). Which is greater: -24/23 or h?
-24/23
Suppose 5 + 939 = -4*t. Do t and -234 have the same value?
False
Let c = 25.5 + -24. Let f = c - -0.5. Which is greater: f or 8?
8
Let z = 73 - 2114/29. Suppose 7*q - 4*q = -u - 7, 0 = 2*u + 2*q + 6. Which is bigger: u or z?
z
Suppose 6*y = 5*y - 56. Let u be 16/y + (-10)/14. Is -1/12 greater than u?
True
Suppose 0 = -0*t + 4*t - 8. Let r(b) = 3*b + 0*b**t + 3*b + b**2 + 1. Let u be r(-5). Is u >= -3?
False
Let k = -88 + 78. Let f = k + 11.7. Let o = -1.3 + 0.3. Is f not equal to o?
True
Let v = 5.76 + 4.67. Let d = -0.17 - v. Let p = d - -11. Is p equal to -0.2?
False
Suppose 0 = -89*l + 77*l + 60. Which is greater: l or 29/5?
29/5
Let b = -2 + 1.9. Let h = -47.48 + 0.48. Let d = h - -56. Is d smaller than b?
False
Suppose 9 = 11*m - 8*m. Let h be 64/(-3) + 1/m. Let i = 21 + h. Is i <= -2/23?
False
Let i be ((-3)/1)/((-30)/(-200)). Let b = i + 17. Is b at most -3?
True
Let l be ((-8)/3)/((-2)/6). Let z(b) = -9*b + 18. Let v be z(0). Let k be (v/(-21))/6 + (-128)/(-14). Is l at least as big as k?
False
Suppose -200 - 190 = -39*c. Which is bigger: c or 44?
44
Suppose h = -3, 0*h = 4*n - 2*h - 26. Suppose -8 = -2*k - w - 3*w, 3*k - n*w + 21 = 0. Let l = -72338/45205 - -2/9041. Is l != k?
True
Let a be (-4)/51*33/39. Let u = 699 + -27263/39. Let h = u + a. Which is greater: 1 or h?
1
Let v = 10397631/649 + -16021. Which is bigger: v or 1?
1
Let o = -0.255 + 0.935. Which is bigger: -2 or o?
o
Suppose -4*q - 20 = 0, -3*j = j - 4*q - 84. Suppose 13*a = j*a. Is 1 at most as big as a?
False
Let l be ((-8)/6)/(13/((-234)/84)). Which is smaller: l or -105?
-105
Let c = -19.7 - -20.9. Is -1/24 bigger than c?
False
Suppose s - 3*s = 4*w + 36, 0 = s - 5*w - 17. Let r be (19/(-180))/(4/s). Let o = r - -1/90. Does o = 0?
False
Suppose -3*q - 29 = 16. Let o = 15 + q. Suppose 3*v - 2*j + 18 = o, -j - 23 = 4*v + 1. Which is bigger: -7 or v?
v
Let a(u) = 19*u - 208. Let x be a(11). Is 1/1423 bigger than x?
False
Let s be (0 + (-8)/16)*(1 + -1). Suppose -3*z - 5*d = -3*d + 141, s = -z + 5*d - 30. Which is greater: z or -46?
z
Let k = -4 + 8. Suppose -2*h = -3*l - 63, l + k*l + 25 = 0. Let p = -3460 + 3484. Does h = p?
True
Let c = 0 + 3. Suppose 15 = 2*z + 5, -z = -c*m + 70. Suppose 3*s - 4*s + 13 = -2*y, m = -5*y + s. Is y not equal to -4?
False
Let p(r) = r + 3. Let a be p(-6). Let t(g) = -7*g - 224. Let s be t(-33). Is s at least a?
True
Let g be ((-1836)/126)/(-34) + (-53)/189. Let k(c) = c**2 + 5*c + 5. Let d be k(-4). Is g less than d?
True
Let m = -1/169 - -687/1859. Let s(g) = -g**3 + 14*g**2 - 2*g + 14. Let q be s(14). Let v = -13 - q. Which is smaller: v or m?
m
Let k(s) = -22*s**2 - 4*s + 3. Let c be k(-4). Let n be 2/(-12) + c/(-54). Suppose 2*w - 5*y + n = 0, 2*y = -2*w - 0*y + 8. Is w < 8/7?
False
Let s be (-162)/(-10) - (2 + 2). Which is smaller: 13 or s?
s
Let i be (-1)/(-3*2/426). Suppose 7*y + i = 6*y. Is y <= -71?
True
Let m = -1859027306289/7007 - -265310019. Let i = m - 6/539. Is i equal to 1?
False
Let a(y) be the third derivative of -y**6/120 + y**5/6 - 2*y**3/3 - 15*y**2. Let z be a(10). Which is smaller: -2 or z?
z
Suppose -2*o - 11*v + 71 = -6*v, 5*o + 3*v - 149 = 0. Let n be 10/50 - o/65. Which is bigger: -1 or n?
n
Let b = -1 + 2.3. Let i = -3.02 + 3.12. Which is smaller: i or b?
i
Let s be 3/((-298)/(-148) - 18/9). Let i be ((-12)/(-18))/(s/(-117) + 2). Is i at most as big as 8?
True
Let l be 672/154 + (-12)/33. Suppose -11 - 4 = -5*u. Which is bigger: u or l?
l
Let g = 377/2415 + 11/105. Which is greater: 1 or g?
1
Suppose -11*p + 9*p - 4*c + 458 = 0, 936 = 4*p + 4*c. Are 238 and p equal?
False
Let c = -12 + 12.8. Let k = c + -0.68. Let l = -0.02 + k. Which is smaller: -1 or l?
-1
Let u be (4 - -1 - 3) + 29 + -1. Let n = u - 28. Does 4 = n?
False
Suppose 2*y + 0*y - 2 = 0. Let u be ((-3)/3 - -2) + y. Suppose 4*x + 1 = 5. Is x greater than u?
False
Suppose y + 4*h + 16 = -33, 4*y + 3*h + 235 = 0. Which is bigger: y or -65?
y
Let g = -12013/33 + 364. Is -1 < g?
True
Let s(y) = -y**2 + 3*y + 7. Let x be s(5). Let c be -18*(x/(-9))/(-1). Suppose -t = -8 + c. Which is greater: t or -1?
t
Let v(i) = -i**2 - 13*i + 41. Let m be v(-16). Suppose -3*a + 13 = -t, 0 = 2*a - 2*t - 0*t - 14. Let y be 2*(-1)/(2/a). Which is greater: y or m?
y
Let g = 63.8 + -62.8. Let t = -17 - -1. Which is smaller: t or g?
t
Let r = 1871 + -1870.051. Let g = r - -0.051. Which is smaller: g or -0.1?
-0.1
Let b = 1766/17 + -104. Let w = -1 - 3. Let v be (-5)/(-3) + w/6. Is b < v?
True
Suppose -4*f + 2*f + 280 = 0. Suppose -o + 6*o = -f. Which is greater: o or -29?
o
Let u(v) = -3*v**2 - 32*v - 15. Let t(r) = 2*r**2 + 21*r + 10. Let m(y) = -8*t(y) - 5*u(y). Let k be m(-7). Suppose k = 3*d - 7. Which is bigger: 2 or d?
d
Let k(a) = -a + 1. Let i(m) = -4*m + 5. Let z(o) = i(o) - 5*k(o). Let t be z(5). Suppose 0*d = -5*d + t. Which is smaller: d or 3?
d
Let g = -2/9063 + 36274/99693. Suppose -5 = 3*f + 2*r, -4*f - 2*r = 2*r + 8. Which is smaller: g or f?
f
Let h(o) = o**3 + o**2 - o. Let p be h(2). Suppose 2*c + 3*c = 2*y + p, -2*y - 10 = -c. Is -2/5 at least as big as c?
False
Let a = 0.75 - -8.05. Let f = 9 - a. Do -36 and f have different 