7090/2952 - 2) - 4. Let v = f + 83/36. Is v > 0?
False
Let j be (-2)/(-5) + (152/(-30))/(2/12). Is j smaller than -1240/43?
True
Let a = 16924 - 16937. Which is smaller: a or 12/29?
a
Let s(a) = a**3 - 16*a**2 - 19*a + 40. Let h be s(17). Suppose n = -h - 75. Let m = -82 - n. Which is smaller: m or -3?
-3
Suppose -2*t + 4*q = 3*q - 110, 4*t + q - 232 = 0. Let v be ((0 + -122)*-1)/1. Let o = v - t. Is o less than 64?
False
Let t = 3379/140 - 319/14. Let b = -8/5 + t. Are b and 66 nonequal?
True
Let d = -9.3 + 10.83. Let a = -6.585 - -7.585. Which is bigger: d or a?
d
Let c = 22 + -21.91. Let q = 0.19 - c. Let h(o) = -o + 15. Let g be h(15). Which is bigger: g or q?
q
Let o(i) = 3*i**2 + 4*i + 12. Let a be o(-5). Suppose 3*t + t + a = k, 5*t - 25 = 0. Let q = k + -61. Is 0.1 greater than or equal to q?
False
Let w be (-6868)/(-1204) - (-22)/(-77) - 8. Is w bigger than -2?
False
Suppose -s = -2*b - 217, 2*b + 2*b - 410 = -2*s. Let w = -210 + s. Which is smaller: -1/73 or w?
-1/73
Let r(w) = 191*w + 216. Let b be r(-1). Let z(v) = -v - 1. Let u be z(-4). Suppose -u*h = -8*h + b. Are 7 and h non-equal?
True
Suppose -5*w + 3*z = -0*z + 2655, -2*z = -3*w - 1593. Let x be (3/w)/(6/108*-3). Which is smaller: -11 or x?
-11
Suppose -c - 126 = -3*c. Let a = c - 78. Let s be (-3 + 36/20)*a. Is s greater than 19?
False
Suppose j + 4*q + 1 = -18, 0 = -4*j - 3*q - 11. Let a = 13 + -70. Let b be a/(-665) + (-4)/14. Which is smaller: j or b?
b
Let d(s) = 7*s - 20. Suppose h = 5*z - 17, 5*z - 9*z = -5*h - 1. Let g be d(h). Suppose -k + 0 = g. Is k bigger than -1?
False
Suppose y = 4*y - f - 4, 4*f = 4*y. Let c be (19 - -2)*(y + -3). Let q(i) = -i**3 + 4*i**2 + 8*i + 1. Let s be q(6). Are s and c non-equal?
True
Let v be (-3 - 11/(-2)) + 47/(-94). Let n = -2 + 4. Is v != n?
False
Let y = -8 + 7. Let x be y + -1 - (-18)/20. Let j be (-284)/3550 + (-3)/((-150)/(-296)) + 6. Is x > j?
False
Let j be 4/(-9)*3381/184 + 1. Let z = j - -23/3. Are z and 9 non-equal?
True
Let t = -628 - -640.44. Let m = t - 0.44. Let p = m + -11.9. Is -3.9 bigger than p?
False
Let i = -6 + -27. Let t be (-25)/(-3) - (-44)/i. Suppose 3 = 4*g + c, 0 = 6*g - 2*g + 3*c + t. Which is smaller: 26/9 or g?
g
Let p = 11647 + -11441. Which is greater: p or 221?
221
Let n(l) = 130*l**3 - 2*l**2 - 8*l + 9. Let y be (-14)/(-4)*(-14)/(-245)*5. Let q be n(y). Is 128 less than q?
True
Let a be (15 + (-254)/17)/((-86)/(-156) + -1). Which is greater: 0 or a?
0
Let u(s) = s**2 - 10*s + 23. Let y be u(6). Let o(a) = -2*a**3 - a**2 + a. Let g be o(1). Let c be g*(-52)/24 - 4. Which is smaller: y or c?
y
Suppose 0 = -d + 5 - 0. Suppose -3*s + 4*g = -d, 5*s + 2*g - 17 = -0*g. Suppose -q = 3*q - 4. Which is bigger: q or s?
s
Let t(p) = p**3 - 6*p**2 + 9*p. Suppose 7*h + 1 = 29. Let v be t(h). Suppose -v*r = 5*y - r + 11, -5*r = 10. Is y at most -12?
False
Let a = 34160 + -101606/3. Which is smaller: 292 or a?
a
Suppose -y + 6 = -s, -2*y + 10*s = 6*s - 14. Let d = y + 0. Is 3 less than d?
True
Let q be 78*(-6)/(-27) + (-1)/3. Suppose -2*j + 11 = -q. Let w be (2 + j/(-4))/39. Which is smaller: w or 1?
w
Let y = -1131500 + 708630. Let k = y - -335335612/793. Let o = -24/61 + k. Which is bigger: 0 or o?
0
Let u(q) = -8*q + 5. Let n be u(4). Let f = n - -31. Suppose 4*l = -2*o - o + 3, -f*l = o - 9. Which is smaller: 0 or o?
o
Let g = -8 + 146. Which is smaller: g or 140?
g
Let v(l) = -l**3 - 16*l**2 - 10*l + 64. Let b be v(-15). Is b >= -48/5?
False
Let r be (-10855)/(-30) + (-1)/(-6). Suppose -75*z + 1389 + 2637 = -23199. Are r and z unequal?
True
Suppose -202*o + 200*o - 4 = 0. Suppose 4*z + 72 = -4*u, 5*u = u - 2*z - 82. Let v be (-6)/27 - u/63. Is o != v?
True
Let y(v) = v**3 + v**2 + 27*v + 4. Let n be y(-11). Let g be n/351 + 2/(-6). Let h be (2 + -1)*2*-2. Is g <= h?
True
Let i = -3043.475 + 3046. Is i greater than 3/8?
True
Let r(j) = 26*j**2 + 27*j - 443. Let x be r(-19). Is 8429 greater than or equal to x?
False
Let q(t) = -4*t**2 - 3*t - 90 + 93 - 5*t + t**2. Let s be q(-3). Does s = -8/21?
False
Suppose -b + 5 = -4*t + 3, 92 = 4*b + 5*t. Let f(a) = -2*a**2 + 28*a + 15. Let l be f(0). Is l greater than or equal to b?
False
Suppose -11*n + 8*n - 7929 = 0. Let s be (0 - n/(-12)) + (-1)/(-4). Is s greater than or equal to -221?
True
Let d = -64 - -65. Let t be 2 + d*5*13/(-13). Is 0 at least as big as t?
True
Let s = -4864 + 4515. Is s at most -0.04?
True
Let x = -1608.2 - -1600.2. Is -3.5 equal to x?
False
Let f(m) = 27*m + 2158. Let r be f(98). Are 4804 and r equal?
True
Let g = -1798569505/7913 + 227293. Which is smaller: g or 0?
0
Suppose -162*z + 1164 = -83*z - 85*z. Which is bigger: z or -201?
z
Let n = 96981997169/2631522312 - 5/27129096. Let s be 221*2*(-30)/(-360). Let q = s - n. Is 1 greater than q?
True
Let r(h) = h**3 + 27*h**2 + 30*h + 114. Let w be r(-26). Let s be (-4048)/480 + -2 + w. Is s less than or equal to -1?
False
Let o = -7589 + 16741. Let a be ((-6)/(-4))/((-132)/o). Which is smaller: -105 or a?
-105
Let z = -19626 - -5355. Is 1 greater than z?
True
Let s be 34/(-153) - (-932)/(-18). Let x be (-16 - -10)/((-4)/2). Let n = x + s. Is n less than or equal to -49?
True
Let j(x) = 5*x**2 - 4*x - 4. Suppose z = -4*u - 55 + 678, -5*u = -3*z - 800. Suppose -152 + u = -5*l. Let m be j(l). Is 5 smaller than m?
False
Suppose -4*p - 6*y = -30, 65*p - 66*p + 4*y - 9 = 0. Is p equal to 25/11?
False
Let a(z) = 16*z + 117. Let b be a(-12). Let n(r) = 50*r + 77. Let h be n(-3). Which is smaller: b or h?
b
Let s = 4.11 + -5.21. Let k = 186.9 - s. Is -2 greater than k?
False
Let d be (45 - 12)/(3/(3*(-26)/21)). Suppose -c - 211 = 2*a + 3*a, -3*c = -3*a - 123. Is d != a?
True
Let s be (-3)/(18/(-24)*1). Let l be (0 + 0)*((-35)/(-10) - s). Let h = 179/4 + -45. Are h and l equal?
False
Let z = 4.3 + -0.3. Let w = -2173.6 + 2202.6. Is w bigger than z?
True
Let l = 9082.4 - 9083. Is l >= 152/7?
False
Let q = -322 + 451. Let v = 55 - q. Is v > 1/2?
False
Let i be (-427461)/74 + 1*(15 + -3). Are i and -5765 nonequal?
True
Let i(c) = -c**2 - 32*c - 31. Let f be i(-31). Suppose f*o = -14*o + o. Which is smaller: 11/17 or o?
o
Suppose -4*c = 5*p - 308, 3*c + 37 = -4*p + 283. Let m = -1091 + 1150. Is p less than or equal to m?
False
Suppose 0 = 25*h - 29*h - 424. Let j = h - -110. Let p be (-25 - (j + 0))/(-1). Which is greater: p or 31?
31
Let w = -582 - -598. Which is bigger: 113/7 or w?
113/7
Let o = 26588 - 14340. Let x be (-6)/(-8) - (o/32 - -8). Let z = x - -16774/43. Which is greater: z or 0?
z
Suppose 83*l + 48973 - 13200 = 0. Is l < -429?
True
Let y be (-2923)/13 - (2944/208 - 14). Is y smaller than -5?
True
Let r = 31/6218 + -64418759/55962. Let t = r + 1150. Are -1 and t equal?
False
Let r(i) = -6*i**3 + i**2 - 2*i - 2. Let v be 14/(-8) + -1 + 5/(-20). Let o be r(v). Suppose 8*m - 17 = o. Is 22 at most m?
True
Let o(r) = -r**3 + 21*r**2 - 63*r + 2613. Let f be o(23). Are 100 and f unequal?
True
Suppose 0 = y - 2*h + 1 + 1, 2*y - 2*h + 2 = 0. Suppose -6*v = -y - 6. Is v != 9/49?
True
Suppose 3*c - 4*l - 151 = 0, -41 = 3*l - 56. Suppose -3*k + h = -164, 5*k + 2*h - 268 = h. Which is bigger: c or k?
c
Let z(b) = b + 2 + 0*b + 2*b**2 - 3*b - b**3. Let x be z(2). Let a be (16/48*-1)/(1/6). Is x bigger than a?
False
Suppose -4*h = -22 + 78. Let b be 1/(2 - (-26)/h). Suppose b*s - s = 126. Is s at most as big as 19?
False
Let t(k) = 26*k + 16. Let d be t(4). Suppose b + 14*b = -d. Let l be (b/10)/(14/35). Which is bigger: l or 13?
13
Let c be 7/49 - (-2)/(-7). Suppose -3*n + n + 24 = 0. Suppose -7*v = -n*v. Is c at most v?
True
Let r(k) = k**2 - 9*k - 3. Let f = 13 - 5. Let g be r(f). Let a(l) = 18*l + 163. Let u be a(-9). Which is greater: u or g?
u
Suppose -g + 19 = 3*i, 25*g + 2*i = 19*g + 2. Is g < -230/71?
False
Let j = 11347 + -11346. Is -0.5546 less than j?
True
Let d be 25/(-5) + -1 + 943 - 12/2. Is 930 bigger than d?
False
Suppose -3*j + 7 = -2*c, 0 = 2*c - 6*c + 2*j - 26. Let w be ((-294)/(-56))/((-3)/c). Are w and 20 nonequal?
True
Let b(d) = 5*d**2 - 55*d + 3. Let r be b(11). Let j be -32 - (14 - r - 6). Which is bigger: -36 or j?
-36
Suppose -257913 = -3*t + 97191. Let c be (-2)/19 - t/1824. Is -66 less than or equal to c?
True
Let p(w) = 7*w**2 + 76*w - 237. Let n be p(3). Suppose 0 = 2*v - 