*h**2 + 2*h - h**3 + 2225*h**2 - 3. Let x be b(u). Are x and 2/13 nonequal?
True
Suppose -12*a = -54 + 18. Let h = a - -6. Which is smaller: h or 15?
h
Suppose -136*t = -288*t + 116*t + 410940. Are 11414 and t non-equal?
True
Let g be -8*(66/12 - 1 - 6). Suppose 3*p + 2*m - 6*m = -g, -2*m + 6 = 2*p. Which is smaller: 3 or p?
p
Suppose 3*u - 633 = 3*w, -9*w = -13*w + 8. Is u <= 230?
True
Suppose 0 = -3*c + 112 - 301. Let h = -118 - c. Let m be (h/(-28) - 3) + 1. Which is smaller: 0 or m?
m
Let t(d) = 4*d**3 + 21*d**2 + 4*d - 5. Let m be (0 - (-7)/(-14))/(1/10). Let b be t(m). Is b at most 3/10?
True
Let n(y) = 2*y**2 + 5*y + 6. Let z be (-3)/((-6)/4) + -4. Let u be n(z). Suppose -u*f + 7*f + 6 = 0. Which is smaller: -4/3 or f?
f
Suppose -4*n + 12 = 68. Let q = 17 + n. Suppose 3 = z + q*t, 1 = 4*z + 5*t - 4*t. Is z smaller than -6/11?
False
Let o be 24/30 - (-258)/(-135). Which is smaller: -1 or o?
o
Let f = 1.09 - -14.91. Let o = 13.3 - f. Let s = -3.1 - o. Which is smaller: s or -0.2?
s
Let g = 214.793 + -215. Let n = 0.793 - g. Are 11 and n nonequal?
True
Suppose -55*j + 62*j = 14. Suppose j*c = 3*v - 9, v = 11*c - 6*c + 3. Which is smaller: c or 3?
c
Suppose 43 = 2*f + 2*u - 3*u, 0 = -2*u - 2. Let y = -18 + f. Suppose -11 = y*t + 13. Which is greater: -1 or t?
-1
Let z be (256/52 + -5)*9. Let u = -2968 - -2968. Which is bigger: z or u?
u
Suppose -2*j - 7 = -f + 2*f, 5*j + f + 19 = 0. Let i(n) = n**3 + 4*n**2 + n + 3. Let v be i(j). Let h be 4 + (-1)/(-36)*-3*49. Which is bigger: v or h?
h
Suppose -2*m = 23 + 21. Let d(o) = -o**2 - 20*o + 43. Let r be d(m). Is r equal to 4/75?
False
Suppose 0 = -2*m - 10, 5*z - m + 201 + 484 = 0. Let k be z/(-33) - ((-175)/(-55) - 3). Let y be k/(-14) + ((-19)/7 - 1). Is -3 at most as big as y?
False
Suppose -3*k - k = -2*g - 50, 0 = -3*k - 3*g + 24. Let i(u) = 2*u + 5. Let c be i(7). Let b = 33 - c. Is b less than or equal to k?
False
Let p be (-5 - 146/(-30)) + 12271/(-105). Is p at most -144?
False
Let q = -18895.7902 - -18896. Which is smaller: -2 or q?
-2
Let q(b) = -b**3 - 9*b**2 - b - 10. Let k be q(-9). Let y be 4336/271 + 458/(-28). Which is bigger: y or k?
y
Suppose 2*v - 3*l - 11 = 0, 0*l + l = -5*v + 19. Let j be ((-424)/12 + 4)*(-6)/v. Let p = 46 - j. Which is bigger: 6/41 or p?
6/41
Let r be 75/12 + (-1 - 2). Let c(z) = z**2 - 39*z + 274. Let n be c(30). Which is smaller: r or n?
r
Let i = 0.5372 - 0.3372. Which is smaller: 21/2 or i?
i
Suppose -w - 6 = 372*f - 367*f, 2*f = -2*w + 20. Is 144/11 smaller than w?
True
Let x(u) = u**2 - 10*u + 10. Let y be x(7). Let r = y + 15. Let j be 4 + 3/((4 - 16)/(-4)). Is r smaller than j?
True
Suppose -4*f - 4*g = -36, -5*f - 4*g = -6*g - 38. Let r(k) be the first derivative of k**2/2 - 4*k + 277. Let c be r(f). Is 2 at most c?
True
Suppose -48*o + 0*o + 47 - 47 = 0. Which is smaller: o or 8/317?
o
Let m(a) = 81*a - 724. Let h be m(9). Let p(d) = 10*d. Let u be p(3). Suppose 3*y - 12 - u = -h*k, 0 = -4*y + 16. Which is smaller: 7 or k?
k
Let m(b) = 2*b**2 - 22*b - 14. Let t be m(11). Let a be 6/t + 6*(-2)/21. Which is greater: -17/11 or a?
a
Suppose 20*b = -583 - 597. Suppose 2*y = 5*y - 2*q - 187, 0 = -y - 5*q + 34. Let v = y + b. Is v at most as big as 6?
True
Suppose 3*o + g - 203 = 0, -5*g + 3*g = 2. Let q be 67 + (2/3)/(8/12). Is q equal to o?
True
Let a = 58 + -56. Suppose 0*k - 4 = -5*h + a*k, -4*h = 5*k - 23. Does 11 = h?
False
Suppose 3*s + 2*s - 4*x + 524 = 0, -3*s - 308 = -4*x. Let r be ((-275)/(-50))/(3/150). Suppose -864 = 283*m - r*m. Is s bigger than m?
False
Let r = -49 + 93. Let f = r - 43.973. Let w = 0.023 + f. Is w greater than or equal to 1?
False
Suppose -43*c + 19*c + 19*c - 2395 = 0. Is c <= 0?
True
Let s = 2193 + -1203. Let p = s - 558. Is p at least 1/2?
True
Let w(p) = -p + 10. Let x be w(4). Let n be (-4284)/12204 + 2/x. Which is smaller: n or -0.2?
-0.2
Suppose 46 = 5*j + 3*v + 218, 3*j + v = -104. Let o = -59 - j. Let s be 15/o*(3 - (-171)/(-60)). Which is smaller: 0 or s?
s
Let p = 63 - 27. Suppose -31*s + p = -27*s. Suppose 2 = -s*c - 52. Which is smaller: 2/7 or c?
c
Let a = 39 + -66. Let i = a + 25. Suppose -2*h = 58 - 30. Which is bigger: i or h?
i
Let w(r) = -36*r**2 + 12*r - 25. Let f be w(3). Let m = f - -185. Is m != -127?
True
Let g be (-99)/(-66)*28/108717. Is g smaller than 1?
True
Let s = -11/4237 - 19774046/12711. Which is smaller: s or -1557?
-1557
Let z(u) = 3*u**2 + 3*u - 2. Let s be z(1). Let t be 9/s*(-12)/(-45). Which is smaller: 0.07 or t?
0.07
Suppose -m + 162 - 95 = 0. Let q = -243 - -510. Let k be 10/40 + q/4. Is k < m?
False
Suppose 3*h = -d - 66, 3*d - 4*h + 2*h + 198 = 0. Suppose -2*n + 3*s = -29, 39 = -6*n + 23*s - 28*s. Which is smaller: d or n?
d
Let t be (6/104)/((-333)/444). Is -68 bigger than t?
False
Let i = 222 - 231. Let k be 90/i*(-6)/(-15). Is -4 at least k?
True
Let u = 540 + -540.82. Let t = -0.71 - u. Is t equal to -2/7?
False
Let o be -7 + (-420)/(-50) + (-8)/(-40). Which is greater: o or -1/359?
o
Let h = -28395 + 28349. Which is smaller: -19 or h?
h
Let z be 4/6*-18*1/(-3). Let p be (z - 2)*91/(-14). Let v = 1/33 - -59/231. Does p = v?
False
Let y be -3 - (((-21816)/519)/(-8) + -6)*3. Which is smaller: 0 or y?
y
Let g = -464 + 465. Is g bigger than -1.406?
True
Suppose 5*h - 120 - 130 = 0. Let w = h + -84. Let g be 4/w*2/4. Which is bigger: g or 1?
1
Let c = 1/507708 - 1015421/2538540. Let y = -69533035/145848 - -1/145848. Let u = -473 - y. Which is smaller: u or c?
c
Suppose -163 = -282*u + 119*u. Which is bigger: u or -166?
u
Suppose -m = 5*f + 548, -m + 552 = 68*f - 73*f. Is f at most as big as -108?
True
Suppose -12936 = -3*b + 3*p, 4*b - 1349 = -3*p + 15864. Are 4308 and b nonequal?
True
Let b = 238.45 - 263.45. Is 0.028 less than b?
False
Let g be (-9)/(-6)*24/9. Suppose g*c = -0*i - i - 4, -4*c - 16 = 4*i. Let f be 22/33 + (-4)/(120/155). Which is smaller: i or f?
f
Let u be 12/15*(-1155)/(-22). Let c be 7/(u/10)*-3. Which is greater: -45/8 or c?
c
Suppose 62 = 6*s - 22. Let y = s + -5. Suppose y*g - 440 = g. Is 0.1 at most g?
True
Let o = -9606 + 9427. Which is smaller: -190 or o?
-190
Suppose -2*g = 4*n - 3326 - 13156, -3*g + 20601 = 5*n. Is 8243/2 at most as big as n?
True
Suppose -2*m - 24 = m. Let k be (m - (8 - 4)) + (-4)/(-2). Let o be -1 + ((-231)/35 - 6/k). Is -8 at most as big as o?
True
Let o = 3573 - 3573.2. Is o > 26?
False
Let l be (-67)/67 + (-1 - -771). Suppose -775 = -6*r - l. Let z = 1719/11 + -156. Which is greater: z or r?
r
Let v = 7.048 + -7. Let f = -152 + 288. Let h = 136.2 - f. Which is bigger: v or h?
h
Let o be (-2)/(-6) - 28/92. Let l(z) = -z**3 - 5*z**2 + 372*z + 1505. Let t be l(-4). Is o smaller than t?
True
Let v = -28 + 50. Let p = 30 - v. Let u be (-2)/p + 5/(-12). Is u > -3/5?
False
Let u be (-2)/(-8) - 105/20 - 4. Let i be (-2)/u + 7 + (-448)/72. Which is smaller: 2/3 or i?
2/3
Let z = -202/3 - -14770/219. Let j(x) = -46*x - 12513. Let d be j(-272). Is z at most as big as d?
False
Let d be 2/(-2) - 111020/(-119133). Which is greater: 0 or d?
0
Let a = 1705159/60 - 113185/4. Which is greater: 122 or a?
a
Let x(w) = 5*w + 11. Let h be x(-4). Let j be (h/18)/((-5 + 4)/(-2)). Which is smaller: j or 1/598?
j
Let s be (-2 + 118/8)/((4389/76)/77). Let m(b) = -b**3 + 10*b**2 - 8*b + 10. Let i be m(9). Which is bigger: i or s?
i
Let t = 127097/6578838 + -1/22377. Is 0 at least as big as t?
False
Suppose o - 1243*m + 1239*m = -9, -4*o - 2*m = 144. Which is smaller: o or -31?
o
Suppose 0 = -3*n + 4*o + 26, -5*n = -3*o + 2*o - 49. Suppose -6 - 4 = n*x. Let t be (-555)/(-165) + (x - 2). Which is smaller: t or 1?
t
Let b = -23796 - -22821. Do -972 and b have different values?
True
Let g be (16/(-18))/((-2)/9). Suppose g*z - 18 = q - 3*q, -5*q - 11 = -4*z. Are -0.2 and z equal?
False
Let f = 1.221 - 0.921. Do f and -150 have different values?
True
Suppose 0 = -5*u - s + 279, 5*s + 47 = 2*u - 43. Suppose -u = 3*j + 2*y, 4*j = 4*y - y - 62. Which is greater: j or -23?
j
Let j = 12462 + -12461.9. Which is bigger: -1443 or j?
j
Let s be (0/(23 - 18))/(6 + -1). Which is smaller: s or 10/2409?
s
Let z(p) = -p**3 - 20*p**2 + 48*p - 67. Let n be z(-24). Let v be -2 + 3 + 4 - n/215. Is v greater than or equal to 1?
False
Let u(a) = -a**2 + 7*a - 2. Let l be u(6)