 Are 604 and l unequal?
True
Let b be 189/567 - (-1)/(204/(-12392)). Is -61 bigger than b?
False
Let r(l) = -3*l + 4. Let h be r(3). Let t(q) = q**3 - 12*q**2 + 16*q - 46. Let b be t(11). Suppose 0 = 18*f + b + 9. Which is greater: h or f?
f
Let q = -55399/36930 - -2/18465. Is -42 less than q?
True
Suppose 0 = -5*c + 4*l + 13, 1 = -71*c + 74*c + l. Which is smaller: 890 or c?
c
Let s be ((-17)/85)/(34/(-5))*(4 + 6). Is s > 2/5?
False
Suppose 2*f + 4*o - 558 + 182 = 0, -570 = -3*f - 3*o. Suppose -t - 82 = -p + 3*t, -2*p + t = -f. Let b(c) = -c**3 + 8*c**2 + 4*c + 1. Let m be b(6). Does p = m?
False
Let n = -8758 + 8650. Which is smaller: 5/3 or n?
n
Let h(a) = 2*a**2 - 4*a + 2. Let f be h(2). Let l be (2/(60/(-25)))/((-1)/f). Which is greater: l or -0.04?
l
Let a(f) = -2*f - 21. Suppose 2*p + 5*x + 24 = 0, -6 = 3*p - x - 4. Let z be a(p). Which is greater: z or 1/5?
1/5
Let l = 119 + -120. Let z = 247 - 138. Let w = z - 109. Is w less than or equal to l?
False
Let k = 4935.4 + -4936. Which is smaller: 463 or k?
k
Let x = -22.95 - -21.887. Let y = 58.937 + -59. Let u = y - x. Which is smaller: u or 3?
u
Suppose -3000 = -455*x + 476*x + 5148. Which is greater: x or -349?
-349
Let h = -107.6 + 108. Let f be 570/35*7/17 - 6. Is f less than h?
False
Let p = -0.016 + -53.284. Let d = p + 53.48. Is -4 <= d?
True
Suppose -1208*u = -1234*u + 260. Which is greater: 35 or u?
35
Let n = -25519/3 + 8375. Let b(s) = s**3 - 125*s**2 + 213*s - 11168. Let i be b(124). Which is greater: n or i?
n
Let n(v) = -13*v + 3 - 2*v**2 - 3 + 6*v. Let o be n(-5). Let p = -10 + -3. Is o bigger than p?
False
Let h(y) = 11*y**2 + 20*y + 52. Let l(i) = -5*i**2 - 10*i - 27. Let g(n) = 2*h(n) + 5*l(n). Let o be g(-6). Is o greater than -79?
False
Let m = 438 + -213. Suppose -m = -3*k - 2*k. Let g = k - 43. Does g = 7/3?
False
Let d = 6 - 2. Suppose -2*j = 3*x - 103, d*x + 100 = 3*j - 29. Let y = 47 - j. Which is greater: y or -1/11?
y
Suppose -3*y + 4 = 2*n, 2*y = -7*n + 8*n + 12. Let r be ((-2)/72)/(((-7)/n)/1). Which is smaller: 0 or r?
r
Let z = -3/3136 + 1215/40768. Suppose -2*c = -7*c. Do z and c have the same value?
False
Suppose -2*p = 0, -4*c + 3*c - 18 = 3*p. Let r = c + 13. Let w(j) = j + 5. Let l be w(-9). Is r bigger than l?
False
Let x = 9 - 7. Suppose x*b - 120 = 4*z, -3*b + z + 150 = 5*z. Let v = b + -41. Do 13 and v have different values?
False
Suppose -4*d = -2*j + 52, 4*j + 2*d - 135 = 9. Let i be (j/(-13345))/((-6)/10). Which is greater: i or 0?
i
Suppose 0 = -2*a + 5 + 1. Let w = 62 + -62. Let u be -4 - -7 - (w + -1). Which is bigger: a or u?
u
Let v(n) = -13*n - 11. Let a be v(-3). Suppose 0 = -3*r + a + 11. Suppose -5*h - r + 3 = -5*k, 4*k = 2*h. Which is greater: 0 or h?
0
Let s = 29905 - 23984. Are -0.2 and s non-equal?
True
Let p = -9994 + 9881. Does p = -146?
False
Suppose 3*t = 5*i + 8, -2*t + 3*i - 7*i = 2. Let y be (-1)/(26/4) - 1378/(-169). Suppose y*o - 23*o = -45. Is o < t?
False
Let i(z) = 78*z + 113. Let h be i(5). Let u = -502 + h. Which is greater: u or 24/19?
24/19
Let z = 7.447 + -7.476. Is z at most -1/22?
False
Suppose 4*f + 2*r - 5 + 1 = 0, 0 = 2*r + 4. Let m be ((-8)/4)/f - -3. Let n = 46 + m. Is -0.1 at least n?
False
Let w = 1/15 + 3/5. Let l be -3863*(2 - 1)*(0 + -11). Let o be (-1)/12 + (-14 - l/(-3036)). Which is bigger: w or o?
w
Let u = 320 - 316. Suppose -619 - 225 = -u*w. Is 211 bigger than w?
False
Let d = -1912 + 1780. Is d greater than or equal to -155?
True
Let s be 18 + -9 + -2 + 0 + 6. Which is smaller: s or 2?
2
Suppose 6 = q - 5*q + 2*x, 26 = q + 5*x. Let c(f) = 12*f**3 - 2*f**2 + 3*f + 1. Let g be c(2). Let z be (-48)/g + 7/(35/2). Is z at least as big as q?
False
Let v be (-20)/(((-21)/(-7) - 3) + 1). Let z be ((-10)/(-15))/(v/15). Let k = -0.8 + -0.2. Which is smaller: z or k?
k
Let j = -469 + 614. Suppose 0 = -57*o - j - 653. Is -166/11 bigger than o?
False
Suppose 28378 = 72*k + 1234. Which is greater: k or 354?
k
Let w be ((-2)/6)/((3/(-18))/1). Let n be (3 - 11/5)*(22 - w). Let f = n - 5. Is 8 != f?
True
Let j be (2*1/16)/(462/(-39732)). Is -342 bigger than j?
False
Let m(q) = 842*q + 1455. Let w be m(-6). Is w less than -3597?
False
Let o(x) = 2*x**2 + 31*x + 13. Let y be o(-15). Let g be ((-2)/y)/((-78)/1118). Is -13 greater than or equal to g?
True
Suppose -108 = 16*u - 412. Suppose -32*p = -u*p - 65. Do 3 and p have the same value?
False
Let p(m) = -5*m - 16. Suppose g = 3*z - 23 + 6, z + 21 = -3*g. Let l be p(g). Suppose 2*r = 3*a - 22, -4*r = -5*a + l + 16. Is -8 at least as big as r?
False
Let m = -8509 + 8508. Let w = -268 + 1872/7. Which is greater: m or w?
w
Suppose 107*r = 133*r - 3279276. Let x be r/495 + 4/(-5). Is 1 greater than x?
False
Let j(r) = -409*r + 976. Let h be j(3). Is h at most 14?
True
Let r = 42790/17 - 2517. Which is smaller: r or 0?
0
Suppose 0 = -2*m - 3*m. Let r = -29045/47 - -618. Let s = r + 81/611. Which is bigger: s or m?
s
Suppose 72 = 7*r + 37. Suppose -4 = -2*y - 0*y - 4*b, r*b + 5 = 0. Suppose y*m + 255 = -m. Is -50 != m?
True
Let w be 1 + 4 - 1/((-2)/(-4)). Suppose -4 = -w*q + 2, m - 5*q = -10. Let t be 10/(-14)*4/(-260). Is t greater than m?
True
Let r = -336519/4 - -83000. Are -1130 and r non-equal?
True
Let o be (-12)/(-90) + (-3446)/(-30). Let t = o - -98. Let q be t/(-495) + -6*3/(-45). Which is smaller: -1 or q?
-1
Let h = 917.4 + -917.483. Which is greater: h or -1/28?
-1/28
Let y = 7240 + -7239. Are 8/1331 and y nonequal?
True
Let u = 97 + -97.7. Let t = 0.38 + u. Is t less than -2?
False
Let i = -4551/5 - -40307/35. Suppose 4*q - 14*l + 10*l - 944 = 0, -3*q + 5*l = -698. Let j = q - i. Which is greater: 1/2 or j?
1/2
Let t(p) = p**3 - 5*p**2 + p + 10. Let y be t(4). Let s be 5*y/2*(-5)/(-25). Let a be (1/2 - s)*1040/840. Which is bigger: a or 3?
3
Let g = 4227.7833 + -0.7833. Let v = g - 4217.915. Let q = 0.085 - v. Is 0 < q?
False
Suppose 1642*j + 41256 = 1615*j. Is -1523 at least as big as j?
True
Let k be (-95)/(-1)*(-18)/(-30). Is 403/7 smaller than k?
False
Let i be (17 + (-214)/10)/(26/(-115)). Is 1/4 at least as big as i?
False
Let l(r) = -r**3 - 109*r**2 + 336*r + 398. Let h be l(-112). Which is greater: 9 or h?
h
Suppose -17 = -16*w + 15. Suppose -q = -j - 5, w*q - 4*j = -9*j - 25. Which is bigger: q or 19?
19
Let k = -218 - -519. Let y be 2/(-12)*-29*(-81)/(-1566). Is y equal to k?
False
Suppose -2*o - c + 423 = -3*o, 5*o + 3*c + 2099 = 0. Let t = 423 + o. Which is smaller: t or 7/4?
7/4
Let l = -8698 - -8264. Is l bigger than -1300/3?
False
Let h(p) = -31*p + 186. Let t be h(-8). Suppose -t = -24*w - 7*w. Are 20 and w equal?
False
Let s be -2*(-8)/(-16)*0. Let v(p) = -2*p**2 - 18. Let x be v(s). Is x greater than -1?
False
Let a be ((-12)/5)/(104/100). Let u be (-80)/10 + 2 - -4. Is u less than or equal to a?
False
Let q = 0.1821 + 45.8179. Let u = 12 - 10. Suppose -5*p = 2*m - 5, 4*p - 6 + u = -2*m. Is m greater than q?
False
Suppose 189*y + 28 = 2*t + 188*y, -3*t - 5*y + 55 = 0. Let g = -68 + 44. Let n = 23.6 + g. Is t at least n?
True
Let s(w) = w**2 - 13*w + 14. Let u be s(12). Suppose -u*c - h + 2 = 0, 2*c = 5*c + 3*h + 3. Suppose 27 = -c*d + 3*b - 60, d + 5*b + 5 = 0. Is d > -25?
False
Suppose 5 = o - 35. Suppose 3*v + w - 3*w - o = 0, -3*w = -v + 4. Let g be -8 - (v/(-4) + 3). Is -8 > g?
False
Suppose -2*o + 1731 = -61*y + 58*y, -5*o - 4*y + 4247 = 0. Which is greater: 858 or o?
858
Let f be (98 - 24) + (0 - 5). Let w be f - ((-6)/(-4))/((-4)/8). Let d(m) = -9*m**3 + 2*m + 3. Let y be d(-2). Is w >= y?
True
Suppose 0 = s - 5*i + 11, -2*i - 2*i + 4 = -2*s. Suppose 87 = -s*g + z, z - 108 = 9*g - 4*g. Is g greater than -62/3?
False
Suppose -3*g = -2*m - 499, 0 = -3*m + 5*g - 9*g - 774. Are -230 and m unequal?
True
Let k(a) = 6*a**2 + 17*a - 3. Let y(o) = 12*o**2 + 32*o - 5. Let n(t) = 7*k(t) - 4*y(t). Let g be n(-2). Let d be (-46)/6 - 1/3. Which is smaller: d or g?
d
Let f = 5401 + -10661. Is f at least -5261?
True
Suppose -5*l + 42 + 8 = 0. Let f be l - 6 - (7 + -3). Which is smaller: 3/451 or f?
f
Let b(x) = 754*x + 1. Let j be b(1). Let q = j - 9827/13. Suppose -13*m = -1648 + 1674. Which is greater: m or q?
q
Let a(w) = -w**3 - w**2 + 11*w + 3. Let g be a(-4). Suppose -j = g + 13. Let s be 8/j + (-292)/(-80). Is s smaller than -2?
False
Let