Let v be 7/(21/9) + -3*o. Let n = 339 + -1701/5. Does v = n?
False
Let c be 2/((-4)/6)*13. Let r = -37 - c. Is 5/2 at most as big as r?
False
Let m = 883 - 822.9. Let p = -60 + m. Which is bigger: p or 6?
6
Let u be -28 - (-37 - -19) - (-376)/38. Suppose 2*x = -r - 5, -6*x + 3*r + 15 = -3*x. Are u and x equal?
False
Suppose 7 = -10*c + 97. Let d be (-6)/c*3 + -3. Which is bigger: d or -3?
-3
Suppose -t = -3*z - 3, 5*t = -0*t - 4*z - 4. Suppose 0 = 2*v - 5*q - 21, v + 6 = 2*v - q. Suppose f = -3*f + 16, -v*u = -f + 10. Is u smaller than t?
True
Suppose -u + 35 = v, -2*v = -v - u - 27. Is v equal to 26?
False
Suppose -3*n - 5*o = 8 + 4, 3*n + 3*o + 6 = 0. Let p = -3044/7 - -436. Which is greater: n or p?
p
Let p = -1225 - -1225. Which is greater: 13/64 or p?
13/64
Let n be (0 - (1 + -2))*10. Let b(l) = -5*l**2 + 79*l + 27. Let m be b(16). Is m != n?
True
Let f = 2/25 - -13/25. Let g be ((-9)/6)/(9/(-12)). Let s be (g - -4)*(-1)/(-3). Which is bigger: f or s?
s
Let h(a) = a**3 - 2*a**2 + a + 15. Let o be h(0). Let l be (65/o + -4)/(-16 - 3). Is -1 at most as big as l?
True
Suppose 7*n + 120 = 3*n. Let t = -57/2 - n. Which is smaller: t or -2?
-2
Let p = 0.936 + -0.236. Is -0.6 smaller than p?
True
Let g = 0.11 + 0.1. Let r = 14 - 24. Let n = r + 11. Is g at most as big as n?
True
Let v be 8/(-20) - (-2056)/(-10). Is v >= -207?
True
Let z(t) = 7*t**2 + 377*t - 55. Let u be z(-54). Which is bigger: -2/1267 or u?
-2/1267
Let i = 983 - 987. Are i and 0.83 non-equal?
True
Let n = -24.7 - -21.7. Are n and 13/18 unequal?
True
Let l = 144 + -145. Is -1/92 at most as big as l?
False
Let y(m) = 10*m - 8. Let i be y(5). Suppose -4*a = -3*b - i, 4*b = -a + 2 - 58. Let c = b + 9. Do c and -4 have the same value?
False
Suppose -10*u = 4 + 36. Let d be (u/6)/((-615)/207 - -3). Which is bigger: -21 or d?
-21
Let f be -1*(0 + 0) - -5. Let a = -13.1 - -12.9. Is a bigger than f?
False
Let j(o) = -o**2 - 3*o - 1. Let p be j(-2). Let g be 2 - (68/20 - p). Let y = -31 + 32. Which is greater: y or g?
y
Suppose 3*y - 2*y = -2*z + 40, 0 = -4*y - 2*z + 154. Which is smaller: 192/5 or y?
y
Let w = -29.987 - -30. Let x = w - 0.023. Which is greater: -0.2 or x?
x
Let k(v) = -v**2 + 9*v - 19. Let h(w) = w**3 + 5*w**2 + 5*w + 10. Let r be h(-4). Let y be k(r). Which is greater: y or -1/71?
-1/71
Suppose 44*b + 31 = -57. Let x be 6/4*(-4)/3. Is x at most b?
True
Suppose 3*o + 5*z = 2*o - 14, 2*o + 4*z + 10 = 0. Let p be -4*o/(-2) - 3. Is 56 less than or equal to p?
False
Suppose 4*a + 3*r = 7, 31 = -15*a + 12*a + 5*r. Let v = -3.3 + -0.7. Let j = 3 + v. Which is smaller: j or a?
a
Let k = -1193/3 - -394. Let r(l) = -l + 8. Let a be r(11). Which is smaller: a or k?
k
Suppose -2*u - 6*y = -3*y + 4, 0 = -3*u - 5*y - 7. Let s = 98327/95186 - 69/1046. Let a = -7/13 + s. Which is greater: u or a?
u
Let v = -450 - -450. Which is bigger: -2/505 or v?
v
Suppose -4*q - 4 = -2*q. Let g(c) = c + 4. Let t be g(q). Suppose -3*l + l = -t. Which is greater: -2 or l?
l
Let y = -31 - -18. Let c be 3/(9*(-9)/27). Which is smaller: c or y?
y
Let h = -1822/16065 - 2/2295. Which is bigger: h or 1?
1
Let h = -14 - -58. Let d = h - 47. Is -4 greater than or equal to d?
False
Suppose -28*k = 7161 - 2821. Do 0 and k have the same value?
False
Let b be (30/(-825))/((-2)/(-40)). Let r = 22 + -22. Are r and b unequal?
True
Let y = -21 + 30. Let l be ((y/48)/1)/(12/4). Is l at most as big as 0?
False
Let m be (-6)/4 + (-63)/(-18). Suppose f = m*f + 16. Let n be f/24*(-12)/(-10). Which is bigger: n or 1/2?
1/2
Let m = -763 - -11492/15. Let w = m + -10/3. Which is smaller: 1.1 or w?
w
Suppose -2*l + 1 = 4*h - 9, -1 = -4*h + l. Suppose -5*t + 319 = -h. Suppose -3*n + 3*q - t = n, 4 = q. Which is smaller: -14 or n?
-14
Suppose 3*g = 4*w + 11, 2*g + 2*w - 26 = -0*w. Suppose l + 3*i = i + g, -4*l + 5*i + 62 = 0. Which is smaller: l or 14?
l
Let g be 15 + 224/(-15) + (-14)/(-15). Are 45 and g unequal?
True
Let d = -108.93 + 109. Is d less than -1/4?
False
Suppose 0 = m - 4, 0*j - 4*j = -m - 4. Suppose -4*z = -4*o, z - 12 = -j*o - 0*o. Suppose -5*l + z = 4*v, -4*l + l + v - 1 = 0. Is l bigger than 0?
False
Let k = -38 + 113/3. Suppose -3*z + 7 = x, -5*x + 22 = -26*z + 28*z. Is k at most as big as z?
True
Let o = -3.65 - 0.325. Let s = 0.025 - o. Do -1.1 and s have the same value?
False
Let y = -11 - -6. Let a = -225 - -226. Which is greater: y or a?
a
Let f = -915115/546 - 491/273. Let u = f - -1670. Is u greater than -7?
False
Suppose 0 = -4*j - 5*j - 1782. Let q be 4/(-22) - 784/j. Which is greater: 4 or q?
4
Let l(h) = -2 - 3 + h - 4. Let m be l(11). Suppose -4 = k + m. Do k and -3 have the same value?
False
Let d = -16 - -4. Let w = 23/2 + d. Which is bigger: 0.05 or w?
0.05
Suppose -2*j - 61 = 3*c, 4*c = 3*j - 3 - 50. Let v = c - -13. Let y be 5/(-2) + (-12)/v. Which is greater: 0 or y?
y
Let k = -50 - -52. Suppose -k*l + 3*v = -l + 4, -2*v = 2*l - 24. Is 5 at most l?
True
Let g = 126 - 126.99. Let n = 1.01 - g. Which is smaller: -0.8 or n?
-0.8
Let a(o) = -8*o - 225. Let j be a(-16). Which is greater: j or -99?
j
Let x be (33/(-18))/11 - (-767)/(-6). Let l be x/(-168) - 1/3. Is l bigger than -1?
True
Let r be -18 + (11 - 0) + -86. Which is greater: -92 or r?
-92
Let r = -218 + 224. Is r smaller than 46?
True
Let v be (4/39)/(2/21). Is v at most 4?
True
Suppose -7 = -23*j + 30*j. Which is smaller: j or 1/528?
j
Let a = -10139030 - -44074363691/4347. Let p = a - 4/189. Which is smaller: -1 or p?
-1
Let d = -42.1 + 6.1. Let x = d + 35. Is 6/17 at least as big as x?
True
Let g = -932 + 4938/5. Let u = g + -5272/95. Suppose -p - 3 = 3*k, 4*k + 4*p = -k - 5. Are k and u nonequal?
True
Let a = -2208 + 2207. Let b be 1 - (-11)/34*-3. Is a equal to b?
False
Let b be (-2)/(2*-1) - -1. Let p(v) = v**2 - 5*v + 4. Suppose 4*m - 5 = 11. Let n be p(m). Which is smaller: b or n?
n
Suppose -2*a + 50 = 4*j, -4*a - 6*j = -3*j - 115. Suppose 40 = 27*z - a*z. Is -10 less than or equal to z?
True
Suppose i - 36 = -2*i. Let c be (i/8 + -2)*-10. Suppose c*n + m + 3 + 12 = 0, -4*m - 12 = -4*n. Does -3 = n?
False
Let o = 307 + -303. Is o smaller than 45/13?
False
Let i(w) = -3*w + 3*w**2 + 4*w**2 - 9*w**2 + 1 - 2. Let c be i(-2). Let h be (-40)/24*c/(-1). Is h greater than -4?
False
Let j be (-543)/15 + (-6)/15. Let y = 37 + j. Is -25 less than y?
True
Let f be (-2)/(-3) + (-311)/471. Let t be -8 + -6*8/(-12) - -4. Is t at most as big as f?
True
Let u(j) = 2*j - 5 + 0*j - 3*j. Suppose 18 = 4*d - 7*d. Let r be u(d). Which is smaller: r or -0.02?
-0.02
Let i be 2/8 - 6/(-8). Let g = 3 - i. Suppose -3*b - 2*x + 2 = 0, 0 = -5*b + g*b + 2*x + 10. Do b and 2/7 have different values?
True
Suppose 29 - 4 = -5*y, -f = -y + 103. Which is greater: -107 or f?
-107
Let s = 54 - 50. Suppose s*x + 2 = 2*z, 5*z - 3 - 2 = -5*x. Is 2/31 at most as big as x?
False
Let t(g) = g**2 + 5*g + 5. Let u be t(-4). Let y(j) = -24*j - 20. Let l be y(-6). Let s = -870/7 + l. Is u at most s?
False
Suppose 472 = 16*k - 440. Which is smaller: k or 2?
2
Let d = -0.3 - -1.3. Let i = 0.13 + -1.03. Let g = d + i. Does -2/3 = g?
False
Suppose 4*u + c - 2*c - 684 = 0, -360 = -2*u - 4*c. Which is greater: u or 170?
u
Let q(j) = -j**3 + 6*j**2 + 23*j - 11. Let b be q(9). Is b at least -48?
True
Let j be (80/(-544))/((-1)/(-2)*2). Which is smaller: 0.04 or j?
j
Let v = 167 - 165. Is v not equal to 0.01?
True
Let p(y) = -y**3 + 6*y**2 + 4*y - 7. Let a be p(6). Let d = a + -17. Let t be (-1)/(-2)*(8 - d). Is 5 != t?
True
Let p = -0.19 - 7.81. Let i = -7.84 - p. Let n = i + 0.04. Does 6 = n?
False
Let w = 425 - 435. Is w < -1/4?
True
Let j = -14.3 + 14.2. Which is smaller: -1/9 or j?
-1/9
Suppose -3*u = -5*v - 1 - 0, -v = -u + 1. Suppose 0 + 3 = p. Suppose -5*n + 2*r + 11 = 0, -p*n - 4*r + 7 - 16 = 0. Is v smaller than n?
False
Let h = 172 + -89. Let y = h + -911/11. Let r(v) = 2*v + 3. Let w be r(-3). Which is smaller: y or w?
w
Let y = -2 + 2. Let s be 3 + (y - -2)/(-1). Suppose -j + s = 2. Is -2/7 smaller than j?
False
Let w be 6/4*-1*48/(-18). Let b be -2 + (0 - -5) + (w - 1). Which is smaller: b or -1?
-1
Let h(q) be the first derivative of q**4/4 + 4*q**3/3 + q**2 - q - 1. Let n be h(-2). Which is greater: 1 or n?
n
Let v be (-13)/26 - 14/4. Let m = v - -8. Is m less 