9. Is f at most 603?
True
Let a = -186 - -279. Let p = a - 92.63. Let y = -10.37 + p. Which is smaller: y or 0.1?
y
Suppose 281 = 8*o - 30*o - 137. Let g = 16 + -7. Let p = o + g. Is -4 >= p?
True
Let z = 22/171 - -61/855. Which is bigger: -1/103 or z?
z
Let j = -159 + 159. Let a be 105/(-525)*((-99)/94 + 1). Is j != a?
True
Let s be 7/(-42) - (-31)/6. Suppose 3*f + 0*g - s*g - 8 = 0, 0 = -g + 5. Suppose 140 = f*c - 388. Is 48 smaller than c?
False
Let c be 44/14*(18 - 4). Suppose 0 = -c*l + 616 - 132. Which is smaller: l or 0?
0
Let o(k) = -k**3 - 24*k**2 - k - 44. Let b be o(-24). Let n be 12/9*(-150)/b. Which is smaller: n or 8?
8
Let t = 5850 + -5969. Which is greater: 6 or t?
6
Let v be (-299)/(-598)*((-746)/84 - -2). Which is smaller: -4 or v?
-4
Let t be ((-8)/(-48))/((-387425)/450). Which is bigger: t or -0.1?
t
Suppose 3*p = x - 1557, 2*x + 0*p - 4*p - 3116 = 0. Suppose 3*n = -0*n + 12. Let k be (n/10)/(182/x). Which is smaller: k or 4?
k
Let s be 260/200 + (-12)/40 + 0. Is s at least -5/248?
True
Let b(h) = 4*h**2 - 526*h - 340. Let v be b(58). Is v less than or equal to -17393?
False
Let h = 0.0127 + 0.0177. Let t = h - 0.0345. Is 2/3 smaller than t?
False
Let f = -242 + 242. Which is greater: 5/3476 or f?
5/3476
Let s = -11.9 - -12. Let r = -2805 + 2804.988. Which is smaller: r or s?
r
Let x = 235.24259 - -0.05741. Let a = x + -240. Which is smaller: a or -0.1?
a
Let j be 25/(-10)*(-8)/10. Let r(s) = 2 - 39*s**2 + s**3 + 35*s**j - 12*s - 4. Let a be r(6). Which is greater: -5 or a?
a
Suppose 0 = 4*k - 3*k + 5*m + 1, 5*m = -10. Suppose k*z - 16*z = 0. Suppose -3*t + z = -0. Do 20 and t have the same value?
False
Let g be (1 - 3) + 5/5*-57. Suppose 2*c = 3*x - 129, 6*x - 4*x = c + 67. Which is smaller: c or g?
g
Let x(n) = 91 - 70 + 4*n - 67. Let c be x(22). Is c smaller than 43?
True
Let f be ((-2)/64*-2)/(1342/44). Is -2 less than or equal to f?
True
Let t = 108 + -66. Let f be 89/(-7) - 12/t. Suppose 5*m + 39 + 5 = -2*d, 0 = d + 5*m + 32. Is f > d?
False
Let x = 8178.13 + -8179. Let j = -0.19 + 0.09. Which is smaller: j or x?
x
Let p be ((-2)/3)/(-48 + 192 + -50). Let y = -2.1 - -0.1. Do p and y have different values?
True
Let c be (5 - (-4 + 0)) + -4 + (-2038)/8. Which is smaller: -249 or c?
c
Let z be (-8)/(-14) - 5382/182. Let t = 19/2 + z. Is t at least as big as -20?
True
Suppose 1578 = 37*f - 31*f. Let n = f - 1311/5. Which is smaller: -0.01 or n?
-0.01
Suppose 0 = -2*z - z + 3, 2*z = o + 2. Let t = 1114 + -7804/7. Which is bigger: o or t?
o
Let k = -330 - -69. Let g = k - -166. Let c = 96 + g. Is c <= -0.29?
False
Let y be 87/(-29) + (-3)/(9/(-57)). Let l(s) = 8 + 2 + s**3 - 5*s**2 - 10*s**2 + s**2 - 36*s. Let d be l(y). Is -55 at least d?
False
Suppose 4*y + 122 = 486. Suppose 95*x = y*x - 8. Let p be (-60)/(-35) - x/7. Is p >= -7?
True
Let m = -8584 + 8956. Do 3 and m have the same value?
False
Let h = -40128 - -200638/5. Which is smaller: 2938 or h?
h
Let i be 9/(-6)*(-1 - 247)/4. Let j = 278 - 187. Is i at least as big as j?
True
Let s = -2870 + 7099. Is 4230 greater than or equal to s?
True
Suppose 3*c = -4*f + 515, -5*c + f = -441 - 379. Suppose -c = g - 9. Is g <= -159?
False
Suppose -3*x + 3*d - 9 = 0, -2*d + 3*d - 1 = -x. Do -1/5991 and x have different values?
True
Let m be (-576)/4 - 2 - 25/(400/128). Let f = 1 - 2. Is f <= m?
False
Suppose -5*q + 3*a + 10 = -2*a, -5*a = 5*q - 10. Let p = 133 + -88. Let o be 16/6 - 30/p. Is o > q?
False
Let d = -11.9 + 13.12. Let t = 1.2 - d. Does t = -0.9?
False
Let u(r) = 83*r**3 + r**2 + 3*r - 5. Let y be u(3). Let t = 259207/115 - y. Is 0 bigger than t?
True
Let o = -20003.89 + 20142. Let u = o + -139. Let a = 86.89 + u. Is a > 2/5?
True
Suppose j = -5*a - 5, 4 = -4*j - 5*a + a. Suppose 0*y + 2*y = s + 63, j = -5*y + 5. Is -65 <= s?
True
Let a = -8.7503 + -0.2497. Is -118 at most a?
True
Let y(l) = -l**3 - 32*l**2 + 54*l + 422. Let p be y(-32). Which is smaller: 0 or p?
p
Let q = -4161 - -4160. Which is greater: q or -4/1861?
-4/1861
Let o be 652/96 - (23 - 16). Let l be (2/9)/(80/255). Let w = l + o. Is 0.4 greater than w?
False
Let y(q) = q**3 + 32*q**2 - 59*q - 2818. Let i be y(-31). Is i at least -186?
True
Let v = 1.75 - -7.25. Suppose 2*w = 5*r - 39 + 8, -15 = -3*r. Is v bigger than w?
True
Suppose 4*a = u + 33, 2*u + 2*a + 42 = 6. Let k be (-15)/(((-189)/30)/u). Let p(t) = -16*t - 2. Let x be p(3). Is x not equal to k?
False
Suppose -3*g + 85 = -2*x, 133 = 5*g + 5*x + 33. Let s = -53 + g. Suppose 77*n - 72*n - 18 = 4*k + 73, -5*k + 3*n - 130 = 0. Are k and s non-equal?
True
Suppose i + 147 = -83. Let s = i - -270. Which is bigger: s or 41?
41
Suppose -18*f = 69*f - 522. Which is smaller: f or 164?
f
Let b = 412 + -411. Let y be (-6)/(-2)*((-80)/(-204))/(-5). Which is bigger: y or b?
b
Let v(w) = 8*w**2 - 7*w - 13. Let t be v(-2). Let b(l) = 3*l**3 + l**2 + 3*l - 2. Let s be b(2). Let a = t - s. Which is greater: a or -1?
a
Let p = 1.501 + -1.46. Let z = -593 - -592.759. Let i = p + z. Are i and -6/5 nonequal?
True
Let c(q) = q**3 + 7*q**2 + 5*q - 2. Let h be c(-5). Let b be -3 - (4/(-2) - h). Suppose -2*u + 38 = -r, -2*u + 2*r + b = -3*r. Which is bigger: u or 22?
22
Let y = -527 - -525.785. Let a = -0.215 - y. Which is smaller: a or 0.66?
0.66
Suppose 310*k + 4393 = 287*k. Is k at most -179?
True
Let c = 0.034 + 2.666. Let q = c - 2.7. Which is bigger: q or 0.88?
0.88
Let i(m) = -41*m + 60 - 29*m + 79*m. Let t be i(-8). Suppose 5*f - 85 = 4*c, 0 = -c + 2*c - 4*f + 35. Which is greater: c or t?
t
Let l = 0.013 + -133.013. Let f = l + -1. Is f at least as big as 2/3?
False
Let g be (-10)/12 - (-4753)/(-98)*(-7)/(-3). Which is smaller: -51 or g?
g
Let o(n) = -5*n**2 - 23*n - 192. Let m be o(-7). Let r = -263 - m. Let f = -3 + 5. Which is greater: f or r?
r
Let a = -1.6 + -1.6. Let s = a - -9.85. Let x = -0.05 + s. Is x at most as big as 1?
False
Let t = 285449/1071 + -1866/7. Are -1 and t unequal?
True
Let j(i) = -7*i + 66. Let p be j(4). Let o = -278 + 275. Is o not equal to p?
True
Suppose -41 = -10*l + 19. Let k be 5*8/(-120)*l/1. Is 1 at most as big as k?
False
Suppose -51*s - 66 = -53*s - 4*d, -4*s = -4*d - 204. Which is smaller: s or 371/8?
s
Let d = -54 + -96. Let q = d - -91. Let v = q - -58. Do v and 16/7 have the same value?
False
Let i = 1313 + -1312. Is -82/7 not equal to i?
True
Let u(w) = -w + 2. Let p be u(-5). Let j be 6/3 - p - -3. Let s be 3 - ((-852)/(-255) - j/(-5)). Is s greater than -1?
True
Let n = 5 + 40. Let g = -45 + n. Let s = -1.3 - 9.7. Is s smaller than g?
True
Let m = -1.383 - -1.211. Which is smaller: 5/7 or m?
m
Let s be (5 - (8 + -2))/(-1). Suppose d = -3*i - 12, -15 = -4*d + 4*i + s. Does 4/69 = d?
False
Let u = -190 + 190.04. Let b = -1934/5 + 387. Which is bigger: b or u?
b
Suppose -4*t - 62 = 10*k, -91*k + 94*k = -5*t - 11. Which is bigger: t or 7064?
7064
Let a be -167*(0 + 1)*(0 + -1). Let y = 158 - a. Suppose -28 = w - 7*m + 2*m, -5*w - m = 10. Which is greater: w or y?
w
Let x = 57 + -178. Let z = -252 - x. Is -130 smaller than z?
False
Suppose 28*o + 6*o + 4720 + 2012 = 0. Which is greater: o or -996/5?
o
Suppose 14 - 12 = -26*n + 28. Which is smaller: n or -2/3357?
-2/3357
Let o(n) = -58*n**2 + 6*n + 15. Let b be o(-2). Are b and -921/4 unequal?
True
Let r(s) = s**2 + 166*s - 2595. Let v be r(17). Which is bigger: v or 3602/7?
v
Suppose 14*l - 122 + 38 = 0. Let m be (2/l)/(-9 + (-392)/(-42)). Which is smaller: 3/325 or m?
3/325
Suppose 56 = s + 4*b, 3*b = -3*s - b + 200. Let d = s - 67. Let o be 1*((1 - d) + 5). Which is greater: o or -2/53?
o
Let y = 186 + -173. Suppose 0 = -y*n + 36*n - 46. Are n and 48/49 non-equal?
True
Let l(k) = 50*k + 2. Let n be l(1). Suppose 197 - 175 = -11*b. Do b and n have different values?
True
Suppose 0 = 5*x - 3*o + 25, -2*x + 0 + 11 = 3*o. Let w be -1 + (-12)/(6 + x). Which is greater: 2 or w?
2
Let m = 6.4 + -6.385. Let k = -24 - -23.915. Let p = k - m. Is 2/107 bigger than p?
True
Let v be 67030/4620 - (-2)/11. Let q = 103/7 - v. Let l be 0 + (-1)/(-4 + 3). Which is smaller: l or q?
q
Let j be (-432)/60*(-15)/9. Let c be 6/8 + -1 - 213/j. Which is greater: -16 or c?
-16
Suppose 7*a + 180 = -3*a. Let n be a/(-2)*(-4 + 3). Let k(l) = 3*l - 49. Let j be k(13). Is j at most as big as n?
True
