)). Which is smaller: -11/3 or q?
q
Let k be -9 - 30/(-6) - -4. Which is greater: 1/105 or k?
1/105
Let j = -39.5 - -26.2. Let r = j - -13.4. Which is greater: r or 47?
47
Let b be ((-3)/9)/(2/(-18)). Let w(f) = -f**2 - f - 1. Let y(s) = s**3 + 3*s + 5. Let v(m) = b*w(m) + y(m). Let r be v(3). Which is smaller: r or -0.1?
-0.1
Let j be (-14)/(-49) + (-956)/14. Let s = -121 - j. Is -53 >= s?
True
Let y be 5/(-6) - 13/(10 - -68). Let i = 0.22 - -13.78. Let b = i - 14.7. Is y at most b?
True
Let z = 14756/56741 + 2/2467. Suppose 0 = -9*i + 17 - 26. Which is smaller: z or i?
i
Let u = -5289 - -322637/61. Which is bigger: -1 or u?
u
Let u = 5 - 41. Let k = 29 + u. Which is bigger: -4 or k?
-4
Let z be (-1)/3*726/(-605). Which is smaller: z or 0.086?
0.086
Let j = 24251/17 - 1435. Which is greater: j or -7?
-7
Let r = 0.0171 - 0.1171. Is -0.0074 less than r?
False
Let v = -145 - -147. Suppose -2*f - q + 2 = -8, 5*f + 5*q - 35 = 0. Which is smaller: f or v?
v
Let p = 697 - 697. Is 5/4 at least as big as p?
True
Let u = -64 - -56. Let v be (-1 - 18/(-20))/(2/u). Which is smaller: v or -21?
-21
Let n = 126.1 + -126. Do n and 51 have the same value?
False
Let c be (-2)/(-4) - (-13122)/(-5580). Let b = -389349/2015 + c. Let x = -195 - b. Which is smaller: x or -1?
-1
Let j(i) = 2*i**3 + i**2 - 16. Let m be j(0). Does m = -16?
True
Suppose -3*c - 2 = -c, -38 = j - 3*c. Which is greater: -39 or j?
-39
Let m be ((-561)/(-34))/(-11)*(-28)/(-3). Are -8 and m unequal?
True
Suppose 0 = -n - n - 10. Let t = n - -3. Let l = -829/5 - -165. Which is smaller: t or l?
t
Let k = 4.068 - 4. Let q = k + -0.168. Which is smaller: q or -6?
-6
Let n be ((-1)/(-1))/(-9 + 8). Let c be (n/2)/((-11)/(-154)). Let t = 6 + c. Is -2/7 smaller than t?
False
Let r = -204 - -249. Is 45 >= r?
True
Let s be 5/3 - (6 - (-38)/(-6)). Let f be -3*s*(-1)/21. Is f > -7?
True
Let f(r) = -r**3 - 2*r**2 - r. Let w be f(-1). Suppose d = 2 - w. Suppose -d = -n - 0*g + g, 3*g + 6 = -5*n. Is 2/15 < n?
False
Let o be (-8)/(-20)*5/30*5. Is o <= 0.339?
True
Let h be 6*-1 - 133/(-19). Which is smaller: h or 9/49?
9/49
Let l = 173 - 825. Which is greater: l or -653?
l
Suppose 0 = -4*o + k + 13, -k + 11 = 2*o - 0*k. Suppose -4*u - 97 = 4*d - 5, 5*d + o*u = -113. Let s be 144/(-357) + (-6)/d. Do s and 0 have different values?
True
Let d be ((-23)/6)/((-247)/171) - 55/22. Let f = 1 + -3. Is d less than or equal to f?
False
Let u = 109 + -116. Let x(f) = f**2 + 2*f - 1. Let l be x(1). Let k be u - l - (-7 + 5). Is -6 >= k?
True
Let i(k) = 2*k - 15. Let g(z) = -z + 7. Let h(f) = -7*g(f) - 3*i(f). Let p be h(4). Let s be 2*(-1)/(-2)*p. Is -1/5 at most s?
True
Suppose -30 = -14*x + 4*x. Suppose -2*w - 2*y = 4, 0*w + x*w - 4*y - 8 = 0. Let c be (-9)/2*8/78. Which is bigger: w or c?
w
Let k(q) = -2*q. Let i be k(-2). Suppose b - i*v = 69 + 150, 3*b + v - 696 = 0. Let c = 1151/5 - b. Which is smaller: c or -2?
-2
Let d(u) = u**3 + 5*u**2 - 7*u - 3. Suppose -4*m - 36 = -3*y, -3*m + m = -5*y + 32. Let t be d(m). Let o be -4 + 12/16 + t. Which is bigger: o or -4/5?
o
Let b = -0.8 - -1.1. Is -14 greater than b?
False
Let u(m) = -m**2 + 5*m + 10. Let a be u(7). Suppose -5 = 5*z + 5, y - 8 = 4*z. Is y greater than a?
True
Let u be 8/(-16) + (-11)/18 + 1. Let c = -11/18 - u. Is c < -2/11?
True
Suppose y = -9*y - 220. Suppose 5*r = -s - 42, -28 = 2*s - 2*r - 2*r. Is s bigger than y?
False
Let s be 7*(-6)/((-36)/462). Is 540 < s?
False
Suppose -40 = 13*s + 7*s. Which is smaller: s or -5/6?
s
Let i = -26 - -27. Let k be 2 + 738/(-345) - 8/(-20). Is i less than k?
False
Suppose -24*l - 63 = 201. Is -11 at least l?
True
Let c be -2 - 1128/(0 + 6). Which is smaller: c or 2/3?
c
Let s(o) = -3*o**3 - o**2. Let x be s(2). Suppose 381*u - 389*u = 200. Let a = x - u. Is -3 > a?
False
Suppose 5*i + 2 = 3*k, -3*i - k = -4*k. Is i smaller than -67/11?
False
Let k(x) = x**2 - 2*x + 1. Let v be k(-2). Suppose 4*o - v*o = 0. Suppose -4*l + 2*p = -26, o = -2*l - 2*p + 7 + 21. Are l and 8 equal?
False
Let j = -102 + 369. Let l = j - 166. Which is bigger: 102 or l?
102
Let f be 6/24*-9*64/(-6). Suppose 4*a = 2*b - f, 17 = -5*a - b - 13. Which is bigger: -8 or a?
a
Let j be (-5 - (-2062)/12) + 1/6. Are 167 and j unequal?
False
Let u(m) = m**2 + 4*m - 3. Let c be u(-6). Let l = -1001 - -3028/3. Does l = c?
False
Suppose -5*w = 2*v + 1127, 1 = -2*v + v. Let g = -3599/16 - w. Suppose 0 = 2*r + 3*r. Does r = g?
False
Let d = 3496548206/693 - 5045525. Let i = d - -1/231. Which is smaller: i or -1?
-1
Let q = 0.171 - 123.171. Is -0.5 greater than or equal to q?
True
Suppose -78 = -4*z - m, m + 13 = z - 2*m. Is z equal to 20?
False
Suppose 5 = -11*j + 16. Which is smaller: 3/28 or j?
3/28
Let x(b) = -b - 12. Let k(v) = 4*v + 36. Let c(g) = 3*k(g) + 8*x(g). Let h be c(-9). Let d be (35 + 1)*h/36. Which is smaller: -25 or d?
-25
Let w be 140/(-6)*(13/(-78))/(-1). Is -4 < w?
True
Let d = 4079/11 + -371. Is d != -238?
True
Let i be -7 + (-87)/(-12) - (-5)/(-4). Is 6/13 greater than i?
True
Let q = -2 - -2.2. Let c = 0.1961 + -0.0961. Does c = q?
False
Let n = 0.15 + 2.1. Let k = n + -0.25. Let y = k - 0. Which is smaller: y or 11?
y
Suppose -3 = -10*i + 9*i. Suppose 6 = -i*r - 15. Are r and -10 non-equal?
True
Let k = 386 + -293. Is 94 at most k?
False
Let y(x) = 3*x**2 - 7*x + 4. Let c be y(4). Suppose -c + 8 = -m. Is 15 less than m?
True
Suppose -118*h = -120*h - 2. Is h less than -3/64?
True
Let v be ((-30)/(-35))/((-2)/14). Let z(b) be the first derivative of b**4/4 + 2*b**3 + b**2/2 + 7*b + 2. Let f be z(v). Do -1/3 and f have different values?
True
Suppose -3*v - 9 = 9. Let q(o) be the third derivative of -o**5/60 - o**4/4 + o**3/2 + 56*o**2 + 2*o. Let n be q(v). Which is smaller: n or 1?
1
Let y(k) = 4*k**2 + k. Let b be y(2). Suppose -t = t - b. Let o = t - 8. Is o less than 2?
True
Let x = -308 - -301. Are x and -9 nonequal?
True
Let r be -2 + -1 + 68/16*5. Are r and 17 unequal?
True
Suppose -61 = -74*w + 235. Let g = 2 - 2. Which is smaller: g or w?
g
Let q = 2569 + -3979. Let s be 1 - -534*(-185)/(-70). Let t = s + q. Is t > 2?
True
Let c = -5/204 - -593/612. Is 0 not equal to c?
True
Let a(z) = -17*z + 5. Let k(o) = 2*o + 1 + 2 - 6*o - 7*o. Let p(t) = -5*a(t) + 8*k(t). Let i be p(-2). Which is greater: i or 4?
i
Suppose 2*p + 0*p - 4 = 0, -3*t + 5*p + 2 = 0. Suppose -3*u - n + 16 = u, 4*n - 16 = -t*u. Suppose -3*m - 4*l + 2 = -1, -u = -4*m - 4*l. Is -1 greater than m?
False
Suppose 5*c + 4*c - 135 = 0. Let r = 2.02 + -0.02. Does r = c?
False
Let p(b) = 2*b + 29. Let s be p(-3). Which is bigger: 24 or s?
24
Suppose 3*y + 736 = -r, -4*r - 4*y - 1150 = 1834. Is -750 smaller than r?
False
Let o(t) = -2*t**3 - t**2 + t - 3. Let n be o(-3). Let q = n - 34. Which is smaller: q or 3?
3
Let r = -6/37 - -116/259. Which is bigger: -14.1 or r?
r
Let t be (9/(-54))/(-2 + 5/3). Is t at least as big as -45?
True
Let d = 22233 + -18164363/817. Is -1 bigger than d?
False
Let i(y) = 2*y**2 - 22*y - 24. Let x be i(12). Which is smaller: x or -3/161?
-3/161
Let m = -508 - -507. Which is smaller: -16/7 or m?
-16/7
Suppose -5*v - f + 14 = 0, 0 = -v + 4*f - 2 - 12. Suppose -2*n = 3*d - 3, -v*d = -n - 3*n + 14. Is d < 2?
True
Let g be (3/(-12))/(13/(-64)). Is g >= 0?
True
Let t be (-2)/9 + 303/27. Suppose 5 = -y - 2*r, -4*y + 6*y + 5*r = -t. Which is greater: -14/9 or y?
-14/9
Let t = 357.9 + -341. Let j = 17 - t. Is j smaller than 1?
True
Let f be 1*23 + (-7 - -11). Let j = -29 + f. Which is bigger: -3/5 or j?
-3/5
Let j = 568 - 564. Is -1.1 > j?
False
Suppose -5*y = -21 - 9. Suppose -5 = 4*g - i, 4*i + 9 + 11 = -4*g. Is y less than g?
False
Let h be 0/(-2) + 42456/312. Let a = h + -136. Which is greater: 0 or a?
a
Let w be -2 + 6 + -3 - (-1362)/(-28). Let p = w - -95/2. Are -1 and p nonequal?
True
Suppose 2*f - 160 = -5*v, 4*f = -5*v + 3*v + 320. Let c be (-8)/f + (-2)/5. Is c less than or equal to -1?
False
Suppose w + 3*w = 0. Suppose -56*k - 71 = 2228 + 2013. Which is smaller: w or k?
k
Let i be -6*4/8 + 3. Let a be 116 + 9 + 1 + i. Let j be 12/54 - (-26)/a. Which is smaller: 0 or j?
0
Suppose 4 = -4*d, x + 6*d - 236 = 5*d. Suppose 235*a = x*a - 4. Which is smaller: a or 1/2?
1/2
Let m be ((224/(-35))/8)/((-38)/120). Which is greater: 2 or m?
m
Let q be