ler: -7/4 or d?
-7/4
Let l = -41.7 + 40. Let k = 1.4 + l. Is k smaller than -6?
False
Let k be (-2)/5 - (-9)/(-15). Suppose 97*r = -16*r - 94 - 245. Which is smaller: k or r?
r
Suppose 0*o - 4*a = o + 16, 3*o - 2*a - 8 = 0. Let l = o + -7. Suppose 0 = 4*d + 3*q + 26, 4*d = -q + 4*q - 14. Is l >= d?
False
Let m(a) = a**3 - 11*a**2 - 7*a - 60. Let z be m(12). Which is bigger: z or -1/547?
z
Let m be (-44554)/49305 + (-60)/(-75). Let h = m + 24/173. Which is bigger: h or -2?
h
Let o(r) = r**3 - 7*r**2 - 8*r - 5. Let z be o(8). Let b be (2/z)/((-9)/(-135)). Let m be (-15)/b*(-1)/5. Which is bigger: -20 or m?
m
Suppose 2*k - 2*a = -2*k - 26, -4*k = 5*a - 9. Let t be (-10 + -2)/(k/6). Let f be (-2)/t*18/12. Which is bigger: 1 or f?
1
Let s(v) = 4*v - 6. Let z be s(5). Suppose -u - z = -24. Suppose 2*q + 12 = 3*a - 5, -q - 26 = -5*a. Is q equal to u?
False
Suppose -3*o - 371 = -5*p, -2*p = 42*o - 39*o - 140. Is p less than or equal to 78?
True
Let n(v) = v**2 + 2*v. Let u be n(-2). Let h = 0.29 - 0.4. Are u and h non-equal?
True
Let d = -18/25 - -97/100. Are d and -1.92 equal?
False
Let d(a) = -2*a**2 - 12*a**2 + 2*a**2 + 18 - 16*a + a**3. Let r be d(13). Let i(w) = -w**2 + 6*w + 6. Let q be i(9). Is r less than q?
False
Let a(w) = w**3 + 4*w**2 + 5*w + 5. Let x be a(-3). Let u = -1122959/11 - -102236. Let s = u - 149. Is s > x?
True
Let w = -9 - -4. Let f = -3 - w. Suppose 7*v + 5 = f*v. Is 1 at least as big as v?
True
Suppose b - 5*a - 35 = 0, 3*a + 9 = -6. Suppose v = -0*v - b. Is -10 not equal to v?
False
Let x = 4.81 + 300.19. Is x smaller than 1?
False
Let s = -37 - 34. Let a = s + 70.8. Which is smaller: a or -0.03?
a
Let c = -39 + 36. Let i(p) = -p - 3. Let w be i(c). Suppose 9*x + 0*x = w. Which is greater: x or -1/26?
x
Let z = -4.5 - -3. Let n = z + -11.5. Let p = -2/455 + 463/1820. Is n < p?
True
Let y be 9/11 - 6/(-33). Suppose 10 = -b - y. Let h = b - -10. Is -4/3 bigger than h?
False
Let a be (32/(-72))/((-3)/(9/26)). Which is bigger: a or -3/5?
a
Suppose -18*w = -18 - 0. Which is greater: -2/551 or w?
w
Let d(b) be the second derivative of -b**4/12 + 2*b**3/3 - b. Suppose -21*n + 18*n + 12 = 0. Let r be d(n). Which is smaller: r or 3/5?
r
Let i(l) = 2*l - 31 + 17 + 16. Let y be i(-2). Let o be (8/(-12))/(-3 - y). Which is greater: o or 1?
1
Let a be 8 + ((-4)/3 - (-13)/39). Suppose -4*u + 6*v - 3*v - 16 = 0, -v + a = -3*u. Which is greater: -5 or u?
u
Let y(s) = -s**3 + 12*s**2 - 9*s - 11. Let h be y(11). Suppose 5*g - h = -1. Suppose -5*b = g*w + 44, 0*w = -w + 2*b - 13. Is -17 greater than w?
False
Let v = -3677/3672 + 13/216. Let h(j) = -j**3 - 6*j**2. Let d be h(-6). Which is smaller: v or d?
v
Suppose 3*p = 7*p - 12. Suppose p*x - 2*x = 2. Let z(w) = -8*w - 13. Let s be z(-2). Which is greater: s or x?
s
Let t = 52 - 113. Let x = t + 46. Is x >= 0?
False
Let v = 1102 + -1077. Is 26 > v?
True
Let d(k) = k**2 + 5*k - 2. Let z be d(-5). Suppose -2*f = -2 + 8. Which is bigger: z or f?
z
Let f be ((-8)/(-6))/(9/3330*5). Let o = -96 + f. Which is smaller: o or 2?
2
Suppose f - 3 = 2. Suppose -f = 4*w + 3. Let p be w/(-6) - 0/(-4). Is 0 > p?
False
Let d be 0/(2 + 3 + -3). Suppose 4*r - 4*l - 24 = d, 0 = 2*l + 2*l + 8. Suppose -1 - r = -5*g. Is -3/19 < g?
True
Let d = -2530 - -2528. Suppose -3*n + 28 + 98 = 0. Is n <= d?
False
Let u(c) = 77*c**2 - 1. Let h be u(-1). Let a be h/14 + (-2)/(-7). Let l = -6 + a. Is l >= 2/5?
False
Let v be (-1146)/287 - (-10 - -6). Which is greater: v or -1?
v
Let b(j) = -5*j**3 + 3*j**2 + 18*j - 53. Let i be b(3). Are i and -114 non-equal?
True
Suppose 6 = -69*y + 72*y. Suppose -66 = -y*l - 8. Is 30 equal to l?
False
Suppose 0 = -4*d + d - 4*p + 478, 4*p - 16 = 0. Let f = -137 + d. Is 17 > f?
False
Let j be 30*((-8)/12)/(-2). Suppose 0 = 4*d + d - j. Suppose 3*v = -4*m - 16, d*v - 5 = m + 3*v. Is -0.3 less than m?
False
Suppose 0 = 5*y - 3*n + 20, -18 = 12*y - 14*y - 4*n. Let v be 1/(21/(-9)) - 1. Which is smaller: v or y?
v
Let d = 1.07 - 0.87. Let z(s) = s**2 - 6*s + 8. Let m be z(6). Suppose m*h = 5*h - 27. Is h at least as big as d?
False
Suppose 4*f - 16 - 51 = 3*d, 2*f = 5*d + 107. Which is bigger: d or -39/2?
-39/2
Let m(v) = 2*v + 20. Let n be m(11). Let z = n - 42. Which is greater: z or 1?
1
Suppose -5*u - 10 + 0 = -4*f, 3*u + f = 11. Let b(j) = -7*j + 0*j**2 - 2 + 0*j**u + 6 + j**2. Let q be b(5). Is q smaller than -6?
False
Let s = -28.7 - -0.7. Which is smaller: 1/3 or s?
s
Let o = -45 + 45.06. Suppose 2*h - 2 = 0, -5*n + 2*h + 8 + 0 = 0. Which is greater: o or n?
n
Let o(h) = 2*h**2 + 5*h + 4. Let u be o(-3). Let t = u - 7. Let i = 8/15 + -2/15. Is i > t?
True
Let g be 1/(-5) - (-6554)/24070. Is -2/7 at most g?
True
Let h = -7 + 7.3. Let d = h - -2.1. Which is smaller: d or 1/3?
1/3
Let o(g) = -g**2 + 19*g + 83. Let h be o(17). Which is smaller: 116 or h?
116
Suppose 25 = a - 2*y, -4*a + 4*y - 41 = -137. Which is smaller: 25 or a?
a
Let i = 2.44 - 2.5. Let r = 1.32 + i. Let n = 1.2 - r. Which is smaller: n or 0.3?
n
Suppose 0*t + 4 = 4*t + 3*j, -5*j + 1 = t. Let i = -2776/15 + 185. Is t < i?
False
Let l be ((-13)/(-11) - (-54)/(-297))*-211. Does l = -212?
False
Let f be (2225508/(-6480))/(-43) + -8. Which is smaller: f or 1?
f
Let w(a) = -a**2 - 11*a + 7. Let r be w(-9). Let n(z) = 4*z - 4. Let c(v) = 6*v**2 - 2*v + 3. Let k be c(1). Let i be n(k). Which is greater: i or r?
r
Let k(i) = i**2 + 13*i + 20. Let h be k(-7). Is -21 > h?
True
Let k be 10/3*9/5. Let r = -8 + k. Let v(h) = 2*h**2 - h - 1. Let d be v(1). Is r less than d?
True
Suppose -3*k + 2*y = -k - 82, 0 = -2*k - y + 79. Is k greater than 1/2?
True
Suppose -z = -5*z - 4*i + 416, 2*z - 208 = 3*i. Is z < 104?
False
Let w(i) = i**2 - 6*i + 5. Let j be w(6). Suppose -4*k + 28 = 2*l, -2*k = -3*k + 3*l. Let g = 0 + k. Are g and j unequal?
True
Let s = -340 + 346.1. Is 2 greater than s?
False
Let a = -252 + 118. Is a <= -135?
False
Suppose 2*g = 3*a - 18, 3*a - 3*g - 29 = -2*a. Suppose 2*q = -5*m - 4, -5*m + 6 = q - a*q. Let v be 3*(-2)/(-24) + m. Is v greater than or equal to 3/8?
False
Let r = -7 + 6. Let p = r - -14. Let i = -12.7 + p. Which is smaller: 2/3 or i?
i
Let i be ((-81)/(-324))/(1/12). Which is bigger: i or 9?
9
Suppose -l + 5*l = 0. Suppose l = -5*t - 2*x, 2*t + 31 = -t + 5*x. Let h = -1265 + 1264. Which is greater: t or h?
h
Let p = -9112/5 + 1820. Are p and 2/3 nonequal?
True
Let k = -34 - -38. Suppose 0 = 5*t - t - k. Is t smaller than -0.09?
False
Let o be 0*2*(-2)/(-4). Suppose 4*u = 10*u - 18. Let c be (915/(-204) - -5) + u/(-4). Which is smaller: o or c?
c
Let f(u) = -4 + 9*u - 3*u + 2. Let b be f(-1). Which is smaller: b or -6?
b
Let d(m) = 3*m**2 + 2*m + 2. Let p be d(3). Let k = 24 - p. Let g = k - -10. Which is bigger: -2 or g?
g
Let i(h) = -h - 1. Let u(m) = -8*m + 3. Let v(w) = -4*i(w) + u(w). Let c be v(4). Does c = -8?
False
Suppose 9*c - 12*c = 282. Let p = -124 - c. Is p <= -30?
True
Suppose 10 = q + 5*b, 81*q = 84*q + 2*b - 4. Is -46/53 less than q?
True
Suppose -r - 5*i - 33 = r, i = -3*r - 17. Let a(v) = -2*v**2 - 4*v. Let h be a(r). Let m = 32 + h. Is 16 smaller than m?
False
Let r(x) = 61*x + 276. Let h be r(-6). Which is smaller: -92 or h?
-92
Let t = -18 - -18. Let h be 3/315 - (-19)/(-133). Do h and t have the same value?
False
Let p = 81/4 - 20. Let v = -16.8 + 16. Is v smaller than p?
True
Let k = -1334 + 1330. Which is bigger: k or -2/37?
-2/37
Let y = 239 + -243. Is -40/13 > y?
True
Let q(k) = -k - 11. Let w be q(9). Let c = w - -25. Suppose 0*r + 55 = -c*r. Which is greater: -10 or r?
-10
Suppose 2*k - 3*g - 14 = 0, -5*k - 4*g = 5 + 6. Which is smaller: k or -2/999?
-2/999
Let f be 2 + 9 + 2 - 1. Let g be 60/14*(-1328)/f. Let j = g - -476. Which is smaller: 3 or j?
j
Suppose 2*b - 3*p = 19 - 7, -4*p - 6 = -b. Suppose 4 = 2*d - b*d. Which is smaller: 2/231 or d?
d
Suppose -4*y - 11492 = 13*y. Which is smaller: -1 or y?
y
Let q be (-2340)/(-264)*4/(-3) - 4. Which is smaller: q or -17?
-17
Let b(d) = -d**2 - 22*d + 86. Let t be b(-19). Is 144 at least t?
True
Let z = -3.1 - -2.42. Let d = z + 6.88. Let u = d + -5. Do u and 2/7 have the same value?
False
Let s = 739 - 702. Which is smaller: s or 36?
36
Let v = -5.18 + 5.28. Is v less than -54?
False
Suppose -13*j = -12*j + 2. Let n be (7 - 6)/