pose g - 5*o - m = 19, g = -4*o - 13. Which is bigger: 30/13 or g?
g
Let l be (44210/15)/((-2)/3). Let w = 57511/13 + l. Is w bigger than 2?
True
Suppose -5*k + 369 = -421. Let x = -191 + k. Is x < 0?
True
Let c(u) = -u**2 + 33*u + 1. Let v be c(33). Let m be (v/30)/((-18)/45). Which is bigger: m or -3?
m
Let u = 10599 + -10598. Is u greater than or equal to 6/5885?
True
Let v be (24/(-52))/(-2 - 530). Do -1 and v have different values?
True
Let d(l) be the third derivative of -17*l**5/20 + l**4/24 + l**3/6 + 39*l**2 + 1. Let n be d(-1). Which is smaller: -53 or n?
-53
Let i be (-3)/6 + ((-2)/(-184))/(48/(-2592)). Which is smaller: 2/3 or i?
i
Let b = 3.027 - -29.973. Are b and 22 non-equal?
True
Let v = -31.1 - -28. Let o = v - 5.1. Let j = -8 - o. Are 2/39 and j nonequal?
True
Let u = 68.169 - 0.169. Let x = -1035 + 1036. Is x greater than u?
False
Let c = 18343 + -19912. Which is greater: c or -1571?
c
Let w be 149/((-4)/6*30/(-20)). Suppose w*m = 153*m - 160. Is 40 equal to m?
True
Let g be (-4 - (-37)/3)*(-1 - 2). Let h = -71 + 63. Let c be -1*(-195)/(-6)*h/(-10). Is g bigger than c?
True
Let t = 6 + 2. Suppose -4*m - 5*h = 2 - t, 0 = 3*m + 5*h - 7. Let n be ((-759)/(-120))/11 - m/(-5). Are 1/4 and n unequal?
True
Let z = 257485/127816 - 6/1229. Let s = z - 5/13. Let o(y) = -y**3 - 5*y**2 + 7*y + 9. Let m be o(-6). Do s and m have the same value?
False
Let a(w) = w**3 - 12*w**2 - 63*w + 756. Let x be a(12). Is 2/84793 greater than or equal to x?
True
Let m be 2/(-23) + (-1287)/(-253). Suppose m*y = -5*x + 145, 5*x - 2*y - 27 = 97. Which is smaller: x or 23?
23
Let x = 1.2729 - 1.9646. Let h = 0.0083 - x. Is -26 bigger than h?
False
Suppose 0 = -f + 4*a - 21, -2*f + 4*a = 2*a + 18. Suppose 0*w - 15 = 3*w. Let i = f - w. Which is greater: i or -2/49?
i
Let u = -312 + 353.6. Let n = -145/42 - -53/14. Which is greater: u or n?
u
Let p be ((-1410)/(-752))/(2/(-16))*(-72)/10. Does 128 = p?
False
Let c be ((-7)/(-926331))/((-6)/8*16/(-36)). Is c at least as big as 1?
False
Let n = -2/20363 + -1588292/223993. Let k = n - -313/44. Suppose -3*s - 1 = -9*g + 8*g, -4*g + 19 = 3*s. Is s bigger than k?
True
Let v be 4/((-392)/518) - -5. Is v smaller than 2/109?
True
Let i = -36 - -26. Let h = -398.9 + 421. Let g = h + -22. Which is smaller: g or i?
i
Suppose -279*c + 290*c - 11 = 0. Suppose c = -4*n - 3. Is n <= -5/39?
True
Suppose -829168 - 54862 = -138*n + 301252. Which is bigger: 8587 or n?
n
Suppose -2*b = 5*b + 42. Let m = 7 + b. Let n be (26/715)/(1 + m). Do n and -1 have the same value?
False
Suppose -5*j + 5*w + 75 = 0, -j + 0*j - w = -9. Suppose -j*p = -13*p + 2. Suppose 53 = -3*t - p*q, 0 = -t - q - 7 - 11. Is -15 smaller than t?
False
Let c(n) = -n**2 - 5*n + 5. Suppose 9*r - 6*r + 2*h + 1 = 0, -5*h - 12 = -2*r. Let k be c(r). Which is smaller: -16/9 or k?
-16/9
Let w = 280060/93 + -9022/3. Let g = -5508/155 - w. Is g smaller than -39?
True
Suppose 3*p + 5 = -o + p, -4*o - p - 20 = 0. Let u be (-2 - -4) + (-7 - o). Is -2/499 < u?
True
Let q be -6*(11 - 14289/1298). Which is bigger: q or -20?
q
Let j = 3 - 4. Let a be -17 - (-30740)/1840 - (-6)/(-8). Let x = a - j. Is x bigger than -1?
True
Let l be (2/1 + 0)*110. Suppose 10*x = 5*x - l. Let t be x/(-30) - (-5)/25. Which is smaller: t or 1?
1
Let r be (-72)/3*(-4)/8. Suppose r = 7*f - 9. Suppose f*k + k = 7*k. Which is smaller: k or -3/55?
-3/55
Let q be (-38)/(-4)*(-360)/(-3420). Is -25/421 equal to q?
False
Let s be ((-4)/5)/(-4) + (326540/181050 - 2). Is 1 bigger than s?
True
Let r = 150 - 601/4. Let w = -36 - -32.6. Let l = 2.9 + w. Is l less than or equal to r?
True
Let y be (-20)/12*(-13 - (-20410)/1573). Is y > 4?
False
Let v be 916/(-46) + 76/(-874). Let q be 2*12*v/(-30). Let n = 101414/6915 - -2/2305. Is n less than q?
True
Let v be (37 - (-6307)/68)/((-138)/(-16)). Do v and 15 have the same value?
False
Let a be ((-8)/(-4) - (-1 + -2))*1. Suppose q - 9 = -3*c, -4 = c + a*q - 21. Suppose -c*r + 2 = 3*s, -3*s + 2*r - 1 = 1. Is s >= -2/17?
True
Let t = 40.25 - 38.25. Does -202 = t?
False
Let u = -0.07712 + -549.92288. Which is smaller: 0.1 or u?
u
Let w = 8008 + -32197/4. Suppose 3*v + 131 = -k, -5 = -k - 13. Which is smaller: w or v?
w
Suppose 0 = -4*m + m - 39. Suppose 5 = 5*b - 5*s, -29250*s = 3*b - 29245*s + 37. Which is smaller: m or b?
m
Suppose r - 18*r + 44*r - 189891 = 0. Is r greater than or equal to -0.1?
True
Suppose -2*m = -m - 1. Let j be ((-12)/8)/(-3) - (-1660)/(-352). Let b = j + 41/8. Which is smaller: m or b?
b
Let i(k) = -10*k**2 - 19*k + 65. Let d be i(3). Suppose 4*z + 232 = z - 4*t, 2*z = -2*t - 158. Is z greater than d?
False
Let i(u) = -u**3 + 27*u**2 - 29*u + 74. Let h be i(26). Let q = 672 + -4738/7. Which is smaller: q or h?
q
Suppose -h + 5*h = 2*d + 4, -5*d = -3*h - 11. Let x be 1/(2/d) + 48/8. Let g = -20/3 + x. Is 0 not equal to g?
True
Let j = 74 - 108. Let q = -4 - j. Are q and 31 equal?
False
Let g be 1/3*(8 - 2). Suppose -5*q = -0*q + 3*n - 142, 5*n + 63 = g*q. Let j = 4252 - 4222. Is j bigger than q?
True
Let i = 394 - 394.6. Let h = 19 + -17. Is h not equal to i?
True
Let s(t) = t**3 + 10*t**2 - 13*t + 9. Let d be s(-7). Let b be 1*(d/26)/((-2)/4). Are b and -1/3 unequal?
True
Let s be 18/63 + 396/(-14). Let m = 37 + s. Suppose 0*j - m = -j. Which is smaller: j or 10?
j
Let p be (6/12 + 5 - 5)*32. Let b be (10/4 + -3)/(p/(-9536)). Is 298 greater than or equal to b?
True
Let r = 355.9 - 354.9. Which is bigger: 0.156 or r?
r
Let u = -71.8107 - -0.1107. Let h = 75 + u. Which is smaller: h or 2/7?
2/7
Suppose 19*o - 236 + 1882 = 8334. Which is smaller: o or 705/2?
o
Let y = 1201 - 1185. Is -1.37 less than y?
True
Let g be 1176/(-49)*(2/(-2) - -2). Let t be (-5)/(-3) + (9 - (-232)/g). Let n be 1/2*3/(-24). Which is smaller: n or t?
n
Let f(y) be the second derivative of y**4/4 + 17*y**3/6 + 7*y**2 + 3*y - 30. Let r be f(-6). Suppose 2*g = -g + 54. Is r < g?
False
Let n = 30 - 22. Suppose -2*r - 1 + 4 = 5*b, 4*b = 4*r + n. Let z be 98/12*r/((-35)/(-20)). Is -4 at least as big as z?
True
Let j = -9.76 - -9.72. Let y = -0.25 - -0.25. Which is bigger: j or y?
y
Suppose n - 23*n = -264. Let i(r) = -r - 20. Let o be i(n). Which is smaller: o or -8?
o
Let b = -142 - -149. Let q be (-36)/b + 7/49. Is -6 < q?
True
Let s(o) = o**3 + 14*o**2 - 19*o - 59. Let f be s(-15). Let r be ((-260)/13 - (-4)/f)*1. Is r equal to -19?
False
Let f be -5*(-3)/3*3 - (-3 + -1). Let j be (4/(-6))/(6/(-36)). Let l be 3/j*(-120)/(-5). Is l >= f?
False
Let c be 52/(-169) + 726/78. Let h be (-2 - 64/(-36))/(2/(-36)). Are h and c nonequal?
True
Let i = 25874.24 + -25874. Which is smaller: 137 or i?
i
Let v(t) = 8*t**3 - 20*t**2 + 12*t + 20. Let f be v(8). Is f > 2932?
False
Suppose -3*i + 82 = -2*o, -i - 2*o + 14 = -0*o. Is i at least as big as 97/4?
False
Suppose 20*y = 1196 + 12684. Let k = -695 + y. Which is bigger: k or 1/596?
1/596
Let x = -56 + 73. Suppose -3*q = -0*q. Suppose -3*b + t + 29 = q, -b - t - 4*t = x. Is 0.1 less than b?
True
Let q = 0.03 - -0.97. Let p = q - 3. Let a = 26/3 - 9. Are a and p equal?
False
Let z = 9.8 - -10.4. Let r = 78.8 + z. Let f = -100 + r. Which is bigger: -0.14 or f?
-0.14
Let n = 8584 - 8564. Which is smaller: n or -36?
-36
Let o(j) = 5*j - 4. Let x be o(3). Let d(h) = h**2 - 13*h - 2. Let n be d(11). Let q = -23 - n. Which is smaller: q or x?
q
Let a be 210/66 + (-6)/33. Suppose 3*y + 20 = -5*c + 10, -y - a = 2*c. Is c bigger than 5/3?
False
Let u(c) = c - 30. Let s be u(23). Let p be 22/99 + s/(-9). Which is smaller: -40 or p?
-40
Let x(z) = -z**3 - 6*z**2 - 3*z + 14. Let f(n) = -n - 9. Let w be f(-4). Let t be x(w). Let q be (1 - (-42)/t) + 18/9. Is q >= 14?
False
Suppose 186 = -14*h - 38. Is h at least -224/15?
False
Let z = -575.7 - -575.9. Is z greater than or equal to 27/17?
False
Let v(u) = u**3 - 7*u**2 + 8*u - 7. Let s be v(7). Let p(c) = c**2 + 5*c - 22. Let n be p(-9). Let k be ((-15)/(-6) - -1)*n. Is k less than or equal to s?
True
Let h = 3484 + -18031/5. Do -121 and h have the same value?
False
Let n = -1.245 - -1.205. Which is smaller: n or -5/109?
-5/109
Suppose -79 = 24*r + 3*r - 25. Which is smaller: 2845 or r?
r
Let o be 24/216 - (-206)/18. Let h = 68138/5895 - o. Do -1 and h have the same value?
False
Let x(w) = -145*w*