ppose -5*n + 4*b = -4*n - 1, 5 = 5*n + 2*b. Which is smaller: n or -30/329?
-30/329
Let j(f) = -f**3 - 26*f**2 + 271*f - 54. Let a be j(-34). Which is smaller: a or -324/17?
a
Let f = 7622 - 7633. Which is smaller: -9 or f?
f
Let q(l) = l**3 + 4*l**2 + 20*l + 207. Let d be q(-6). Which is smaller: d or 17?
d
Suppose -19*y + 5*y = 756. Let n = 45 + y. Let h be n/(-7) - 36/126. Is 6.5 < h?
False
Suppose -2*y = 2*s - 2, 5*s + 8*y + 3 = 7*y. Which is smaller: -4/1075 or s?
s
Suppose -92*o - 24 = -96*o. Let w be 112/12 - 2/o. Are w and 19 non-equal?
True
Let l be (2/(-48))/((-2)/9). Let x(y) = 9*y - 63*y**2 - 42*y + 62*y**2 - 56 - 5. Let v be x(-31). Is v bigger than l?
True
Let d(i) = i**2 - 30*i - 72. Let b be d(33). Suppose j + b = 29. Which is smaller: -3/2 or j?
-3/2
Suppose -12508 = 255*y - 43*y. Which is bigger: y or -63?
y
Suppose -4*o + w - 4 = -5*o, -o + 2*w = -10. Let r be ((-6)/(-9))/((-2)/o). Let u be ((-2 - (-5 - (-108)/24)) + -2)*30/112. Are r and u unequal?
True
Let z = 448 - 496.6. Let j = z - -48.5. Which is greater: 0.44 or j?
0.44
Suppose 112 = -4*c - 4*u, -4*c + 3*u = -c + 108. Let h be 6 + -11 + (-145)/(-5). Let k be (-2)/3 + c/h. Is -9/7 smaller than k?
False
Suppose 2*o - 10 = 0, 2*i - 4*o + 12912 = -0*o. Let l be i/(-18) + -1 + 2. Let f = 358 - l. Which is smaller: 0 or f?
f
Let a(g) = 6*g - 20*g**2 + 6*g**2 + 13*g**2 + g + 4. Let n be a(8). Let x be (1 + 0)*(-1)/(-2)*n. Is x bigger than -4/3?
False
Suppose 1026*l - 1013*l = -832. Does -63 = l?
False
Let d be (-94)/564 - 110/(-12) - (-177123)/(-19681). Is d less than -1?
False
Let p be 1 - 39/33 - (3 + (-1076)/594). Which is greater: 0 or p?
0
Let p be (-2)/(-3)*200016/(-112). Is p less than or equal to -1190?
True
Let v be (-513)/4712*-4 - (-1)/(-2). Which is greater: -37 or v?
v
Suppose 2*m - 19 - 124 = -5*c, -127 = -5*c + 2*m. Which is bigger: c or 157/6?
c
Let x be (-4 - (-6 - -3))*((-22)/(-2))/11. Is -1/3836 < x?
False
Suppose -207*x + 9266 = -25096. Which is smaller: 1333/8 or x?
x
Let a = -5440 + 7734. Which is greater: a or 16060/7?
16060/7
Let d be (3/9)/(2/18). Suppose 3*z = 2*l + 7, 2*l + 37 = -d*l + z. Let w be 1 - 3/(3 + -6). Is l >= w?
False
Let l = 466.3 - 466.409. Which is greater: 5/2 or l?
5/2
Suppose 4*c - 2*g - 40 = 5*c, 114 = -3*c - 3*g. Let l(d) = -3*d - 3. Let u be l(10). Which is greater: u or c?
u
Let d(y) = -3*y**3 - 37*y**2 - 41*y + 34. Let w be d(-11). Which is greater: -10/117 or w?
w
Let x(c) be the first derivative of -c**3/3 + 7*c**2/2 + 8*c - 122. Let h be x(8). Is h greater than 2/443?
False
Suppose 21*j - 442 - 793 = 2*j. Is j not equal to 1090/17?
True
Let y(i) = -2*i**2 + 203*i + 520. Let z be y(104). Which is smaller: z or 34/125?
z
Let h be 10/(-35) - (-76)/(-126) - (26 + -27). Which is smaller: -88.3 or h?
-88.3
Let w(b) = b**3 - 3*b**2 - 4*b - 3. Let n be w(-2). Let i = -3201 - -3185. Are i and n equal?
False
Let f = 2 + -2. Let j(w) = 23*w - 114. Suppose 46*k - 32*k - 70 = 0. Let s be j(k). Which is bigger: s or f?
s
Let f(z) = -z**2 - 55*z - 263. Let p be f(-49). Which is bigger: p or -43?
p
Let x = 0.3 + -20.18. Let z = 19.9 + x. Is z smaller than 1?
True
Let m be (-13030)/(-6) - ((-99)/(-27))/(-11). Suppose 0 = -9*a - 1302 - m. Is a greater than or equal to -386?
True
Let u(q) = -q**2 + 4*q + 11. Let j be u(-4). Let o = -18 - j. Which is smaller: 17 or o?
o
Let o = 199 - 207. Let v = o - -47. Is 0.1 at most as big as v?
True
Let h be ((-333)/16)/(6/(-8)). Suppose -b - 61 = 13*z - 12*z, -12 = 3*b. Let q be (z + 29)/(0 - 1). Which is greater: h or q?
q
Let i(r) = r**3 + 16*r**2 + 34*r + 286. Let q be i(-15). Let o = 9/5876 - 1/52. Is q greater than o?
True
Let q = -14132 - -9129. Is -5004 < q?
True
Let w(g) = -g. Let j(x) = 19*x + 143. Let u(i) = j(i) + 5*w(i). Let l be u(-10). Is 3 <= l?
True
Let l = -166 + 189.1. Let w = 0.9 + l. Which is greater: -2/5 or w?
w
Let q = -8408 - -8401. Which is smaller: q or -52?
-52
Suppose h = 4*h. Let m be 4/4*(-150)/(-2625). Is m at most h?
False
Let c = 1.01465 - 0.01465. Which is greater: c or 0.0227?
c
Let y be 12/66 + (-365)/(-6160). Which is bigger: y or -1?
y
Let i be 2/(-6) - 290/3. Let h(w) = 883*w + 2553. Let s be h(-3). Is s at least i?
True
Let f be (-1 + (-13)/5)*(1081/(-69) + -21). Which is bigger: f or 74?
f
Let x be (-5)/(-195)*6 + (-165)/(-1040). Suppose -3*u + 10 - 7 = 0. Is x at most u?
True
Suppose -5*k + 125 - 115 = 0. Suppose -b + k = 5*o, 0*o + 2*o - 3*b = -6. Which is greater: o or -3/5?
o
Let d = -9.96 - 128.04. Are d and 2/25 non-equal?
True
Suppose 12*q - 268 = 92. Suppose 12*i - q = 6. Let f = -0.3 - -0.8. Is f less than i?
True
Suppose -7*b - 60 = -3*b. Suppose -2*l + 4*v = 62, -3*l - 2*v - 138 = v. Let p = -54 - l. Are b and p unequal?
True
Let b(r) = -114*r + 1369. Let f be b(12). Let m = -1669 - -141867/85. Which is smaller: m or f?
m
Let n = -1449/24055 - -2/1415. Let h be (((-76)/(-34))/2)/(-2). Let u = n - h. Which is smaller: -1.1 or u?
-1.1
Let z = -0.3444 - -0.0234. Let w = -0.721 - z. Do -19 and w have different values?
True
Let z = -2753.9 - -2754. Is z < 55?
True
Let x = 103 - 58. Suppose 0 = -5*r + 5*w + x, r = -r - 3*w + 8. Let s be ((-4)/10 + r/(-20))/(-3). Is s <= -0.7?
False
Let z(i) be the first derivative of i**2/2 + 30*i + 6. Let w be z(-19). Let t be 6/15 - 46/(-10). Which is greater: t or w?
w
Suppose -20 - 4 = -3*a - 3*t, 5*a = 3*t. Suppose -60*r - a = -63*r. Is 1/77 <= r?
True
Let c be (-7)/(14/(-20)) + 78. Is 29 > c?
False
Let k(d) = -3*d**2 - 46*d + 280. Let u be k(-20). Is 10/127 less than or equal to u?
False
Suppose 0 = -4*v - t - 41434, -31*t = -5*v - 36*t - 51785. Is -10359 less than or equal to v?
True
Let l = -3040.69 - -3041. Which is greater: l or 0.36?
0.36
Let z = 4371 - 4196. Which is smaller: 0.5 or z?
0.5
Let s = -288 - -288.1. Let d = -0.2 - s. Let y = 14 + -29. Is y < d?
True
Let n(b) = -360*b + 1234. Let v be n(-3). Is 2312 at least as big as v?
False
Let g be (43 + -44)/(2/(-4)). Suppose 3*o + 12 = g*w + 49, 2*o = -3*w + 3. Which is smaller: 10 or o?
o
Let n(m) = m + 36. Let c be n(-17). Let r = c - 19. Let y be 6/3 - (2 - r). Is y less than -18/13?
False
Let l = 28 + -21. Let f(a) = 2*a**2 - 17*a + 39. Let w be f(l). Which is smaller: w or 1?
1
Let n = -170383 - -3908756405/22941. Is 1 smaller than n?
False
Let c = 11431 + -12866. Is -1433 greater than or equal to c?
True
Let z(n) = -55 + 112 - n**2 - 19*n + 0*n**2 - 77. Let i be z(-11). Is 65 at least as big as i?
False
Let t be ((-42)/16)/((-162)/72). Suppose 2*h = -2*b - 4, 0 + 2 = -3*h + b. Let p(n) = -5*n - 3. Let z be p(h). Which is smaller: t or z?
t
Let w be (-47735)/60 + ((-68)/(-24))/(-17). Which is smaller: w or -797?
-797
Let t = -12912 - -13130. Is t < 3284/15?
True
Let u be (7/(-21))/(-1 - (-16)/12). Let h be u + 3 + 0 + -2 + -6. Is h >= 21?
False
Let t = -326.264 - 0.736. Let r = 12344 + -12344. Which is bigger: t or r?
r
Let y = -2.9677 + -6490.0323. Which is bigger: y or -0.3?
-0.3
Suppose 143*i - 154*i + 825 = 0. Suppose 222 = 158*t - 155*t. Is i bigger than t?
True
Let u be -14*(-66)/308 + (-2)/((-10716)/(-16059)). Is u equal to -1?
False
Let p = -47 + 12. Let m be (55/(-5) - -2) + (-27 - 0). Are m and p unequal?
True
Let s(u) = u**3 - 24*u**2 - 27*u + 56. Let r be s(25). Let y be 8/(-30)*9/r. Is 67 >= y?
True
Let z(x) = x**2 + 7*x + 5. Let d be z(-8). Let n(w) = -w**3 + 14*w**2 - 11*w - 20. Let s be n(d). Let r be 2026/612 + -3 - s/27. Which is greater: r or -1?
r
Let s = 1638 + -2081. Is s != -445?
True
Let f be -2 + (-3)/(660/(-443)). Suppose 22*s = 12*s + 10. Which is greater: f or s?
s
Suppose -18*i - 4*i - 390 = 8*i. Let h = 2333 + -9381/4. Is i < h?
True
Suppose -243 + 30 = 111*n + 9. Is -90/89 not equal to n?
True
Suppose -52*o + 529 + 95 = 0. Let f(b) = 2*b**2 - 4*b - 6. Let n be f(-5). Let r = n - o. Which is bigger: r or 51?
r
Let b = 41446 - 41445.6. Are 4/677 and b unequal?
True
Let o(d) = 413*d + 2010. Let m be o(-5). Which is smaller: m or -506/9?
-506/9
Let l be (-1608)/(-18535) + (-92)/1012. Are l and 0 equal?
False
Let b(o) = -o - 11. Let i be b(-10). Let w(j) = -j**2 + 6*j + 8. Let h(t) = 1. Let c(v) = i*w(v) + 2*h(v). Let a be c(8). Are a and 10 nonequal?
False
Let f be -273 + -1 - 50*15/150. Do f and 1 have the same value?
False
