j?
True
Let n = -116/6601 - 8368345/3478727. Let a = n - -66/31. Let d = 786 + -786. Which is smaller: d or a?
a
Let x = 1.27 + 5.33. Let c = x - 3.6. Is 4/3 at least as big as c?
False
Let b = 59336/1679 - 3790961725/107241088. Let h = b + 1/499. Let a = -2.086 + 1.086. Are h and a nonequal?
True
Suppose 4*i = -s - 24, 2 = -i - 3. Let y be s/(-26) + ((-672)/91)/(-4). Let h = 55/39 - 1/13. Is y equal to h?
False
Let q be 372/2168 - (-5 - (-527)/102). Which is bigger: -1 or q?
q
Suppose -4*k - p - 2309 = 0, -3*p + 2299 = -4*k - 2*p. Is -572 >= k?
True
Let d = 2 - 1. Let m(l) = -l**3 + 28*l**2 + 7*l - 193. Let r be m(28). Let k be 2 + (r - d) - 12. Which is bigger: k or -5?
-5
Let x be (34 - 4)*(-2)/(-18)*9/30. Let l be 10/(-21) + -1 + 1. Is l < x?
True
Let f be (-12)/60 + (-6)/(-2). Suppose -6*n + n - 40 = 0. Let s be n/6*(2 - 5). Which is smaller: f or s?
f
Suppose 4 = -o + 31. Let g = -39 + o. Let c be (-14)/g - (-22)/(-132). Which is bigger: -2/19 or c?
c
Let x = -5352 + 48169/9. Let o = -4 + 6. Let p be 2 + (3/3 - o). Which is smaller: x or p?
x
Let c(y) = 78*y**2 + 14 - 3*y + 0*y + 10*y - 79*y**2. Let x be c(10). Let o be 22/12 + -2 + x/(-96). Which is greater: o or 2/123?
2/123
Let u = 47/159 + -873/3551. Which is greater: 1 or u?
1
Let y = 342 - 224. Let l = 122 - y. Suppose -6*b + l = -8*b. Are -20/9 and b equal?
False
Let i = 1/537 + 3155/35979. Let j = -33/1876 - i. Is j greater than 1?
False
Suppose 428*c - 439*c = 792. Let m be (-1)/((-452)/(-1824)) + c/(-18). Do m and 0 have different values?
True
Let g = -0.0215 + 0.0315. Let v = 522 + -524.13. Let l = 0.13 + v. Is g > l?
True
Let s(d) = -3*d**3 - 5*d**2 + 3*d + 4. Suppose -10*c + 20 = -0*c. Let m be s(c). Which is bigger: m or -35?
m
Let r be (2 - 90/63)/(30/(-3885)). Which is bigger: r or 116?
116
Let q be 12 + 93 + -5 + 23. Which is smaller: q or 136?
q
Let m = -23744 - -23744. Which is smaller: m or -14/633?
-14/633
Let a(w) = -2*w**3 + 3*w**2 + 2. Let d be a(3). Suppose 0 = -5*b - 15, 4*m = 3*m - 4*b - 9. Let x be m - 6 - d/7. Which is bigger: x or -0.04?
x
Let g = 66/7 + -3880/413. Let v = 0.42 - 31.42. Let l = 30.8 + v. Which is greater: l or g?
g
Suppose -3*o - 2*o = -2*u + 9, -5*o + 4*u - 3 = 0. Let j be 103/4*((-2364)/(-116) - o). Let f = j - 602. Is f less than -1?
False
Let o(n) = 8*n**2 - n. Let f be o(2). Suppose f = p + 4*p. Which is greater: p or 9?
9
Let z = 2013 - 2014. Are -2/12121 and z unequal?
True
Let q be -5 - (5 - 5269)/(-8). Let h = q + 664. Which is smaller: 3/7 or h?
3/7
Suppose 21*y = 28*y + 3*x - 34, -y = -4*x - 27. Let f = -3 + 7. Suppose -6*t + 3*t = -f*n - 31, -11 = -3*t - n. Which is smaller: y or t?
t
Let m = -55610 - -55585.243. Let c = 0.043 - m. Which is bigger: 1 or c?
c
Let a be (16 + -17)/(-2*(-1)/14). Let z be (-33)/7 + 5 + 2/a. Suppose y + 13 = -z*y. Which is smaller: -14 or y?
-14
Let y = 257 - 66. Let c = y - 235. Is -44 at least as big as c?
True
Let s = -4.9186 + 0.0386. Let q = s - -6.78. Which is smaller: q or 1?
1
Let c = 11647 - 11970. Which is smaller: c or -2271/7?
-2271/7
Let j be 4598/5 - (-82)/205. Let l = j - 10084/11. Which is smaller: 4 or l?
l
Suppose -85 = -4*j + 3. Let x = j - -11. Let l be 6/x + (-15)/22. Is -38 greater than l?
False
Let n = 957.2 + -662.3. Which is bigger: 1 or n?
n
Let n(q) = -q**3 - 12*q**2 - 7*q + 5. Let z be n(-11). Let w be z/(-63) + (-7)/21. Is -0.97 less than or equal to w?
True
Suppose -77 = -3*t + 61. Let k = -42885 - -42931. Are k and t equal?
True
Let x be 147/(-14)*64/12. Let q be (474/9 - -2)*(-12)/x. Is 12 greater than q?
True
Suppose 144*t = 64*t + 61*t + 4161. Do t and 219 have the same value?
True
Let f = 63.984 - 64. Let b = 0.084 - f. Let n = b - 0.086. Which is smaller: n or -1?
-1
Suppose 5*y - z + 15271 = 0, 29*y - 32*y = 5*z + 9157. Which is smaller: y or -3053?
y
Let r = -1.1006 - -0.0106. Let c = -17.4 - -16.61. Let g = r - c. Is g at least as big as -16?
True
Let j = -1/54723 + 3174617/37375809. Are j and -1 non-equal?
True
Let o = 213533/10544831 - 50/4223. Which is bigger: -1 or o?
o
Let p = -19499 - -331648/17. Is 9 < p?
True
Let l be (-14)/308*-22 - (-185)/(-182). Let w(s) = -s + 5. Let o be w(4). Which is smaller: l or o?
l
Let s(z) = z**3 - 31*z**2 + 52*z - 39. Let t(d) = -10*d**2 - d**2 + 12*d**2. Let m(j) = s(j) + 2*t(j). Let w be m(27). Which is smaller: -94 or w?
-94
Let s = -1370.71 - 35.29. Which is greater: s or 3?
3
Let o(c) = -436*c**2 + 7*c + 1. Let f be o(-2). Let p be f*(45/(-429) - 4/(-22)). Let x = 135 + p. Is -1 > x?
False
Suppose -33*b + 54*b - 5508 = 27*b. Which is greater: -2753/3 or b?
-2753/3
Let h(c) = 6*c**2 - 2*c. Let r be h(-3). Suppose 5*m - r = -2*q, 0*m + 3*m - 90 = -3*q. Suppose 131 = 7*y - q. Which is greater: 24 or y?
24
Let i(k) = -4*k**2 - 70*k + 189. Let p be i(3). Is p bigger than -980/17?
True
Let m(o) = -o + 3. Let r be m(-1). Let p be (-14 - -2)/r + -10 + -1. Let s be ((-3)/(-15))/(p/105). Which is bigger: 3/7 or s?
3/7
Suppose 334 = -2*w - 66. Let s be (50/w)/(66/16). Is -1 > s?
False
Let x be 1032/(-14) + (-4)/14. Suppose 5*y - 31 = 384. Let t = x + y. Does 9 = t?
True
Let v = -21 + 21. Let w(y) = -y**3 + 2*y + 4. Let j be w(v). Let s be 34/42*-2*-3. Are s and j nonequal?
True
Let a be (-24)/(-444798)*(-6 - (-63)/14). Is 0 at least as big as a?
True
Let p be (-4 - -2)*(-8 + (-124)/(-16))*-2. Which is bigger: p or 2/1575?
2/1575
Let p(y) = y**3 + 4*y**2 - 10*y + 14. Let r be ((-120)/(-10))/(2/(-1)). Let k be p(r). Suppose t + 1 - k = 0. Which is smaller: 6/5 or t?
t
Let j(f) = f - 2. Let u(p) = -30*p - 103. Let w(h) = 5*j(h) - u(h). Let o be w(-6). Is -467/4 bigger than o?
True
Let i be 19/(-3) - (-2)/(-6)*-4. Let w be (-5 - i/1)/3. Which is smaller: 46 or w?
w
Let t = -3.4 + 11.9. Let w = t - 3.5. Let c = -207 + 207.1. Which is bigger: w or c?
w
Suppose 4*u - 208 = -3*r, r + 143 = -u + 4*u. Let x be 78*((-36)/(-8) + -4). Let v = u - x. Which is bigger: 9 or v?
v
Let r(n) = -n**2 + 42*n + 52. Let d be r(43). Which is greater: -5 or d?
d
Let c(z) = -2*z**2 - 11*z + 2. Let a be c(0). Suppose -3*r + 3*n - 44 = -8, a*n - 8 = r. Is r bigger than -16?
False
Let s be (3/60)/((-3)/(-5)). Let f(q) = q**3 + 9*q**2 + 6*q - 10. Let y be f(-8). Suppose -11*d + y*d = 0. Which is smaller: s or d?
d
Let r(x) = -2*x**3 - 9*x**2 + 7*x - 7. Let j be r(-8). Let b be (-4)/(-10) - (-3 + 1419/j). Which is smaller: 59 or b?
b
Let u = -532 - -532. Suppose v - 35 = -2*k, u = v + 11 - 6. Is 19 not equal to k?
True
Suppose -5*s - 23 = -4*c, -2*s = -c - 2 + 7. Suppose 22*m + 33*m - 289 = 41. Which is smaller: m or c?
m
Suppose -2*t = -7*t - 80. Let l be -4 + t/(-22) + 6/2. Which is smaller: l or 3/8?
l
Let q be -1 - -3 - (0 - 102/8). Let j = 673/44 - q. Let y be 0/(-3 - 0/(-1)). Are y and j non-equal?
True
Suppose -201 = 2*b - 239. Suppose 5*k - b*g = -23*g - 74, -9 = k - 5*g. Which is smaller: k or -19?
-19
Suppose 4*s + 4*b = 5200, -6482 = -5*s - 4*b + 2*b. Which is smaller: 1295 or s?
s
Let y be (-4)/(-30) + (192/(-45))/2. Let v be (y - 1)*1*(-1)/(-6). Is -5.4 < v?
True
Suppose -6*y - 6*y = -36. Suppose -y*w + 2*a = -4*w - 11, -a + 35 = -4*w. Which is smaller: -11 or w?
-11
Let x = 131 - 89. Let v = -37 + x. Which is greater: 12 or v?
12
Let a = -30 + -66. Let l be 12 + (128/(-21) - 6) - (-18315)/(-189). Is a equal to l?
False
Suppose w = 3*w + a + 23, -4*w - a - 41 = 0. Let h(r) = r**3 - r**2 - 183*r + 11. Let m be h(14). Let l be 2 + (-15 - 0) + w/m. Which is bigger: -60/7 or l?
-60/7
Suppose -3*q - 5 - 45 = -p, 5*p = -4*q + 345. Let o be (p/10 + -7)/(2/8). Is o less than 0.113?
True
Let y be (-191)/9 - -5*(-18)/(-405). Let s be (-7)/y*(-2)/(-15)*10. Is -14 smaller than s?
True
Let m = -84847/3 + 28702. Is m > 419?
True
Let j(z) = -16*z + 44. Let s be j(-13). Suppose y + 3*l + s = 5*l, -2*y = 4*l + 520. Which is smaller: -255 or y?
y
Let z be ((-165)/(-30))/(7/(-336)). Does z = -1854/7?
False
Let j(w) = 21*w + 8. Let y be j(6). Let c be 136/y + 0 - 1. Suppose 4 = 4*l - 8*l. Are l and c equal?
False
Let u = 6906 - 6907. Is -4/4471 smaller than u?
False
Let g be 8/6 + (-95)/(-3). Suppose -g = o - 34. Which is smaller: o or -1/142?
-1/142
Let o be ((-20)/(-40))/((-15)/(-18)). Which is bigger: o or -1197?
o
Let o = -1430 - 18670. Is o at most -20100?
True