-197. Is p greater than w?
True
Suppose -91*v = 5*r - 95*v + 23063, 0 = -4*v - 12. Which is smaller: r or -4614?
r
Suppose -a - g + 427 + 281 = 0, -3*g = -a + 688. Do a and 702 have different values?
True
Let y = 706 + -735. Is -0.014 < y?
False
Let l be (-4)/(-22) - 456/88. Let b(u) = 2*u**2 - 37*u - 28. Let h = 235 + -216. Let t be b(h). Which is smaller: l or t?
t
Let q be ((-10)/4)/(-1*2/12). Let k be q/9 + (-4)/6. Is k equal to -6/19?
False
Let n(v) = -9*v + 141. Let w be n(15). Let b be 90/4*w/9. Which is bigger: 12 or b?
b
Let n(r) = 9*r**2 + 341*r - 38. Let c be n(-38). Is c at most as big as -6/14947?
False
Let c = 0.648 - 0.848. Which is bigger: c or -1192?
c
Let j = -80 - -86. Suppose 4*k + 49 = -u, -j*u + 9*u - 21 = 2*k. Let g be k/(-22) - (-105)/(-11). Which is smaller: g or -10?
-10
Suppose 240 = 9*v - 66. Suppose -g - 5*a + v = 0, a = -0*a + 5. Is g <= 51/5?
True
Suppose -2*t = -b + 113, -b - 2*t + 74 + 43 = 0. Let w be (-1 + b/15)*3. Which is bigger: w or 21?
21
Let v(l) = -8811*l - 52866. Let k be v(-6). Let h = -157/5 + 16794/535. Is h smaller than k?
True
Suppose 3*x + 670 = 5*x. Let q be (-668)/6*(76 - 79). Is x less than or equal to q?
False
Let r be 18/30*(-24720)/72. Which is greater: -209 or r?
r
Let b be 5/(-2)*20/1200*24. Which is greater: b or -5/21?
-5/21
Suppose 1 = -3*o + 2*p + 11, 3*p = -5*o + 4. Is o bigger than 88/39?
False
Let j(n) = 2*n**3 - 5*n**2 + 8*n - 1. Let q be j(4). Suppose q = -h + 4*z, 4*z - 65 = -h - 184. Are -101 and h equal?
False
Let m = -6460 + 6485.93. Let q = 0.07 + m. Let g = 23.2 - q. Which is smaller: 1 or g?
g
Let y be -7*2/2 - (5 + 1 + -10). Suppose 9 = -0*w - 3*w. Is y at least as big as w?
True
Let t = 3.41 - 58.41. Let n = -68 - -67.9. Which is smaller: n or t?
t
Suppose -3*u - 7*m - 7164 = -8*m, 6*u = -m - 14346. Which is bigger: u or -2391?
u
Let i = 6821 + -7671. Is i greater than -849?
False
Let x = 273.9916 + 0.0084. Let f = -272 + x. Which is smaller: f or 20?
f
Let l(p) = p. Let x be l(4). Suppose -49 - 23 = x*q. Let k be (-30)/(-35)*(41 - -1)*(-48)/96. Is k >= q?
True
Let f = 32 + -11. Suppose 3*b + 4*b - 140 = 0. Suppose b*n + 1 = 21*n. Is f equal to n?
False
Let q = 1 - 2. Let u = 216.5 - 217. Let y = 16.5 + u. Which is greater: y or q?
y
Let y(q) = q**2 + 123*q + 2791. Let g be y(-30). Are 2/41 and g nonequal?
True
Let d = 7273.975 - 7274. Let j be ((-2)/8)/(8/8). Is j less than d?
True
Let w be (2/1296*-2)/((-28)/56). Let v = -1471/81 - w. Do -18 and v have the same value?
False
Let g be (-80)/8*(-590)/25. Let u = 174 - g. Which is greater: u or 0?
0
Let q(c) = 3*c**2 - 2*c + 3. Suppose 4*v - 238 = -2*u, 0 = -2*v - 4*u + 80 + 42. Let x = 57 - v. Let z be q(x). Is -2 < z?
True
Suppose -2*o = o + 99. Let n = o - -67. Suppose -n = 3*m - 13. Which is smaller: m or -5?
m
Let z = -1799.1964 + 0.1964. Let h = z + 1799. Let y = 56.77 - 0.77. Is h not equal to y?
True
Suppose 68 = 4*c - 472. Let f = 4457/33 - c. Are 0.01 and f non-equal?
True
Suppose 35 - 23 = -6*o. Let c be (11 - 17)*(1 - o/(-4)). Let d be (-3)/45*c*-5. Which is greater: -30/19 or d?
d
Let r = 7808 - 6509. Do 1295 and r have the same value?
False
Let d = 3085/21497 - 2/3071. Which is smaller: d or -9/10?
-9/10
Suppose 73 = -10*v - 33 + 26. Let t = -24 + 3. Let z be (-114)/v - t/28. Which is bigger: z or 12?
z
Let m = -2862.1 + 2862. Which is bigger: m or 8/9?
8/9
Let f be (-7)/(-49) - (-65820)/(-140). Which is greater: f or -468?
-468
Let q = 56 + -37. Let k(y) = y**2 - 18*y - 9. Let p be k(q). Let h be (-5)/p + 73/(-6). Which is greater: -12 or h?
-12
Suppose 4*p = 24, -5*b + p + 81 - 927 = 0. Is -166 < b?
False
Let v(b) = 311*b - 1867. Let a be v(6). Let w = 34575/209 - 3366/19. Let m = 35/3 + w. Are a and m unequal?
True
Let c = -13.878 - -0.078. Let f = c - -6. Let k = -7.7 - f. Are 0.35 and k equal?
False
Let n(a) = -a**3 - 6*a**2 + 2*a + 12. Let b be n(-6). Let s = -1287/32480 + -3/928. Let x = s + 593/770. Is b greater than x?
False
Let f = 392 - -14. Let g be 2 + (16/(-15 + 7) - -406). Do g and f have different values?
False
Let c = 0.5 + -0.8. Let f(p) = 16*p - 7. Let w(d) = -17*d - 50. Let l be w(-3). Let q be f(l). Is q at most as big as c?
False
Suppose 4*s = 4*r + 800, 2*s - 807 = 5*r + 178. Let b be (-4 - (-13)/4)/(r/(-40)). Which is smaller: b or 1?
b
Let b be 84 + 32/4 - (-10 + 21). Let m = 125 + -43. Do b and m have the same value?
False
Let t = 17/283 + 11042/9339. Is t smaller than 2?
True
Let y(v) = 8877*v - 8874*v - v**2 + 18 + 0. Let f be y(6). Which is smaller: f or 1/155?
f
Let g be (6 - 0) + (0 - -27). Let s be ((-66)/g)/(40/(-3)). Do s and -1 have different values?
True
Let n = -81.2 + 81.3. Which is smaller: n or 4/29?
n
Suppose -i = 2*i + 4*c - 61, 4*c = -2*i + 46. Suppose 20*n - i = 15*n. Let t be (1 - n)/((-98)/4 - 2). Which is bigger: 0 or t?
t
Suppose 7*k - 24*k - 13*k + 111870 = 0. Is 3728 at least as big as k?
False
Suppose 0 = 3*i - r - 479, 0*i + 2*r = -3*i + 464. Let q = i + -173. Which is smaller: -13 or q?
q
Let b = -8 - -3. Let c be (-2)/(15 - 17 - (-102)/52). Let a be 10/15*(c/(-8) - 1). Is a <= b?
True
Let m be ((-2)/(-1))/((-6)/(-72)*-6). Let z(u) = -6*u - 24. Let q be z(m). Let d = -14851/33 - -450. Is d at least q?
False
Suppose 409*b - 2008 = 446. Suppose -w - 4 = w. Let x = w - -7. Does b = x?
False
Suppose -5*n + 8*n - j = 898, -4*j + 580 = 2*n. Is 301 greater than n?
True
Let w be 1 + 0/11 + 2/((-4)/6). Let g(i) = -i**2 - 8*i + 5. Let l be g(-6). Let v be 2/4*(-24)/l. Which is bigger: v or w?
v
Let b = -206.8 - -172. Let s = 4.2 - b. Let j = -35 + s. Do 1 and j have different values?
True
Let p be 20 + -3 + (-272720)/16065. Is p bigger than 0?
True
Let w be -3*(1 - 2 - -2)*-3. Let t(x) = -x + 9. Let b be t(w). Let k be 2 - (2 + b + 0). Is k greater than or equal to 2/185?
False
Let h = 6616 + -59516/9. Is h >= -1.4?
True
Suppose 1005 = -8*j - 3*z, -6*j + 636 = -11*j - 3*z. Which is greater: -2818/23 or j?
-2818/23
Let h = 27203/5890 + 97/190. Are 4 and h nonequal?
True
Let k be (130/39)/((-28)/(-282)). Let j = k + -34. Are j and -1/17 non-equal?
True
Suppose 9*s = 43 - 7. Suppose -3*l + s*b = 9, -4 = 2*l - 2*b + 4. Which is smaller: l or -4?
l
Suppose 0 = -11*i - 5001 - 70. Which is greater: i or -4?
-4
Let w(j) = 65*j - 4. Suppose 5*r + t = -21, -t + 16 = -5*r - 3. Let u be w(r). Let i be u/385 - 6/(-15). Is i less than or equal to -0.4?
False
Let n(j) = -j**3 - 17*j**2 + 39*j + 43. Let p be n(-19). Let h = 198 - 191. Which is smaller: h or p?
h
Let c = -72396 - -584887283/8079. Is c less than 0?
True
Let w = -131 - -136. Suppose 0 = 3*q - 2*k - w - 25, k = -4*q + 51. Which is greater: q or 15?
15
Let x(s) = 392*s + 2658. Let a be x(-20). Which is bigger: -5181 or a?
-5181
Suppose 424*c - 855*c = -418*c - 183222. Is c > 14094?
False
Let s = 168 + -166. Suppose s = 17*x - 18*x. Which is smaller: -3 or x?
-3
Let t = -687 - -90685/132. Which is greater: t or -1?
t
Let z be (0 + -16)/(-11 - (-7620)/692). Is z at most -1385?
False
Suppose 0 = -3*q - 4*t - 231, -3*t + 154 = -268*q + 266*q. Is -833/11 at most q?
False
Let b = -70172 - -708175825/10092. Which is smaller: 1 or b?
b
Suppose -756 = 27*m + 27*m. Let i be (-215)/56 + ((-38)/m - 3). Is -4 bigger than i?
True
Let i be (2 + -5)/(3/(-22)). Suppose 3*m = -5*x - 26, -2*m - i = -m + 5*x. Let g be (-9)/(-36) + m/8. Which is smaller: g or -10/13?
-10/13
Let n(p) = p**3 + 43*p**2 - 46*p - 96. Suppose -19*o = -21*o + d - 86, 2*o + 80 = 4*d. Let k be n(o). Let q be (1 - -1)/(2/(-8)). Is k at most q?
True
Let l be (-1 + 96/16)*(3 + 8). Is l != -7?
True
Let w = -1293 - -1294. Let k be 5*(2 + 6/(-5)). Let l be (16/(-44))/((-2)/k). Is l at least w?
False
Let m be (10/(-325))/(2/20). Suppose 5*h = -16 + 26. Suppose -4*w - 6 = h*r - 2*w, -5*r = 2*w + 9. Are r and m non-equal?
True
Let j = -2082 - -2138. Which is bigger: 18 or j?
j
Let q = 1688 - 204250/121. Do q and -3 have the same value?
False
Suppose 28*k = 22*k + 48. Suppose 4*b = k*b. Suppose 13*j - 8 - 5 = b. Which is greater: -3/14 or j?
j
Let z be ((-2375)/(-875) - 4/7)/((-8)/(-749)). Which is greater: z or 202?
202
Let a = 7007.09491 - 0.09491. Is -2/3 < a?
True
Let u be 358 - (3 + -3 - -1). Let m = -400 + u. Which is smaller: m or -44?
-44
Let q = 0.2096 - 0.2035.