 Is o equal to 54/401?
False
Suppose 4*j = -4*u + 2 + 6, -4*u = 0. Let f be (209/(-38))/(j/16). Is -43 bigger than f?
True
Let s = -0.0462 - 2.6538. Let h = 3.2 + s. Does h = -1/4?
False
Let l = -4520 - -4524. Are -14/5 and l equal?
False
Let z = 1719 + -1718.9. Do z and 6.204 have the same value?
False
Let k = 9234/18323 + -154/251. Suppose 4*f - f = 0. Is k at most as big as f?
True
Let d = 8150383/31141 + -2879/11. Is 0 <= d?
False
Let c(r) = -r + 3. Let n be c(-1). Let f be 0/((16/4)/n). Let t be f + 1 + (-19)/((-133)/294). Is t less than 43?
False
Suppose -5*y = -0*y + 35. Let b(l) = l**3 - 8*l**2 - 23*l + 44. Let i be b(10). Let z = y - i. Which is smaller: -20 or z?
z
Let t = 4148 + -4232. Let p be (1 - (-19)/(-21))*-3. Which is smaller: p or t?
t
Let z(h) = 33*h - 15. Let i be z(5). Let g be (3/(i/2596))/(12/(-40)). Let t = g - -173. Which is smaller: t or 1?
t
Let n = -8/11 + -1/44. Suppose 1 - 31 = -6*r. Suppose 5*w - r*d - 11 = -d, -17 = w + 4*d. Are w and n non-equal?
True
Let l = 722 - 377. Suppose 12*w + 3 = 9*w. Let p be -5*w/l*-1. Is -1 equal to p?
False
Suppose 5*l + 2*t - 7749 = 0, 2*t + 7761 = 5*l - 0*t. Which is greater: l or 1552?
1552
Let a = 82 - 87. Let m be a + (-144)/(-66) + 4/(-22). Let l be ((-1)/m)/(5 + 0 + -4). Which is smaller: l or 16?
l
Let c = -4.01 - -3.51. Let f be 1/1 + 0 + (-1045)/760. Which is bigger: f or c?
f
Let o be -2 + -2 + 30/8. Let w(p) = -p**2 + 13*p + 24. Let f be w(14). Suppose -f = 7*g + 32. Which is smaller: o or g?
g
Let v = -13077 - -19627. Do 6550 and v have the same value?
True
Let b(c) = -612*c - 6317. Let g be b(-6). Is -2643 greater than or equal to g?
True
Suppose 0*m - m + 10 = 3*o, 4*o - 4*m = -8. Suppose -u - 7 = -o*u. Let a be 2/5 - 489/(-90). Which is greater: u or a?
u
Suppose -6*f + 156 = 342. Suppose b + 19 = 5*x, 4*b - 23*x = -21*x - 112. Does f = b?
False
Let k = 0.779 + 361.221. Let p = k + -361.9. Which is smaller: -86 or p?
-86
Suppose 6*r = 10*r, -2*z + 8 = -2*r. Are z and 88/21 equal?
False
Let i = -334 - -333. Let j be (-403)/(-39) - (3 + (0 - i)). Let o be 7 + -3 - (-2 - -1). Which is smaller: j or o?
o
Let j be (-4)/(-22) + 3/8 + 14654/(-20944). Is j smaller than -0.142?
True
Let c be (-234)/480 - (-1 + 7 + -12). Is 7 >= c?
True
Suppose v = 6*z + 471, 8*z - 5*z - 852 = -2*v. Is v at most 434?
False
Let i = 4693529488/221 + -21234897. Let g = i - 2793. Do g and -1 have the same value?
False
Let q = -168038 + 510286/3. Which is greater: q or 2058?
2058
Suppose -3*n = c + 25392, -9*c + 4*c - 110034 = 13*n. Is -8462 != n?
True
Suppose -18*c - 1402 = -6100. Which is smaller: 1832/7 or c?
c
Let i(m) = -m**3 + 2*m**2 - 1. Let c(p) = p**2 + 7*p - 6. Let n be c(-8). Let a be i(n). Let x be 1 - (a + (-8)/4). Is 6 < x?
False
Let c = 164 - 124. Suppose -4*r + 8*r = -c. Let g be 0 + (r/26)/((-3)/6). Is 0 at most as big as g?
True
Suppose -13*f + 6464 + 2721 = -825. Is 771 != f?
True
Let z be ((-8142)/115)/(4/(-10)). Let u = z + 39. Is 216 smaller than u?
False
Let h = -14346 + 13747. Which is smaller: h or -612?
-612
Let j = 2807/6 - 937/2. Is 271 >= j?
True
Let w = 0.06207 - 0.26207. Which is smaller: -1268 or w?
-1268
Let a = 47 - -37. Let i be 1177/14 - (-19)/(-267 - -1). Is a at least i?
True
Suppose 0 = -9*c + 4*c + 10. Let a(p) = -5*p**2 + 2 - 8*p + 5*p**c + p - p**2. Let o be a(-6). Which is bigger: o or 7?
o
Let x be 5/(-5)*(-1)/1. Let f be (-2)/(-2)*x*18/(-3). Suppose 2*v + 1 = -1. Are f and v non-equal?
True
Suppose -5*b + 0*b = t + 9, -2*b - 6 = t. Let c = -1631/5 - -325. Let z = -13/10 - c. Is b at least z?
False
Suppose n = 5*w + 11666, -2*w - 2447 = -2*n + 2229. Is w > -2331?
False
Let s = -157 - -222. Suppose -80 = -s*b + 61*b. Let q be (3 + b/(-8))*-12. Is -6 greater than q?
False
Let l = -510 - -2644. Let h be l/2415 + 6/(-10). Let x = h - -10/69. Does x = 0?
False
Let p be (-12)/(-32)*(-432)/7236. Let b be (-3)/(0 - 1) - 3. Is b > p?
True
Let o = 122 - 119. Let h be 11 + o + -7 + 3. Which is greater: 51/5 or h?
51/5
Suppose -4*s + 350 = -5*j, -4*j - 5*s + 117 - 438 = 0. Let t = -224/3 - j. Is t greater than or equal to 128?
False
Suppose 5*j + 1518 = 428. Suppose 149*f + 4782 = -27551. Is f equal to j?
False
Let z = -0.38292 - 0.21708. Is -938 not equal to z?
True
Let i be (3/12 - 1394/200)*(-135)/(-54). Suppose 0 = -5*p + z - 95, 5*p + 2*z + 26 = 3*p. Which is bigger: i or p?
i
Let c = -46 + 46. Suppose -n + c + 3 = 0, 2*z = -2*n + 10. Let l(d) = d - 1. Let s be l(z). Is s bigger than 2/33?
True
Suppose -22*x - 7063 - 8505 = -6*x. Is -976 less than x?
True
Let w = -4326 + 4323.293. Is 1/2 > w?
True
Let t = 75 + -57. Suppose 2*i - 4*c - 21 = c, -4*i - 2*c = t. Let n(r) = r**2 + 3*r + 2. Let w be n(-2). Do w and i have different values?
True
Let y = 6168 - 5387. Is y less than 781?
False
Let l be 2295/(-60)*16/366 + 0. Are l and -3 unequal?
True
Let u = 683 - 680. Suppose -u*h = 2*o - 237 - 72, 0 = 3*o + 9. Is 415/4 != h?
True
Let u(k) = 2*k**3 - 31*k**2 + 16*k - 10. Let h be u(15). Suppose h*n - l + 363 = 0, -5*n - 3*l - 353 = -2. Let c = n + 52. Which is smaller: -1 or c?
c
Suppose -21*r - 5016 = -54*r. Are r and 1980/13 unequal?
True
Let b = 11/60568667 + 114769083730285/290002777596. Let h = -1583/4 + b. Which is greater: 1 or h?
1
Suppose -i = -1 - 3. Suppose -4 = -i*g + 6*g. Let q be (-1)/3 - (224/(-231))/(-2). Is q smaller than g?
False
Let g = -20.3 + 8.3. Let c = 0.5 - 13.5. Let r = c - g. Is -2.3 > r?
False
Let i = -276725 + 12932681/47. Let p = i + 1562. Which is bigger: -1 or p?
p
Let b = -33147 + 2784265/84. Is -2 bigger than b?
False
Suppose 0 = 5*c + 5 - 25. Let p(d) = -d + 9. Let y be p(c). Let q = 10 - y. Is q <= 7?
True
Suppose -15*o - 5*f = -20*o + 845, -3*o + 4*f = -503. Suppose -6*x - o = 1. Which is greater: x or 1/10?
1/10
Suppose 2*n - 426 = 3*o, -4*o - 790 = -5*n + 289. Let u = 1749/8 - n. Is 25 >= u?
True
Let r be (-64)/40*(-17)/68. Which is smaller: -2334 or r?
-2334
Suppose 21*c - 836 = -2096. Which is greater: 21.2 or c?
21.2
Let r be (-118)/(-12213)*(-18)/582. Is 1 <= r?
False
Suppose 319*v + 658 = 317*v. Let h = v + 251. Is -79 greater than or equal to h?
False
Let a(c) = -56*c**3 - 2*c**2 + 4*c + 5. Let p be a(-1). Let k be (-113)/p + (0 - -2). Let w = 2 + -3. Which is greater: k or w?
k
Let y = -9 - -24. Suppose -5*v + 145 = -y. Suppose -10*j + 14*j + v = 0. Which is smaller: j or -9?
-9
Let b be (-3)/(1 + -2) - -2. Let q(l) = l**2 + 5*l - 6. Let v be q(-6). Suppose v = b*j + 72 + 13. Which is bigger: -15 or j?
-15
Let r = -731.078 - -7.128. Let a = r + 724. Let d = 6.97 - -0.03. Which is bigger: d or a?
d
Suppose -9*c + 1012 = 4. Let b = 112 - c. Is b at least as big as -2/63?
True
Suppose k = 2*z + 58, 2*z = -62*k + 65*k - 214. Let u = -9 + -173. Let h = u - -261. Which is smaller: h or k?
k
Let r be (480 + 4 + -6)*(-3)/26. Is r greater than -56?
True
Let s = 150/13 - 8002/689. Suppose 0 = 2*t + 3*z + 35, -4*z - 23 = -3. Let c be (-12)/t - (-1)/(-5). Which is smaller: c or s?
s
Let k(v) = -2*v**2 + 1. Let n(w) = -18*w**2 + 15*w - 67. Let i(m) = 6*k(m) - n(m). Let b be i(9). Is b equal to 424?
True
Let j = -100.8 - -100.8. Is -3/215 >= j?
False
Let n = -144963 - -1044748339/7207. Let c = 100948/180175 + n. Are 2 and c non-equal?
True
Suppose -4*s = -2*g - 20, 4*s - 3*g = -9 + 25. Suppose 2*z = s - 3. Let a = 225 + -223. Is a <= z?
True
Suppose 0*m + 5*w = -4*m + 1076, w = -5*m + 1324. Let q = m - 2637/10. Which is smaller: q or -1?
-1
Suppose 44 - 44 = -15*a. Let r = 1829/851 + -37/23. Which is smaller: a or r?
a
Let r = 12543 - 12674. Is -121 at most as big as r?
False
Let z(p) be the first derivative of -p**3/3 - 8*p**2 + 40*p - 107. Let v be z(-19). Let b be 3/((-35)/16 + 2). Is v at most b?
True
Suppose -394*v + 3 = -397*v. Let m(g) = 4*g + 159. Let d be m(0). Let i be 28/(-7) - (-639)/d. Which is smaller: i or v?
v
Let n = 1 + 0. Suppose 0 = -47*u + 725 + 13751. Let q be ((-88)/u)/(22/(-7)). Is q at least as big as n?
False
Suppose -9 = x + 5*a - 80, 0 = -4*x - 3*a + 165. Is -12 greater than or equal to x?
False
Let u = 11106625024928538313/233583955112606 + -151857383/284887318. Let p = u + -1378897/29. Let d = 2/577 - p. Is 0 at least d?
True
Let x(o) = 6*o**2 + o - 5. Let v be x(2). Suppose 4*q - 37 = -v. Suppose -q*