0, -4*j + 1 = f. Which is bigger: f or 1/67?
f
Let w be ((-8)/(-12) - 488/(-6))*-3. Let t = w + 724/3. Suppose -d - 3 - 2 = 0. Which is smaller: d or t?
d
Suppose 22 = 4*r - 66. Let i = 21 - r. Which is greater: 2/23 or i?
2/23
Suppose 0 = 5*b - 7*b + 10. Suppose 3 + b = -k. Which is smaller: k or -3?
k
Let q be ((-472)/(-88) - 6)/(-8). Which is smaller: -1 or q?
-1
Let z be ((-12)/147)/(28/98). Are 568 and z nonequal?
True
Let h = -770 - -771. Which is bigger: h or -1/435?
h
Suppose 0 = 2*u + 5 + 5. Suppose x + 7 = -4*o, 4 = -3*o - 9*x + 8*x. Which is smaller: u or o?
u
Let o be ((-32064)/44)/(-4) - 8/44. Let l = -7463/41 + o. Which is smaller: l or 0?
l
Let j be (-109894456410)/113358067848 + (2 - 1). Let p = j + -1/2337087. Let d = p + 3/188. Do 0 and d have the same value?
False
Suppose l - 5*g = 4, 0 = 3*l + 4*g - 4 - 27. Let s = 6/16967 - -47880856/50901. Let o = 950 - s. Are l and o non-equal?
True
Let t(p) = -36*p + 753. Let w be t(21). Is -19 greater than or equal to w?
False
Let j be (9 + (-2 - 10))*1/(-73). Are j and 1 unequal?
True
Let c = -525.9 + 526. Is c >= 15?
False
Let c(n) = -n**3 + 6*n**2 + 11*n - 29. Let u be c(7). Which is smaller: 2/247 or u?
u
Suppose 0*z = -5*z + 10. Let t be (-62)/(-16) - 18/(-144). Suppose -3*j - 5*u = z*j, t*j + 1 = -3*u. Is j at least as big as -2/35?
False
Let c be 2/(76776/12804 - 6). Which is smaller: c or -535?
-535
Let n = -1 - -6. Suppose 0 = 5*x - x - l + 8, -21 = n*x - 4*l. Let y = 1/384 + -2311/2688. Which is smaller: y or x?
x
Let g be 3*(-4)/3 - 1. Let l(k) = -k**2 - 4*k + 4. Let t be l(g). Let h = 165/56 - 18/7. Is t at most as big as h?
True
Let y = 23 - 16. Let v(c) = -c**3 + 5*c**2 + 4*c - 14. Let a be v(y). Let x = -250/3 - a. Is 2/21 at most x?
True
Suppose 0 = 2*t - 0*r - 4*r + 6, 33 = -5*t + 4*r. Let b(y) = 12*y - 1. Let f(c) = 59*c - 5. Let z(a) = 5*b(a) - f(a). Let l be z(t). Is l > -10?
True
Let i = -277.9 + 279. Are -0.01 and i unequal?
True
Let c = 215 + -217. Let z = 0.3 + 0.7. Let x = z + c. Is 2 at most as big as x?
False
Let q = 0.49 + -0.502. Let a = -0.988 + q. Which is smaller: -0.36 or a?
a
Suppose 0 = -5*c + 6*t - t - 65, -35 = 5*c + t. Let j be c*(-3)/9*9/(-20). Suppose 2*i - 8 = 6*i. Which is smaller: j or i?
i
Let s = -49 + 33. Let v be ((-10)/(-50))/(14/35). Which is greater: v or s?
v
Let w = -1733 + 2088. Which is bigger: w or 354?
w
Suppose 0 = -4*a - 4*k + 96, -2*a + 6*a + 3*k - 100 = 0. Suppose a = 4*i - 3*r, -5 = 2*i + 4*r + 3. Suppose 0*c = i*c - 4. Is c at least as big as 1?
True
Let u = -2/413 + 1259/4130. Let a(g) = 133*g + 399. Let i be a(-3). Is u less than or equal to i?
False
Let z be 3 + (-5 - -2) + 3 + -4. Which is smaller: 2/151 or z?
z
Let p be 1 + (-2)/(-4) + 6/(-12). Let j = -24 + 24. Is p not equal to j?
True
Let i be ((-24)/3900)/(2/60). Let m = i - -269/1105. Which is smaller: 1 or m?
m
Let c = -150 + 150. Suppose 7 = -2*d + 9*d. Does c = d?
False
Let n(z) = -57*z - 645. Let p be n(-11). Is -18 >= p?
True
Let g be 0 - 22/(-48) - 8/12. Which is greater: -1 or g?
g
Let o = -574 - -584. Do o and 0.04 have different values?
True
Suppose -4*g + 182 = 3*f - 3*g, -3*f + 187 = 2*g. Let t = f - 51. Is 7 < t?
True
Suppose 0 = -5*v + 19097 + 6073. Let b be ((-1)/(-68))/((-591)/v). Let q = b + 3/394. Do -1 and q have different values?
True
Suppose n - 4*c + 12 = 0, -5*n + 2*c = 4 + 2. Suppose -2*l + 2 + 14 = n. Is l equal to 9?
False
Let h(s) = s**3 + 15*s**2 - 17*s - 16. Let r be h(-16). Let k = r + 4. Let v(p) = 4*p + 2. Let z be v(k). Is 1 >= z?
False
Let j(c) = 2*c**2 - 14*c + 2. Let o be (-18)/8*-4 + (1 - 4). Let b be j(o). Is -10 at most as big as b?
True
Suppose 225 = t + 2*t. Suppose -j = -6*j + t. Let q be 12/9*j/(-10). Which is smaller: 1 or q?
q
Let s be (12/14)/(20/70). Let m be 6/(-9) + s*(-32)/(-135). Is m > 0?
True
Let x(p) = 8*p**2 - 11*p + 37. Let y be x(5). Is y at most as big as 181?
False
Let h(s) = 3*s + 5. Let d be h(15). Let g be (16/d)/(1/(-5)). Suppose 3*n = -9, -3*v - 3*n = -5*n. Which is greater: g or v?
g
Suppose 5*d = -p - p + 93, -5*d + 3*p = -73. Is d != 12?
True
Let o = -323 - -323. Let n be (-21)/(-3) + 2/(-1). Let j = 5 - n. Are j and o unequal?
False
Suppose -26 - 14 = 8*p. Let m be (-22)/8 - ((-4)/(-2))/8. Which is smaller: m or p?
p
Let g(h) = 2*h**2 + 2*h - 2. Let t be g(-3). Let f = -9 + t. Let p be 1 + (f - -8) + -1. Is p at least as big as 10?
False
Let d(p) = -p**2 - 7*p + 9. Let n be d(-7). Suppose n*j + 91 = -4*j. Which is bigger: j or -9?
j
Let x(y) = -19*y + 9. Let c be x(35). Which is smaller: -657 or c?
-657
Let w = -9/442 + -51209/3094. Which is smaller: -16 or w?
w
Let a(g) = -g + 17. Let f = -14 + 30. Let y be a(f). Let q = 212/693 + -2/99. Is q at least y?
False
Let c be 1/(-3) - 72/(-54). Let u be 184/(-44) + (c - -3). Let x be 2/4 - 3/2. Are x and u equal?
False
Let o be (280/(-18))/2 - (-12)/(-54). Which is smaller: o or -4?
o
Let i = -28 + 17. Let j(a) = 18*a**3 + 10*a**2 - 3*a**2 - 17*a**3 + 5*a**2 + 11*a. Let o be j(i). Is 5/6 less than or equal to o?
False
Let o(v) = 6*v + 5. Let g be o(4). Let k = 2111 + -2080. Is g greater than or equal to k?
False
Let w = 70 + -69.935. Let f = -0.265 + w. Which is smaller: 10 or f?
f
Let u be (-12)/(-9)*57/38 + -3. Which is smaller: u or -45/56?
u
Let m = -45 + 47. Suppose 2*i + 12 = -m*v, -3*v = 3*i - 8*i - 22. Do v and -0.17 have different values?
True
Let v = 12232 + -2556483/209. Which is bigger: 0 or v?
v
Let y be ((-3)/9 + (-95115)/(-285681))*-40. Let x = -2/2361 - y. Which is greater: -1 or x?
x
Let p = 50 + -35. Let z = p - 9. Let c(m) = -m**3 + 4*m**2 - m + 2. Let h be c(3). Which is bigger: h or z?
h
Let u = -10/2121 - -317554/2121. Do 151 and u have different values?
True
Let q = -0.5 - -0.45. Let s = 0.45 - q. Let k be (-1)/(-4) + -2*39/24. Is s greater than or equal to k?
True
Suppose 0 = 34*r - 29*r - 2610. Let y be (-3)/(-18)*1 - 69/r. Is y smaller than -1?
False
Let p = -1.93 - -1.9. Let k = -0.63 - p. Let t be (-3 + 3)/(0 - 4). Is k at most t?
True
Let n be (52/(-20) - -3) + (-1848)/4565. Is n at most 0?
True
Let n be (36/(-360))/((-3)/747). Which is bigger: 25 or n?
25
Suppose 0 = 5*l - 2*a - 90, -4*l + 5*a + 58 = -31. Let u = 11 - l. Let g = u + 20. Which is smaller: 14 or g?
14
Let a = 50 + -119. Let r = a - -60. Which is smaller: 4 or r?
r
Let h = -27 + 28. Let d be 2/3 + 213/9. Let y = d + -24. Is y >= h?
False
Let z(j) = j**3 - 7*j**2 - 9*j + 2. Let f be z(8). Let h = f + 6. Suppose 3*x - 5*x + d + 2 = h, -8 = 4*x + 4*d. Which is bigger: -4 or x?
x
Let v = 2121 - 256639/121. Which is bigger: v or -1?
v
Let c be (-4054)/36 - ((-374)/198)/17. Which is smaller: -113 or c?
-113
Let n = 22 - -298. Let r be ((-2)/(-4))/(10/n). Suppose 5*t = 3*t - r. Is t greater than -8?
False
Suppose -3*p + 33 = -5*p - k, -3*p + 2*k = 32. Which is smaller: -20 or p?
-20
Let x = -12 + -3. Let z be x - (24/4 - 4). Is -17 bigger than z?
False
Let i = 734 - 767. Let w be (45/(-3))/(2/(-6)). Suppose 5*v = -4*t - 150, -5*v + t - 130 = w. Which is bigger: v or i?
i
Let a be ((-76)/(-6))/((-2)/(-6)). Suppose -34 = 4*f + a. Let x be (4/(-10))/(f/(-30)). Which is greater: 1 or x?
1
Let a be 4806/(-480)*-4 + 1/5. Is a < 41?
True
Let l = -50 + 46. Which is greater: -0.071 or l?
-0.071
Suppose -289 = -10*l - 7*l. Is 135/8 smaller than l?
True
Suppose 6 = 13*b - 19*b. Let r be 5*(-10)/(-54) + -1. Are r and b nonequal?
True
Let x = 1.83 - 1.73. Which is bigger: 179 or x?
179
Let l be 2/(-2) + 9/7. Let b(m) be the second derivative of m**4/12 + 2*m**3/3 - 13*m**2/2 - 8*m. Let i be b(-6). Which is smaller: l or i?
i
Let m be 5*(-3)/4*-4. Let l = -479 - -493. Which is smaller: l or m?
l
Suppose 3*k = t + 3*t + 157, 5*t + 191 = 2*k. Let s = -802 - -766. Is t at least as big as s?
False
Let t = -20161/1287 + -2/1287. Let n(f) = -3*f**2 - 43*f + 13. Let q be n(-15). Which is smaller: t or q?
q
Suppose -s - 12 = -1. Let m = s + 20. Suppose -m - 3 = 4*z. Which is greater: z or -2?
-2
Let c(s) = -2*s**2 + s - 3. Let v be c(-4). Let l be (-2)/(-6) + v/9. Suppose 76 = 33*i - 52*i. Is l greater than or equal to i?
True
Suppose -5*i + i - 92 = 0. Let a = i - -31. Which is smaller: 2 or a?
2
Let t = 160 + -162. Let z be ((-32)/(-112))/(t - 11/(-7)). Let v = -24 + 70/3. Is v great