Let f be v(10). Is f < -396/13?
False
Suppose 6*x - 121 = 101. Let v = x - 17. Are v and 20 equal?
True
Suppose 0 = -9*w - 3*w + 60. Suppose -4*y = w*k - 7, -k + 2*y + 2 = 9. Which is greater: 5 or k?
5
Let p(k) = -k**3 + k**2 - 2*k + 1. Let i be p(0). Suppose 0 = 5*y - 3*a + 23, -y - 5*a = -0*a - i. Let b be -1*y/(2 - 4). Do b and -5/9 have the same value?
False
Suppose 0 = -20*c + 104 - 564. Which is smaller: -21 or c?
c
Let r = -871 + 304. Let c = r + 15307/27. Let f = -149/189 - c. Do f and 0 have different values?
True
Suppose 3*l = 2*l + 3. Let q = 25 - l. Let b be q/(-30) - (-3)/9. Which is smaller: 0.4 or b?
b
Let a = -197 + 196.9. Let h = -468.02 - -460. Let z = h - -8. Which is smaller: z or a?
a
Suppose 2*a - 14 - 24 = 0. Let r = a - 11. Let g be (r*(-4)/(-56))/1. Which is smaller: -1/2 or g?
-1/2
Let a(y) = -2*y**2 + 2*y + 1. Suppose 5 = 5*i - 10, -w + 17 = 5*i. Let k be a(w). Which is greater: -16/7 or k?
-16/7
Let n = 64.95 + -16.89. Let g = 48 - n. Which is smaller: g or -3?
-3
Suppose u - 30 = -2*m, -u - m = -4*u + 55. Let g be (-3 - (-105)/u) + -2. Do 1 and g have different values?
True
Let j be 4/10 + 2/(-5). Let f be 0/13 + 18/(-666). Which is smaller: f or j?
f
Let c = 501/4 + -126. Let r be (-10)/(0/(-5) - 2). Suppose -4*y + 4*p - 13 = -3*y, y = -r*p + 14. Is y at most c?
True
Let k = 0.01 - 0.31. Let p = -0.81 - -12.81. Does k = p?
False
Let g = -40936 + 206458/5. Which is bigger: 357 or g?
357
Let o = 158/117 + -45/13. Let d = o + 256/117. Let w(j) = 2*j**3 + 4*j**2 - 4*j - 7. Let p be w(-2). Is d at least as big as p?
False
Let k be (0 + 447)*(-98)/189. Let c = k - -232. Let m be (-60)/50*(-5)/(-2). Is c less than or equal to m?
False
Let r = -67 - -69. Let o be r/(-4)*(10 + -10). Which is smaller: o or -1?
-1
Let j(p) = -p**2 + 19*p - 14. Suppose -36 = -2*k - 3*w, -k + 3*w - 1 + 19 = 0. Let s be j(k). Suppose -3*b = 2*c - 4, 4*b + s = b + 2*c. Is b bigger than -5/4?
True
Let a = -10 + 28. Suppose -2*k + a = -5*b - 6*k, b + 4*k + 10 = 0. Let t be 13/(-26)*4/(-6)*-3. Which is bigger: t or b?
t
Let t = 2.09 - 1.888. Is t smaller than 0?
False
Let t(b) = -2*b**3 + 7*b**2 + 8*b + 12. Let v be t(-4). Which is smaller: v or -1?
-1
Let w = -1/27548 + -26005303/247932. Let j = 105 + w. Which is bigger: -1 or j?
j
Let r be (4/5)/(8/(-40)). Let f be -1*(-2 - r/3). Which is smaller: f or 0.14?
0.14
Let v = 24 - 10. Suppose -v*x + 8*x - 30 = 0. Is -3 > x?
True
Let u be (15/60)/(1/584). Is 146 smaller than u?
False
Let x = 14 + -10.8. Let o = x - 3. Let s = 281 - 280. Which is bigger: s or o?
s
Let v = -1772/65 - -134/5. Suppose 0 = -5*c + 4 + 6, q + 5 = 5*c. Let u be q/(5*-2)*(-2)/(-2). Which is smaller: u or v?
u
Let y = -235 - -294. Is 1 less than or equal to y?
True
Suppose -9*y + 247 + 185 = 0. Suppose y*o = 46*o + 20. Is o greater than 11?
False
Let k(i) = 7*i**2 - 10*i + 3. Let j(w) = 13*w**2 - 19*w + 5. Let s(u) = -6*j(u) + 11*k(u). Let x be s(4). Suppose -x*y + 36 = -7*y. Is -9 > y?
False
Let v be 290/75 - (3 + 1). Suppose 2*o + 0*o = 12. Suppose -p + o*p = 0. Which is bigger: v or p?
p
Let o be (0/((2 + 1)/3))/(-2). Let s = -87/12773 - 12/241. Which is smaller: o or s?
s
Let g(o) = o**2 + 5*o - 5. Suppose f = -9 + 3. Let b be g(f). Which is greater: 0.02 or b?
b
Let f(t) = t**2 - 11*t + 25. Let q be f(8). Is q greater than or equal to -56?
True
Suppose 3*t - 105 = 3*n, -3*t + 6*t + 87 = -3*n. Let b = n - -37. Which is smaller: b or 16/3?
b
Let g be 28 - 22 - -1052*(-1)/177. Which is bigger: g or 0?
g
Let x(m) = -5*m - 34. Let f be x(-7). Which is bigger: 2/131 or f?
f
Suppose -2*c = 6*t - 7*t - 178, -4*c - t + 368 = 0. Which is smaller: c or 89?
89
Suppose 21 + 149 = 10*p. Which is greater: p or 35?
35
Let f be 1*18 + 0 + -1. Let n be -9*(-16)/(48/5). Which is greater: f or n?
f
Let w be 1/((-1)/8*-2). Suppose 0*s = 5*s - w*c - 8, 5*c + 10 = 2*s. Let j be 0/((3 - s) + -4). Are 0 and j non-equal?
False
Let p = 47 - 44. Let f be (1 - 7/p) + 13/39. Is -1/4 greater than f?
True
Let l = -12653/19 - -666. Which is bigger: -4/11 or l?
l
Let u(p) = 9*p - 41. Let y be u(3). Is y <= -13?
True
Let r(b) = -25*b - 100. Let l be r(-18). Is 350 >= l?
True
Let s = -40.1 + 38. Let r = 28 - 29.1. Let a = r - s. Which is smaller: -0.1 or a?
-0.1
Let d = 39 - 18. Let s = -32.62 + 32.82. Is s greater than d?
False
Let a = 20 + -18. Which is smaller: -3/2 or a?
-3/2
Let w be 1/(-2) + 7/(42/(-25)). Let x = -4 - w. Is -5/6 at least x?
False
Suppose 0 = k + 4*a - 16, -3*a = -23 + 8. Is k != -23/9?
True
Suppose -6 = g - 0*i + 4*i, 2*i + 4 = 0. Let k(p) = -2*p**3 + 4*p**2 - 4*p + 3. Let n be k(g). Let w = 4 + n. Which is smaller: w or 0?
w
Let u = -2 + 2. Let l be 1*-1*u/(-5). Suppose 65 = -10*o + 35. Is o greater than l?
False
Let q = -106/7 - -103/7. Let i = 930 - 930. Is q <= i?
True
Let b be 3/6*(-17)/4. Let q = 111/56 + b. Are 0 and q nonequal?
True
Let w = -1753/9 - -195. Let i = -20 - -22.7. Let r = 3 - i. Is r <= w?
False
Let p be -4 + 30/5 + -2. Suppose 4*r + u + p = -4, -4*u - 16 = -4*r. Is -2/117 at least r?
False
Let n be -1*(4 + -4 - 14). Let j be 4/n - 10/(-14). Is j at least as big as -1/37?
True
Let a(h) = 3*h - 2. Let p be a(0). Let g be (5/(-5))/(2/p). Let z be 23/56 - (-2)/(-7). Is g at least z?
True
Let u(j) = -j + 1. Let o be u(4). Let d = 3 + o. Suppose d = -q + 2*q. Which is greater: -1/6 or q?
q
Let r = -5849/21 + 773/3. Which is smaller: -21 or r?
-21
Suppose -10 - 4 = -b. Let y be (1/24)/(b/21). Suppose 0 = 2*d + 4*u - 18, -3*d - 4*u + 15 = 2*d. Which is bigger: d or y?
y
Let j be 13 + 6624/(-27) + 5. Is j >= -226?
False
Let m be (-8)/((-92)/24 - -4). Let z = m + 47. Let l be 2/(-5) + 448/1020. Is z at most as big as l?
True
Suppose 7*r + 13 = -n + 3*r, -4*n + r = 18. Let u(d) = d + 5. Let q be u(-7). Which is greater: n or q?
q
Suppose -3*p = -o + 18, 0 = 2*p - 5*p + 5*o - 6. Which is greater: p or -12?
p
Let h = 13.53 + -13.33. Is h less than 277?
True
Let q(a) = 3*a + 11. Let z be (-45)/(-9) - (-1 + -3). Let s be q(z). Which is smaller: 36 or s?
36
Let z = 57 - 57. Let w be 2/(-13) + 183/429. Which is greater: w or z?
w
Let b = 19 + -11. Suppose -b - 5 = x. Suppose 297 + 54 = -27*y. Is y smaller than x?
False
Suppose -2*c + 3*m = -6*c + 10, 0 = -2*c - 3*m + 2. Suppose 5*a + 1 + c = 0. Let f = -2239/2529 + -1/281. Is a smaller than f?
True
Suppose 172 = 6*d - 92. Let m = 52 + -52.1. Is m equal to d?
False
Let d be (-55)/(-20) + 1/4 - 4. Are 56 and d nonequal?
True
Let r = -1/1817 - 281629/10902. Which is smaller: -27 or r?
-27
Let c be 8/(-28) - 1864/(-6622). Let l = c + 976/7095. Let m = -18.8 + 19. Is l < m?
True
Let n be (-3)/((-3)/6 - 2 - 5). Is -30 < n?
True
Suppose 78*c = 3*t + 83*c + 58, 3*t + 44 = 2*c. Which is smaller: t or -20?
-20
Suppose -52 = -7*d + 25. Are d and -7 non-equal?
True
Let w be (37/((-925)/570))/((-4)/10). Do w and 56 have different values?
True
Let f be -1 + (1 - 0/(-2)). Suppose 16 = 3*d + j + 3*j, -d + 3*j - 12 = f. Let i = 785/57 + -41/3. Which is greater: d or i?
i
Let b = 1756/13 - 135. Let d = b - -5/104. Is d at least -1?
True
Let j = -4813/69 - -209/3. Let z be (1/2)/(7/(-70)). Let p = 5 + z. Is p smaller than j?
False
Let b = 10 + -20. Let h = -0.93 - 0.07. Is h less than or equal to b?
False
Let l be (4 + -7)*-1*(-84 + 1). Are l and -249 unequal?
False
Let v be ((-1)/(-3))/(3/(-9)). Let u be -1 - (9/(-3) + v). Let g = u - -3. Does g = 6?
True
Let i = -36 - -322/9. Is i at least 33?
False
Let l = -205204 + 1733768598/8449. Which is smaller: 1 or l?
l
Let x = -1.02 - -1.82. Which is bigger: x or -4/3?
x
Suppose 5*q - 10 = 0, -265 - 59 = -2*o + 2*q. Suppose 5*l - o = -4*s - 66, -2*s = 4*l - 82. Let f = l + -181/8. Which is smaller: -1 or f?
-1
Let q be 2/(2 - 14/8). Suppose 10*a = q*a - 10. Is -33/7 < a?
False
Let i be 12928/20 + 2/(-5). Suppose -5*o + 54 = -i. Let k be o/(-18) + 8/(-36). Is k greater than -6?
False
Let f be 7 - (-5 - 45)/2. Is f at most as big as 27?
False
Let a be 3 + 6 + -3 + -3. Suppose 4*s + 3*p + 47 = 0, 4*s - 2*s + 31 = -a*p. Which is bigger: s or -7?
-7
Let n(j) = 9*j**2 + 4*j - 4. Let z be n(3). Let b be 8498/(-98) - (1 + 1). Let u = b + z. Which is bigger: 1/15 or u?
u
Let c = -59 + 91. Let q = c - 35. Which is smaller: -5 or q?
-5
Let r(v) = v**3 - 14. Let