2 + 6)*m*22/24. Is -13 at least c?
False
Let t = -38 + 41. Suppose -8*h = -t*h - 10. Suppose -2*n + k - 4*k = 3, 5*n - 2 = h*k. Do -3 and n have different values?
True
Let x = -2065.6395 + 2055.1. Let v = x + -0.0605. Which is smaller: v or 1?
v
Let n(s) = 183*s + 54. Let j be n(-6). Let u be (-3*3/12)/(j/672). Which is greater: u or 0?
u
Suppose -2*s - 72*u + 77*u = -12, 0 = -s + 4*u + 3. Which is smaller: 72/7 or s?
72/7
Let s = -225.32 - -142.32. Which is smaller: s or -0.17?
s
Suppose 4*i + 731 = -365. Let s = 274 + i. Which is bigger: s or 18/23?
18/23
Let t = -3118 - -3119. Which is bigger: 17/35 or t?
t
Let u(p) = p**2. Let m be u(1). Suppose -3*q = -5*k + 13, -2 + m = -k + q. Suppose 2*a - 280 = -k*a. Is 40 less than a?
False
Suppose -13*u = -66*u + 530. Do 10 and u have different values?
False
Let y(o) = -2*o**3 - 81*o**2 + 52*o + 610. Let p be y(-41). Is 150 at least as big as p?
False
Let h = 345308727971/24505 + -14091358. Let o = h - 3/290. Are o and 1 equal?
False
Suppose -17*p = -32 + 100. Let m be ((-5536)/(-172))/8 + p. Let g = 1/29 + 55/87. Is m > g?
False
Let v = 13378 - 25632. Which is smaller: v or -12255?
-12255
Let g be -3 - -1 - (2 + -14). Let w be (g/(2 + -3))/(1 - 3). Let q be ((-1 - w)/2)/(-1). Is q not equal to 1?
True
Let n = 0.31 + 0.08. Let f = 6.1 - 5.81. Let p = f - n. Is 0.09 at least as big as p?
True
Suppose -20 = -5*f - 4*d, -d + 5 = 4*f - 0*d. Let w(u) = 7*u**3 - 2*u**2 - 2*u + 5. Let h be w(3). Is f less than h?
True
Suppose -144*k + 251*k = 0. Is 25/19 < k?
False
Let x = 48 - 48. Suppose r + 20 = -x*r + 4*v, 5*v = 2*r + 25. Let s = -3.5 + -10.5. Are s and r equal?
False
Let y = -271/7 - -9929/259. Let v = -8079 + 8080. Which is smaller: y or v?
y
Suppose 0 = 2*p - 5*s - 3, -2*s = -5*p - 4*s - 36. Let a = 291 - 639. Let h = a + 341. Are p and h nonequal?
True
Let y = 344 - 344.2. Which is greater: 34/15 or y?
34/15
Let r = 26 + -80/3. Let g be (-5 - -6)*(-2)/(-6)*0. Suppose g = 2*f - 8*f + 7*f. Which is smaller: f or r?
r
Let u be (4/18)/(4*2/12). Let t = 33 - 31.7. Let k = 10.7 + t. Is k less than u?
False
Suppose 11*x - 33 = 22*x. Suppose -4*c + 108 = -3*j, 0*j - 34 = -c - j. Let y = c + -24. Which is smaller: x or y?
x
Suppose -5*b + 8 = -w - 17, 4*w - 4*b = -20. Suppose 11*i - 6*i + 15 = w. Let r be (7 + -6)*i*2/(-24). Which is greater: -6/7 or r?
r
Let u = -1384.8 - -1385. Is u < 1.249?
True
Let y(l) = l - 9. Let b be y(10). Let o be b*-1 + (5 - (-2 - -6)). Suppose o*p = -4*p - 0*p. Which is bigger: -2/3 or p?
p
Let w = -17275 - -47005276/2721. Is w less than 1?
True
Let l = 710884402/11261 + -63128. Which is smaller: l or -1?
-1
Let y = -3101.4 - -3102. Which is smaller: 229 or y?
y
Suppose -5*v - 538 - 257 = h, h + 315 = -2*v. Let q = 331 - 490. Which is greater: q or v?
q
Suppose -76*q + 7657 - 2713 + 2276 = 0. Which is bigger: q or 101?
101
Suppose 39*w + 55*w = 57*w + 481. Let n(k) = -k**2 - k + 12. Let v be n(0). Is v < w?
True
Let v be (-21)/(-3)*((-20300)/(-98) + -18). Is 1322 <= v?
True
Suppose k + 5*o = 10, k + 3*o - 7 = -1. Let a be (30/(-1422))/((-5)/(-18)). Which is smaller: a or k?
a
Let l be (319/174)/((-1)/(-50)) + (-4)/(-12). Is l not equal to 463/5?
True
Suppose 0 = 57*g - 452 - 973. Is g at most as big as 92?
True
Let v be -4*(-1)/(-18)*4. Suppose -3*q + 2*l + 2 = 0, -4*q - 4 = -2*q + 4*l. Let k(a) = -a**3 + a - 1. Let o be k(q). Which is smaller: v or o?
o
Let w = 0.056 - 1.36. Let v = w + 0.304. Which is smaller: -13 or v?
-13
Let y = 156 - 28. Suppose -3*t - 36 = 3*r + 78, 4*r = 4*t + y. Let w = t + 47. Is 10 less than w?
True
Let s = 7749 + -4750139/613. Which is smaller: -7 or s?
-7
Let k be 3/((21/(-2))/(-7)). Let o(b) = -2*b + 34. Let x be o(17). Suppose 9*f - 18 = -x*f. Is f greater than k?
False
Let m be 10/4*(57/(-15) + 3). Are 2.736 and m non-equal?
True
Let t = 17186 + -82821/5. Is 621 bigger than t?
False
Let n = 132 - 27. Let f = n - 71. Is f <= 36?
True
Let q be (2/(-4))/(1/1776*2). Let d be (29/(-58) + (-154)/q)*6. Is d <= -1?
False
Let l = -16740 + 16725.18. Is l greater than -6?
False
Let f = 0.33 + -2.53. Let g = 2.3 + f. Let u = -661 - -633. Which is greater: g or u?
g
Let t = -3 + 0. Suppose 4*q + 3*f + 28 = 3*q, 2*f + 75 = -5*q. Let p(w) = -w**2 - 12*w + 8. Let z be p(q). Which is smaller: t or z?
z
Let p = -8332 + 8332. Do p and -50/147 have different values?
True
Suppose 107*g - 69172 = 113049. Is 1707 != g?
True
Let m(i) = 6*i - 2. Let t be m(4). Let c = 25 - t. Let y(u) = u**2 - 8*u + 5. Let j be y(c). Does j = -12?
False
Let x = 673990621/3382363408 - -11/4841169. Let r = -7/131 + x. Which is greater: 0 or r?
r
Let h(x) = -5*x**3 + x**2 - x + 1. Let r be h(1). Let a be 127/(-5) - r/10. Let t = 260.9 + -261. Are a and t unequal?
True
Suppose -359*f - 74459 = 65910. Is -366 at most as big as f?
False
Let w = -570803/21 - -27186. Let z = -4441/777 + w. Which is smaller: z or -1?
-1
Suppose 6 = -2*i, 2*i + 51 = a - 3*i. Suppose p = -2*u + 81, 2*u = u + p + a. Let g be 12/u*(-3)/(-24). Which is smaller: -1 or g?
-1
Let k be (80/(-18) + (-40)/(-10))/(-2). Is -1 bigger than k?
False
Suppose 4*y = -4*d + 56, 4*d - 75 = -2*y - 29. Let j = -396/19 + 2797/95. Is d greater than j?
True
Suppose -106*g - 180186 = -33888 + 153152. Is g greater than -2824?
False
Let m be (-315)/(-14)*22/1. Let d be (-538)/(-9) + 11/(m/10). Let t be (-7)/(-1*(-4)/d). Which is smaller: t or -106?
-106
Let u = -15606333/269656 - 1/33707. Which is smaller: -59 or u?
-59
Let r be 1*(-1)/(22/4 + -5). Let d be (15 - 14) + 1*r. Which is smaller: d or -5/31?
d
Let d = -279 + 281. Let u(g) = -2*g**2 + 14*g - 18. Let r be u(d). Which is smaller: r or 7?
r
Let v = 45812/467799 - 28/551. Which is bigger: v or -1?
v
Suppose 4*y + 2*x = 8008, 11*y = 10*y + 3*x + 1995. Let h = y + -90041/45. Is 1 smaller than h?
False
Let b = -12084242 - -1244564654/103. Let q = b - -1090. Which is greater: q or -1?
q
Let l = -9433 - -10398. Which is smaller: l or 962?
962
Let u be 4*(-2)/(-12)*9000/24512. Let r = 2/383 + u. Is 2/17 at least r?
False
Let a(c) = 2*c - 38. Let v = -63 + 81. Let b be a(v). Let r be ((1 - 28)*b)/(0 - 1). Is -1 equal to r?
False
Let s be (1230/(-1300) + 3/5)/(15/(-40)). Is s bigger than 2?
False
Let o = -3591 - -3590.9813. Which is smaller: o or 0?
o
Let q be (-112)/(-8) - 5 - (-700 + 11). Which is smaller: q or 5593/8?
q
Let o = -14028 + 14021. Which is bigger: o or -472?
o
Let j be ((-1)/(-2))/(3/(-36)). Suppose 5*z - 5*c = 0, 7*z + 9 = 3*z + c. Let b be (5 - (z - -6))*55/(-22). Which is greater: j or b?
b
Let h = -4202881 - -445482809/106. Let z = h + 213. Which is smaller: z or 2?
z
Let s be ((-4)/70)/(-18 - 6*(-2342)/780). Which is smaller: 8 or s?
s
Let y = -0.198 - -49.198. Let m = -49.16 + 1.16. Let f = y + m. Are f and -4 unequal?
True
Let p = -515 - -519. Suppose -m - m + 18 = 2*y, -p*y + 6 = -m. Is m greater than -0.042?
True
Suppose -3*w = 5*t - 1014, -3*t + 203 = w - 407. Let b be -4 - (t/25)/(-2). Do 5 and b have the same value?
False
Suppose -4*w - 2*h = w + 898, -376 = 2*w + 5*h. Let y be (8/12 + (-374)/21)*56280/5360. Which is smaller: w or y?
y
Let q = -13/1366 - -13816/1415859. Is q > -1?
True
Let h = 656.151 - 657. Let s = -11.151 + h. Let q = 1.8 + 0.2. Is q less than or equal to s?
False
Suppose c + 106 = -2*h, 2*h = 2*c - 2*h + 228. Let g(w) = 23*w + 3. Let j be g(-5). Is j greater than or equal to c?
False
Let f be (31/(-682) - 1234/(-44))*40*-1. Is f less than or equal to -1121?
False
Let x = 1.75 + 0.37. Let l = x + -3.12. Is 4.6 smaller than l?
False
Let t be 7/(168/15)*(16 - (16 + -8)). Is 157 < t?
False
Let l = -132 - -362. Let p = 179831/787 + -3/1574. Which is bigger: p or l?
l
Suppose -5*c + 34 = -26. Let y be 1 + 1 + c/(-5). Suppose 0 = -53*u + 55*u - 24. Which is smaller: u or y?
y
Let r = -1.9031 + -0.0969. Let o = -168 - -160.09. Let g = o + 8. Is g smaller than r?
False
Let h = 2260 + 8869. Is h less than -2?
False
Suppose 3*k - 8*k + 20 = 0. Let d be (2 - k - -56) + -4. Let t be ((-2)/6)/(14/(-2100)). Does d = t?
True
Let s be (-14392)/(-396) + (-14)/(-126). Is 37 greater than s?
True
Suppose -4*f = -0*f - 24. Let x be f/14 - 2080/(-112). Suppose 0 = 3*h - h - 40. Is x >= h?
False
Let o(b) = b**3 - 20*b**2 + 14*b - 27. Let j be o(19). Let h = -245/2