v = -625 - -373. Let x = v + 263. Is x equal to 98/9?
False
Let h = 7462 - 7553. Is -123 at least as big as h?
False
Let f = 13/254 + -77877/508. Which is greater: -2 or f?
-2
Suppose -o - 4*b - 120 = 0, 5*b - 91 + 61 = 0. Do o and -138 have the same value?
False
Let u be ((-6)/(-15))/((-1106)/420). Let y = u - -2561/17380. Which is greater: -1 or y?
y
Suppose -4*o + 1887 - 1352 = -3*v, -3*v = -3*o + 531. Is -187 at least v?
False
Suppose -5*v + 0*v = 680. Let l be 36/v - 8/16. Which is greater: l or -1?
l
Let j = -10831 - -6138. Which is smaller: -4691 or j?
j
Let u = 4 + 167. Let w = -171 + u. Is w less than -2/55?
False
Suppose 2*y - 52 = -f, -f + 39 + 20 = -5*y. Suppose 0 = -24*c + 134 - 38. Let g be (-3)/f*(c - 0). Are -0.2 and g nonequal?
True
Let r = 172.95 + -173. Let l = -7 + 6.75. Let y = l - r. Is y at least as big as 0.26?
False
Let c = 38507/3 + -12995. Let t = 160 + c. Which is greater: t or 8?
8
Let h = 56377 + -55586.03. Let y = 791 - h. Which is smaller: 5/4 or y?
y
Let d = -2861608/6165 - 188/685. Which is greater: -465 or d?
d
Suppose 0 = -2916*x + 2775*x + 155382. Is x at most 14310/13?
False
Let v be (-2)/3*(0 + -1 + 4) + -1397. Does -7001/5 = v?
False
Let o be 48 - 1716/39 - (-17914 + 0). Is 17918 >= o?
True
Let i(q) = -9*q - 9. Let x(v) = -4*v - 4. Let b(t) = -4*i(t) + 10*x(t). Let m be b(-3). Suppose -m*h + 5 = -9*h. Is -9/2 less than or equal to h?
False
Suppose -3*v - 108 = -5*h, 8*h - 2*v - 107 = 3*h. Suppose 5*m - h = 29. Suppose -m = 4*i - 9*i. Which is smaller: 7/6 or i?
7/6
Suppose -29341 = 15*i + 45708 - 15469. Is i greater than -3972?
False
Let a = -1.1795 + 1729.1795. Is 2/15 at most as big as a?
True
Let q = 573 - 482. Let n be 8/104 + (-7)/q. Does -5/113 = n?
False
Let m(l) = -281*l + 563. Let j be m(2). Which is bigger: j or -5/1021?
j
Let m = 9609 + -10422. Which is smaller: m or -815?
-815
Let p = 112 - 58. Let a = p + 25. Suppose -4*n - a + 131 = 0. Is -2 smaller than n?
True
Let w(i) = 271*i - 1928. Let l be w(7). Is 2/123 greater than l?
True
Suppose -15 = 4*j - j + 5*x, 3*j - 2*x = 6. Let c be 21/84 - (j + 0). Which is smaller: c or -0.092?
-0.092
Suppose -4*f + 9*f - 315 = 0. Let k = -15 + f. Let l = 137 - 90. Is k bigger than l?
True
Let i(r) = -2*r**3 - 91*r**2 - 46*r - 39. Let h be i(-45). Let y be (h - (-23)/(-2)) + 2. Which is smaller: y or 2?
y
Suppose 5*t = -5*q - 0*q - 15, -5*t = -4*q + 15. Suppose q = 6*n - 4*n - 6. Let m be 24/90 + n/(-5). Does m = 9?
False
Let r be 142872/182 + 3/(15/(-10)). Let u = r + -783. Which is smaller: u or 0?
0
Suppose 19*q = -24*q + 215. Suppose -3*v + 80 = -4*x, 4*v - q*x - 29 - 76 = 0. Which is smaller: v or 234/11?
v
Let a = -10552 - -10546. Is a at least as big as 0.0221?
False
Let y = 124 - 126. Let m(s) = -s**3 - 3*s**2 - 3*s - 2. Let u be m(y). Which is smaller: -3/23 or u?
-3/23
Let o(l) = l**2 + 4*l - 20. Let c be o(-7). Suppose 10*n + 30 = 12*n. Let x be ((-18)/n*c)/(21/(-2)). Which is greater: 1 or x?
1
Suppose -5*r = -3*t + 59, 3*t + 2*t = -r + 145. Suppose 5*u = -3*h - 5, -2*h + 3*u = -0*h - 3. Let y(k) = -k**2 + 27. Let o be y(h). Is t < o?
False
Let r(f) = -f**3 + 30*f**2 - 24*f - 61. Let c be r(29). Let u = c + -72. Is u equal to -5?
False
Let y = 8.058 + -8.07. Is y at most -2/47?
False
Suppose -22 = -4*y + h, -2*y - 2*h = 2*y - 28. Let t(m) = y*m + 8*m + 3*m + 8 - 16*m. Let n be t(-11). Is 2 <= n?
False
Suppose -32 = 4*h + 8. Let t(y) = 211*y - 237*y**3 - 116*y + 238*y**3 - 116*y + 8*y**2 - 4. Let p be t(h). Which is bigger: p or 41/6?
41/6
Suppose -k - 3*r + 13 = -4, -r = -3*k + 1. Suppose k*y = 7*y - 15. Let u(v) = -13*v + 7. Let n be u(y). Which is bigger: -30 or n?
-30
Let s(u) = 10*u**2 - 3*u - 5. Let p be s(-2). Suppose 5*q + 3*b - 4*b = p, 5 = q + 3*b. Let l be 20/6 + 4 - -1. Which is greater: l or q?
l
Suppose b + 11 = 2*c, -5*c - b + 7 + 3 = 0. Suppose -2*v + c = -5. Suppose v = y + 1. Is y at least as big as 0?
True
Suppose 0 = -12*l + 8*l + 12. Let k(i) = -10*i - 6. Let j(o) = -10*o - 6. Let h(n) = l*k(n) - 4*j(n). Let b be h(5). Is b at least 55?
True
Let t(b) = 5*b + 23. Let s be t(-4). Let q be (-2)/6*s + 5 + -5. Are q and 9/31 unequal?
True
Suppose 2*q = 4, 4*c = -3*q + 8*q - 4758. Is c > -1187?
False
Let g be ((-24)/168 - (-10)/(-28))/(3/204). Is g equal to -44?
False
Let x be (0 - 2/111)/((-85)/15). Let g = x - -625/1258. Which is bigger: g or 19?
19
Let q be (-26)/221 - ((-438)/(-34) + -1). Which is smaller: -15 or q?
-15
Suppose -30 = 25*b - 31*b. Let p be b - ((-29)/(-3) + -4). Let u = -617/23 - -27. Which is greater: u or p?
u
Let u = 45 + -67. Let i = -371/6 - 1577/6. Let y = 324 + i. Which is bigger: y or u?
y
Let r be -2 - ((-7)/5 - 1). Suppose 3*y + 7*o = 3*o - 5, -5*y = -2*o - 9. Let x be y/5 + 104/130. Is x bigger than r?
True
Suppose -6*b = -21*b - 23*b - 45*b. Which is greater: 1/219 or b?
1/219
Let x = 402 + -214. Let w be (-34206)/(-180) - 108/3240. Is x greater than or equal to w?
False
Let c = 1899/5 - 5707/15. Is c smaller than 2.6?
True
Let t = -7357 + 1052047/143. Let h = t + 38/429. Do h and -13/4 have the same value?
False
Let z = -3222 + -1194. Let p be z/2214 - (-1)/((-3)/(-6)). Is p less than or equal to -1?
False
Let z = -21 - -17. Let k = z - 65. Let y = k - -68. Is -3/7 at most y?
False
Let i(w) = w**2 + 9*w + 7. Let h be (-78)/9 + (-4)/(-6). Let j be i(h). Is 0.055 equal to j?
False
Let p be (-1)/((-2)/8*1). Let r = -1204 - -1209. Suppose 58*h + r + 53 = 0. Is h != p?
True
Let x(i) = i**3 - 14*i**2 + 51*i - 494. Let q be x(13). Are q and -8/797 equal?
False
Let h be -19 - 60/40*((-3)/1 - -1). Which is greater: 0.055 or h?
0.055
Let u = -39 - -41. Suppose -j + u = -1. Suppose -c = -j*c. Is c > 2/9?
False
Suppose -2 = -3*l + l. Let k = 146/35 + -4859/1190. Do l and k have the same value?
False
Let k = 27 + -39. Let v(m) = m**3 + 17*m**2 + 15*m - 31. Let x be 2/(((-35)/40)/7). Let b be v(x). Is b not equal to k?
True
Let u = 17.192 + -14.192. Let c = -1.1 + 0.1. Let d = c + u. Which is smaller: d or 2.4?
d
Let n = 0.3724 - 1.7724. Is n at least -1/8?
False
Let l(h) = h**2 - 4 + 2*h**2 - h + 6 - 3*h**2 + 19*h**3. Let i be l(1). Is 13 at most i?
True
Let u be (-440)/165*(-3)/2 + (-4)/1. Suppose -2*h - 5*j + 31 = 0, -4*h - 2*j - 4 = -26. Suppose 0*w + 24 = -h*b + w, -3 = w. Which is greater: b or u?
u
Let d(r) = r**2 - 5*r - 14. Let s(p) = -5*p - 16. Let t be s(-8). Suppose 2*f - t = -f. Let m be d(f). Is m equal to 7?
False
Let y be 487/(-477) - 348/(-348). Do 1 and y have the same value?
False
Let i = -8790 - -8790. Which is smaller: i or 21/148?
i
Let p be (-205)/10 + (-1)/2. Let x = -54 + 52. Let h be (-804)/36 - x/6. Which is smaller: h or p?
h
Let r be 75/(-243310)*2/(-10)*4/(-3). Which is bigger: r or -1?
r
Let v = -237 - -256. Suppose -v*t - 23 + 4 = 0. Is t smaller than -1/30?
True
Let x = 26792.1156 + -26792. Which is greater: 10 or x?
10
Suppose -7*c - 310 = -5*d - 4*c, 5*c + 62 = d. Let g(r) = r**3 + 7*r**2 - 4*r - 1. Let k be g(-4). Which is bigger: d or k?
k
Let n be 6*-1 - (-18*4/16 - 2). Let m = 24 + -18. Which is bigger: m or n?
m
Let l be -1 - (30/(-32) + 0). Let n(h) = h**3 - 17*h**2 + 17*h - 17. Suppose -x = -82*t + 77*t + 83, x = 2*t - 35. Let y be n(t). Which is smaller: l or y?
y
Let o(t) = -15*t - 1086. Let v be o(-58). Is -208 smaller than v?
False
Suppose -40*l = -42*l + 196. Suppose 0 = 2*x + l - 460. Which is smaller: 180 or x?
180
Suppose -260*m + 19 + 241 = 0. Is m > 5/413?
True
Let v be ((-160)/64)/(15/(-6)). Is -2/3409 smaller than v?
True
Suppose -2235*s - 4*p + 60 = -2231*s, 3*s + 4*p - 41 = 0. Let q be (-2)/6 + 37/3. Which is smaller: q or s?
q
Let w be 2168/3 + (-10)/15 + 1. Let m = w + -142430/197. Let u be (53/106)/(1/(1*-2)). Is m smaller than u?
False
Let u = 3/5024 - 96173/1200736. Is u < 1?
True
Let j(i) = -2*i**2 - 13*i + 2. Let b(a) = a**3 + 15*a**2 - 16*a - 8. Let t be b(-16). Let h be j(t). Let k be (4/h)/1 - (-91)/77. Which is bigger: k or 2/95?
k
Let t(z) = 4*z**2 - 109*z - 561. Let h be t(-5). Which is smaller: h or 113?
h
Suppose 110 = 13*a - 8*a. Suppose 0 = 11*z - 0 + a. Does z = -3?
False
Suppose -3*w - i + 166 = 0, -6*w + 7*w - 62 = 3*i. Let v be (6 - 12)/((-53)/w - -1). Are v and -112 non-equal?
False
Let t = -1981.4 - -1981.2. Which is smaller: t 