808. Are o and k equal?
False
Suppose b = -h - 98, 3376*h + 2*b - 434 = 3380*h. Do h and -98 have the same value?
False
Suppose -3*l = -4*k - 874 - 817, 4*k = 5*l - 2813. Is 561 less than l?
False
Let n = 832 - 832. Suppose 5*h - 68 = -4*f, 2*f - 4*f + 4 = 0. Let i be h/(-15)*(-10)/724. Is n != i?
True
Suppose 3*t = -t - 5*f + 101, -3*f + 110 = 5*t. Suppose -u + 4 = -5*c - 1, 0 = -4*u. Let b be c/(-2)*(-17)/17. Which is greater: b or t?
t
Let n(d) = -2*d**2 + 22*d + 23. Let a be n(12). Let h be (a/(3/(-122)))/((-48)/72). Is h at least -123/2?
True
Let d be (-39)/52 - ((-162)/24 + 7). Which is smaller: d or -10.891?
-10.891
Let v = 303179/4 + -76487. Is v at least as big as -691?
False
Let y(o) = o**2 - 3*o - 5. Let d = 22 - 28. Let p be 1*(-2 + 4/d*-9). Let g be y(p). Is g <= -1/6?
True
Let n = 1664 + -1661. Let r be (-4 - -2)*65/10. Let h = r - -17. Is n < h?
True
Let u be 8/8 - -9*(-30)/27. Which is smaller: 132 or u?
u
Let u(v) = 12*v**3 + 2*v**2 + 3*v + 17. Let o be u(6). Let m = -677447/251 + o. Which is greater: m or 0?
m
Let g = 2364 + -2365. Let s = 18047 - 15538465/861. Is s != g?
True
Let w = 1 - 2. Suppose 5*a - 2*m + 2128 = 0, -3*m - 43 = 3*a + 1217. Let z be (-6)/616*2*a/318. Are w and z unequal?
True
Suppose k = 5*o - 4917 - 17884, 18236 = 4*o + 4*k. Is 4561 < o?
False
Suppose -4*l - 8*q + 5*q + 17401 = 0, -l + 4336 = -4*q. Which is smaller: 4347 or l?
4347
Suppose 6*h + 6*o = 5*h - 574, -24 = -4*o. Which is greater: -614 or h?
h
Let p(c) = 79*c - 1743. Let u be p(22). Is u less than -211/34?
False
Let c = 55.658 + -54.258. Let o be (1/(-3))/(2/(-18)). Is o greater than c?
True
Suppose 0*c - c = -38. Suppose -6*n - 848 = -2*a - 3*n, 3*n - 824 = -2*a. Suppose 11*w - a = -0*w. Is w at least c?
True
Let h = 151 - 256. Let z = 108 + h. Which is bigger: 0 or z?
z
Let l(c) = 425*c - 1121. Let x be l(4). Are 578 and x equal?
False
Let f = 589.4723 - -0.5277. Which is bigger: f or 0?
f
Let b(a) = 3*a**3 - 9*a**2 + 11*a - 106. Let n be b(9). Let q = n + -145099/100. Which is greater: q or 0?
q
Let o be 654/412 - 1038/692. Which is bigger: 0 or o?
o
Let o be (((-10)/10)/1)/(6/15858). Which is smaller: o or -2644?
-2644
Let c be ((-4)/3 + 0)/(1512/(-1890)). Suppose -3*q + 4*q = 1. Is c less than or equal to q?
False
Let p be 270/(-72)*(-9)/54. Which is bigger: p or 0.0436?
p
Let z = 125 - 122. Suppose z*t = 6*t - 111. Let d = 16 - -22. Is d less than t?
False
Let f = 11735/13 + -902. Let s = 11/91 - f. Is s smaller than -1?
False
Let x = -44 - -68. Let q be 8/60*(-30)/x. Let a = -7/51 - q. Which is smaller: a or 0?
0
Let m(j) = -3*j**3 - 20*j**2 - 6*j + 33. Let c be m(-6). Is 598 >= c?
True
Let n = -2346 - -1962. Is n bigger than -382?
False
Suppose 2*p + 12 = 5*x, -5*x = p + 6 - 30. Suppose -33 = p*r - 361. Which is greater: r or 81?
r
Let p = 7872 - 7854. Which is smaller: 108/5 or p?
p
Suppose -c - 8 = 2*x + 60, 140 = -4*x - c. Let z be (-37891)/x - 10/(-45). Let v = z + -1061. Is -8 < v?
False
Let o be (17/(119/(-4886)))/(1 - 0). Let g = o - -687. Which is smaller: g or -25?
-25
Suppose -11*t - 23*t = -5738 - 2218. Is t >= 0.04?
True
Let g = 79 - 73. Let x = -7 + g. Let v(m) = 27*m**2 - m. Let s be v(x). Which is bigger: 29 or s?
29
Suppose 497*h + 3978 = 55*h. Suppose -2*j = -7*j + 10. Suppose 3*u + 11 = j. Is u at most h?
False
Let x(g) = 31*g + 713. Let j be x(-20). Is 557/6 >= j?
False
Suppose -5*h = s - 80, 51 = 2*s + 5*h - 89. Suppose s = -4*u + 8*u. Suppose 19*a = 14*a + u. Which is smaller: 4 or a?
a
Let k be -1 - 0/((-20)/(-8)*(-2)/(-5)). Which is smaller: -12/4027 or k?
k
Let g = -0.058 + 343.058. Let q = -341.09 + g. Do q and -2/9 have different values?
True
Let o(q) = -230*q + 467. Let w be o(2). Suppose 0*i = 3*i - 6. Are w and i non-equal?
True
Let v = 270 + -273. Let t = 2 + v. Which is smaller: -6.9 or t?
-6.9
Let j = -3449 - -4364.9. Let g = -916 + j. Is -0.0538 > g?
True
Let y = 2321.148 - 2457. Let b = y - 0.148. Is b greater than or equal to -0.1?
False
Let u = 43 - 42. Let y(t) = u + 5 - 2*t - 1 + 8. Let g be y(6). Which is bigger: g or 3/37?
g
Let t = 20/65951 + 311354251/1384971. Let i = -225 + t. Which is bigger: 0 or i?
0
Suppose -21 = z - 9*h + 4*h, h - 8 = 4*z. Suppose -n - 3*f - 1 = 0, f = -5*n - 5 + 14. Let u be (-1)/62*-118 - n. Which is bigger: z or u?
u
Let n = 0.0729 - 1.7729. Let g = 322.8 - 323. Is n greater than g?
False
Let o = 1208395/24 + -50337. Let l = o - 105/8. Which is bigger: 108 or l?
108
Let b be (-261)/27 + 10 - (-42295)/15. Is b at most 2818?
False
Suppose -225 - 1 = 2*s. Let v = s + 128. Let o(l) = l**3 - 15*l**2 + l + 13. Let b be o(v). Does 28 = b?
True
Let k(f) = -f**2 + 3*f + 6. Let r be k(3). Let a be (r/(-9))/(6/45). Let q be (a/(-5)*-8)/5. Which is smaller: q or -3?
-3
Let t be (5/(-15))/(2 - (-20)/(-12)). Let y be ((-27)/(-6))/(-3)*2. Let k be (y - -1)/(50/(-3)). Which is greater: t or k?
k
Let v be ((-28)/(-5))/((-96)/10320). Does v = -605?
False
Let j(r) = -r**3 - 3*r**2 - 13*r - 29. Let z be j(-3). Let o = 114 + -100. Do z and o have the same value?
False
Suppose 12*g = 30*g + 1764. Is g greater than -100?
True
Let i(p) = 2*p**2 - 5*p + 9. Let u be i(4). Let n(y) = y**3 + 11*y**2 - 10*y + 27. Let b be n(-12). Suppose 0 = -4*z, 5*w - 84 = w + b*z. Are w and u unequal?
False
Let w = -9237 - -5535. Is 1/4 <= w?
False
Let w = 37292.4 - 37295. Is 444 at least w?
True
Let y be ((-1566)/5700 - 0) + 6/525*7. Which is smaller: y or 0?
y
Let f = -756 + 756. Which is smaller: 372 or f?
f
Let h(m) = m**2 - 11*m + 71. Let k be h(0). Let a be 0 - (2/k)/(-4 - 0). Is 1 > a?
True
Let m = -1799.42 + 1799. Is -13 bigger than m?
False
Let q(t) = -2*t + 23. Let h(j) = 3*j - 35. Let k(z) = -5*h(z) - 7*q(z). Let y be k(11). Let p be ((-4)/6)/((-22)/6 + y). Which is bigger: p or 0?
p
Suppose 0 = -23*u + 191 - 2606. Let n be ((-616)/u)/22*5/34. Which is bigger: 1 or n?
1
Let a = 18842 - 18843. Which is smaller: -2/20433 or a?
a
Suppose -k + 516 = 3*k + 520. Which is bigger: 3/889 or k?
3/889
Let s = -361 + 364. Suppose -4 = -4*d + w - 9, -10 = -s*d - 2*w. Which is smaller: 4 or d?
d
Let z be (-3)/(2825/707 - 4). Which is bigger: 704 or z?
z
Let w be 6 - (-2 + 1067) - 54/54. Is w equal to -1070?
False
Let q = -61.37 - -60.664. Which is smaller: q or -4?
-4
Let d be 75240/238 + ((-3328)/112)/(-52). Which is greater: d or -1/3?
d
Let i = 1.7181 + -353.7181. Which is smaller: 2/101 or i?
i
Let c be 14210/28 + (-2)/4. Suppose 21*r = -c - 144. Which is bigger: r or -34?
r
Let o be (-63)/210 + 934*7/260. Do 24 and o have the same value?
False
Let n = -8841/52 + 170. Let k(g) = g**2 + 15*g + 28. Let y be k(-13). Suppose 3*p = -y*d + 1, -d - d - 4 = -2*p. Which is smaller: d or n?
d
Suppose 3*a + 136 = 3*i + 145, -i = -5*a + 11. Which is smaller: i or -1/6055?
i
Let d(p) = p**2 - 12*p - 50. Let w be d(16). Suppose -11*n = 8 + w. Let s be 0 - 1 - (-2)/10. Which is smaller: n or s?
n
Let q = 15.244 - -0.076. Which is smaller: q or -2/3?
-2/3
Let q(t) = -2*t**2 + 20*t + 27. Let x be q(10). Suppose x*z - 10*z - 10*z = 0. Which is smaller: -3/149 or z?
-3/149
Let a be ((-6)/(216/(-402)) - -6)/((-28)/(-105)). Is 65 < a?
False
Suppose 4*v = 7*v - 9. Suppose g = v*g + 152. Let s = g - -77. Which is bigger: s or 1/93?
s
Let c = -6471 + 6467. Are 0.9 and c equal?
False
Let d be 3738438/2686 + (-6)/(-34). Does 1391 = d?
False
Let p(w) = -23*w - 77 + 10 + 14*w - 41. Let m be p(-12). Which is smaller: m or 2?
m
Let w be 18/(-1)*-1*74/(-3). Let v = w - -195. Which is bigger: -250 or v?
v
Suppose 0 = -3*c + g + 50, -28 + 98 = 4*c + 2*g. Suppose -5*p - 3 + c = q, -3*p + 11 = -2*q. Does -2/263 = q?
False
Let c(k) = -2*k - k**2 - 37 + 2*k**2 - 3*k. Suppose -8*m + 7*m = 2*g - 19, -g = 4*m - 13. Let u be c(g). Which is greater: u or -1/45?
-1/45
Let s = 10.4 - 3.1. Let k = -7.3 + s. Which is greater: -63 or k?
k
Let r be 0/(-2) - 2864/(-16). Let q = 194 - r. Which is bigger: q or 3?
q
Let z(r) = r + 2. Let j(a) = -4*a - 208. Let x(m) = -j(m) + 3*z(m). Let g be x(-33). Let p be (-88)/5 - (-4)/(-10). Which is bigger: g or p?
g
Let p(l) = 29*l**2 - 14*l - 44. Let t be p(-6). Suppose 0 = -1088*j + t*j + 16. Is j > -58?
True
Let f(h) = 14*h + 0*h**2 + 5 + 0 + 9*h**2 - 7*h**2. Let r be f(-7). Suppose 0 = 4*q + b - 70, r*q - 4*b = 