f)). Let u be (-15)/t*(3 + 39/(-15)). Is u bigger than 2?
False
Suppose -4*h - 2*z - 28 = 0, -h + 3*z = -4*h - 24. Let w be (6 + 16/h)*(-9)/(-5). Let q be (w/4)/(3/(-2)). Is 1/15 > q?
True
Let c be (-361 - -1)/(-9 - (130/(-150) - 8)). Which is smaller: c or 2699?
2699
Let j(f) = 57*f - 102. Let d be j(1). Let p be (-6)/(-4)*(-14)/(-3). Let x be p/(7/(-2))*d/70. Is 1 less than or equal to x?
True
Let l(s) = 18*s**2 + 8*s + 40. Let t be l(6). Suppose 22*o + 386 = -t. Is -56 smaller than o?
True
Let h be 11 + (-18585)/1614 + (-3)/(-6). Let l be 0 - ((-4)/16 + (-10)/(-8)). Is h smaller than l?
False
Let v be (48/346)/4*3/9. Let y = -123/4325 - v. Let u = 9/25 - y. Which is greater: 0.14 or u?
u
Let o be 41364/(-189) - 48/(-56). Is -213 at least as big as o?
True
Suppose 21*i + 13 + 50 = 0. Let s be 5/(i/((-21)/(-14))). Let j be (-1 - 2)*4/6. Do s and j have different values?
True
Let d be 20/(-50) + (-9)/((-1126755)/50288). Which is greater: 0 or d?
d
Let c = -17 - -18.26. Let x = 55.26 - c. Let u = 63 - x. Is u < -0.2?
False
Let l = 506/15 + -4319/135. Is l bigger than 3?
False
Let y be (-20 - (-2595)/30)*-334. Which is smaller: y or 0?
y
Let z(v) = 542*v**2 - 2*v - 2. Let y be z(-1). Let k = 562 - y. Which is smaller: 17 or k?
17
Let c be (-99954)/(-63315) + 8/(-5). Is c greater than or equal to 1?
False
Let r = -138.8 + 126. Let g = r - -12.566. Let z = g - -0.034. Is 1 equal to z?
False
Let v = 295 - 178. Suppose -3*b - v - 54 = 0. Is b < -56?
True
Let v = 161 - 43. Suppose -6*i + 4*i = -v. Suppose 150 + 39 = 3*u + 5*o, 131 = 2*u + 5*o. Is u equal to i?
False
Let b = 3/22508 - 371541/1192924. Let q = 2881/742 + b. Is 2 > q?
False
Let z(t) = -745*t - 1464. Let q be z(-2). Suppose -k + 2*s = -27, 81 = -2*k + 5*k - 4*s. Which is smaller: k or q?
q
Let c = -14713 + 14683. Suppose 56 = -3*j + j. Is c smaller than j?
True
Let b = -5384 + 5455. Which is bigger: 27 or b?
b
Let t = 13493.49 - 13577. Let f = t + 85. Is 1 less than or equal to f?
True
Suppose 0 = 2*r - 10, -62*l = -59*l - r + 5. Is -3/22474 > l?
False
Suppose 0 = -g + 17*m + 99, -5*g - 95 = -m - 86. Which is greater: -98/29 or g?
g
Let v(f) = f**3 - 8*f**2 + 6*f + 10. Let b be v(7). Let c(i) = 5*i**2 + i + 1. Let o be c(3). Suppose 3*a = -o + 40. Which is smaller: b or a?
a
Suppose -686 = 5*h + 4*c, c - 660 - 6 = 5*h. Is h >= -269/2?
True
Let b(t) = t**2 + 57*t + 57. Let l be b(-1). Let i be ((-2)/3333)/(4/(-12)). Which is greater: l or i?
l
Let d = 11628.1 - 11628. Are d and 1785 equal?
False
Suppose 5 = -5*n, -5*a + 437 = 5*n - 4083. Let g = a - 893. Is 0.37 >= g?
False
Suppose 31*m - 20*m - 20*m + 5148 = 0. Is 572 less than or equal to m?
True
Let t(o) = o**2 + 126*o + 3865. Let h be t(-54). Let b be (-1)/(-1 - (-66)/68). Let y = -57 + b. Is y greater than h?
False
Let u(f) = 4*f + 5. Let n be u(6). Let k be 6*(-70 + 15)/(-11). Is k less than or equal to n?
False
Let s = -0.12977 - -0.02977. Which is bigger: s or 696?
696
Let k = -6577 + 6570.298. Let y = 0.102 + k. Let s = -4.6 - y. Is 0.01 less than s?
True
Let b(j) = j**3 + 48*j**2 + 202*j - 1. Let f be b(-43). Do 5026/9 and f have different values?
True
Let l be -23 - -5 - 10577/(-588). Is -8/5 >= l?
False
Let k = 16.82 - 3.4. Let s = k + -13.4. Are -16 and s unequal?
True
Let n(p) = 36*p**3 + p - 1. Let o be n(1). Let g = o + -50. Let u be -3 + g/(-2) + -4. Is u greater than or equal to -5/13?
True
Let v = 2345 + -3964. Which is smaller: -2 or v?
v
Let q = 1.07 + 2.33. Let f = q + -3.3. Which is smaller: 3 or f?
f
Let g = 61.77 + -62.6. Let l = g - 50.17. Is 1 bigger than l?
True
Let y be (-200)/120*9/(-5). Suppose -369*z + 366*z = y. Let k be -2 - (2 - (-88)/(-30)). Which is greater: z or k?
z
Let t be (-1 + (-40)/(-204))/((-335)/(-2085)) + 5. Is t at least 0?
False
Suppose 0 = 22*a - 33*a + 935. Let x be -3 + 7/175*a. Which is greater: -3/149 or x?
x
Let t = 18.1 + -19. Let b = -0.787 + -0.023. Let r = b - -0.71. Which is smaller: r or t?
t
Let c(r) = 19*r**2 - r - 55. Let i be c(11). Are 2231 and i non-equal?
True
Let h be (17 + -16)*(-2)/(-2). Let f = -1161 - -1162. Is h greater than f?
False
Suppose 0 = 3*r + 12 - 24. Suppose r*b + 58 = 2*i - 10, -80 = 4*b + 4*i. Are b and -19 non-equal?
True
Let s = 0.0392 - -0.9608. Let p = -23 + 35. Let g be (-6)/p - (-21)/(-6). Is s greater than g?
True
Let c(v) = 2*v**2 - 123*v - 222. Let r be c(0). Are r and -225 unequal?
True
Suppose 198*d = -3*w + 196*d + 64, -2*d - 16 = -w. Is 436/21 > w?
True
Let g = 76 - 12. Let s be ((-16)/(-8) - -130)/2. Let r = s - g. Is -3/5 > r?
False
Let x(z) = -z**2 + 6*z + 16. Let q be x(5). Let y = 156 - 151. Which is bigger: q or y?
q
Let h be (6/(-3) - -5) + -4. Let j = 0.57 - -12.03. Let m = -12 + j. Is m bigger than h?
True
Suppose 4*w + 2464 = -3*w. Let g = w + 351. Let j be (1/(-7))/(1/4). Which is smaller: j or g?
g
Let s(h) = 6*h + 32. Let t be s(-27). Suppose -61*f + 59*f = 256. Do t and f have the same value?
False
Let a = 20760 - 22344. Is -1574 != a?
True
Let w = 591.3 - 591.3. Which is greater: -1/925 or w?
w
Let a(b) = -2*b**2 + 10*b - 479. Let u be a(-25). Is u bigger than -1981?
True
Let j(s) = -347*s**2 + 182*s + 9. Let l be j(4). Is -4815 != l?
False
Let k = 19.1 - 15.1. Is 34/7 > k?
True
Let c = 2671 - 2709. Suppose -4*q + 5 = -3. Let j(n) = -20*n + 2. Let z be j(q). Is z less than c?
False
Let z be 101835/(-675) - (2/15 + 0). Let j be 312/(-52) + z + -1. Which is smaller: -472/3 or j?
j
Suppose 0 = 2*p + 4*n - 8, -2*p - n = -2 - 3. Suppose 0 = -2*t + 3*w + 265, -p*w + 3*w - 3 = 0. Which is smaller: t or -2/7?
-2/7
Let j be (36/(-26))/3*-5. Let d = -205 - -221. Suppose 0 = 4*y - 5*p + 4*p - d, 4*y - 20 = 2*p. Is y <= j?
False
Let i(l) = -3*l - 17. Suppose -2*w - 2*w - 32 = 0. Let v be i(w). Suppose -v*b + 0*b = 7. Is -16/9 < b?
True
Suppose 0*u + 4 = -4*u. Let y be (0 - (-28)/(-7)) + (1 - -7). Suppose 0 = y*t + 5*a + 27, -4 = 2*t - 2*a + 32. Which is smaller: u or t?
t
Let n = -193.71 - -205.9. Let c = 18.18 - n. Let y = c - -1.01. Which is greater: y or -1/4?
y
Suppose 4*n + 2*k - 69922 = -0*k, 0 = 2*n - 3*k - 34965. Let x = n - 87711/5. Which is greater: x or -61?
-61
Let h = -210 - -30. Let a = h - -167. Let l = 3.9 - 4. Is a smaller than l?
True
Let v(j) = -5*j**2 - 104*j - 206. Let l be v(-17). Let u = 282 + -166. Which is smaller: l or u?
u
Let s be 54 + -52 + 36492/(-54). Are -674 and s non-equal?
True
Let k be 25/100 + (-4714)/88 + -1. Which is greater: k or -53?
-53
Suppose 2*k - s - 155 = 0, 2*k - 5*s - 243 = -k. Let v = k - 24. Let d = v + -61. Is -0.3 less than d?
False
Let v = 243 + -243.162. Let f = v + -0.238. Which is smaller: 1 or f?
f
Let n = 6794 + -74749/11. Which is greater: n or -1?
-1
Suppose 5*s + 0*s - 430 = 0. Suppose -s*v + 45 = -81*v. Which is smaller: 80/9 or v?
80/9
Let o = -24.812 - -0.212. Let u = o + 29. Let r = -4 + u. Which is greater: r or 2?
2
Let w = 54 + -47. Suppose 0 = -2*p + a - w, 4*p - 5*a + 29 = -0*a. Let z = p + -15. Is -13 >= z?
True
Let t = -381 - -381.0216. Let z = -26.0216 + t. Which is smaller: 4 or z?
z
Let m = -2467/37093 - -4/757. Which is smaller: m or 0.3?
m
Suppose 4*m = -4*o + 24, -o + 3*m + 24 = 2*o. Let d be (4 - 1)*(-4)/(-3). Suppose 1 = -i - y, -d*y + o*y = -6. Is i at least as big as 1/10?
True
Let x(w) = -10*w**3 - w**2 - 7*w + 7. Let q be x(1). Let n be 1311/(-3036) - (2 + 24/q). Is -1/13 less than n?
False
Let q(u) = 14*u**2 - 101*u - 12. Let r be q(7). Let l be 2 + (-5)/(-1) + -2. Suppose -2*x - l*a = 68, 4*x = -3*a + 7*a - 136. Which is bigger: r or x?
r
Let k = -8.3 + 8.2. Let l = -40.41 + -0.59. Let i = l + 49. Is i less than k?
False
Let l be 2/((7 - 37)/15). Is l at least 540/17?
False
Let n = -17.294 + 1023.294. Which is greater: n or -2?
n
Let w be (3*-1 - (-8 + 2)) + 0. Let v be (0/w)/(1 + -3). Is v at least 1/49?
False
Suppose 3*i + 22 = 52. Let h be (-2)/i - 29/5. Let g be -2 + ((-960)/68)/h. Is g at least -1?
True
Let c = -23.6 - -118.6. Let u = 112 + -110. Let d be (-1)/(u + 5 - 6). Is d less than or equal to c?
True
Suppose 0 = 4*l - 21*r + 23*r + 734, l + 2*r = -182. Which is smaller: 8 or l?
l
Let c(h) = h + 13. Let g be c(-13). Suppose 7*f - 13*f + 120 = g. Let a = -26 + f. Is a greater than 0?
False
Let a(j) = -5*j**2 + 79*j + 101. Let d be a(17). W