et l(o) = 6*o + 3. Let r be l(6). Which is bigger: i or r?
r
Let u be ((-6)/396*-22)/(1/2817). Do u and 4699/5 have different values?
True
Let y = -719 + 719.4. Which is smaller: -2548/3 or y?
-2548/3
Let p = 2700 - 2740. Which is greater: p or -17?
-17
Let w(l) = 28 + 21 - 100 + 3*l + 10. Let j be w(-9). Are j and 2/11 unequal?
True
Suppose 915 = 5*z - 5*n, -5 = 3*n - 20. Let p = z + -1127/6. Is p smaller than -10?
False
Let g = 192 - 192. Suppose -2*i - 3*i - 55 = g. Is -3 equal to i?
False
Let s be 0/(4 - (9 + -4)). Suppose 3*k - 1082 = -0*g - 4*g, s = 8*k + 16. Is g smaller than 271?
False
Suppose 0 = r - 2*x - 7 + 3, 5*x - 80 = -5*r. Let f be (-3)/(r/28) - 110. Suppose 2*g + 0*g + 236 = 0. Is f at most as big as g?
False
Let o = -19.99 + 19.8. Suppose -8*y - 588 = -2*y. Let j = y + 98. Which is bigger: j or o?
j
Suppose 5*o + 2 = 2*z, -4*o - 2*z + 4 = 2*z. Let i = -329 + 335. Let m be 50/4 - (-9)/i. Is o equal to m?
False
Let p be 15/(-6)*(3 - 7). Let z be 20/70 - p/(-658)*-23. Are z and 0 nonequal?
True
Let x = -142 + 121. Let v be (x*(-6)/54)/((-1)/(-6)). Which is greater: v or 1?
v
Let t = -0.113 - -0.213. Let j(s) = s**3 + 10*s**2 + 9*s + 4. Let g be j(-9). Suppose -5*p + o = 25, 0 = 2*p - 0*o - g*o - 8. Which is smaller: t or p?
p
Let t be 187253/(-264) + (-39)/(-234). Is -710 at most t?
True
Suppose -3*z + 2*z - 1 = 0. Suppose 297*x = 306*x - 38232. Let m = x + -709418/167. Which is greater: z or m?
m
Let k be ((-16)/130)/(196/70). Let w = 981/455 - k. Which is bigger: w or 1?
w
Let h be (-1 - -3) + (0 - 0). Let i = -93 + 105. Suppose -i + 8 = -2*t. Is t greater than or equal to h?
True
Let x = -2/175679 - 2104107333/4391975. Let s = x + 479. Do 1 and s have the same value?
False
Let g = -277 - -830. Which is bigger: -1/5 or g?
g
Suppose -1008 = -2*v - 4*c, 2*c = 3*v - c - 1530. Let w = 512 - v. Is w at least as big as 0?
True
Let n = 1412 + -1412. Is -9/551 > n?
False
Let a = -5240 - -4847. Is a at least as big as -391?
False
Let m = 74 + -73.839. Let r = m - -1.839. Which is greater: r or -0.12?
r
Let v = -1012 - -1004. Let w be ((208/(-6))/v + -4)/(-8). Suppose 4*h - 3*h = 0. Which is greater: w or h?
h
Let i(s) = -2*s**2 + 2*s + 36. Let o be i(-5). Which is smaller: o or -373/15?
-373/15
Let k = -17.0787 + 0.0687. Let n = -0.01 - k. Let v be ((-10)/4 - -1) + 66/44. Which is smaller: n or v?
v
Let l = 139 + -64. Suppose -5*m = -2*m + l. Let h = m + 24. Do -2/119 and h have different values?
True
Suppose 4*m + 201 = -231. Let v be (-2)/10 - m/15. Let o(i) = -i**2 + 12*i - 11. Let d be o(10). Which is greater: d or v?
d
Let x be ((-6)/8)/(21/60). Let f = -26.958 - -24.82. Let l = f - -0.138. Do l and x have different values?
True
Suppose -114 = -5*z + 81. Let m = -39 + z. Let h be m/((16/4)/(-4)). Which is smaller: 0.01 or h?
h
Let g = -4405/4 + 12114/11. Which is smaller: 2/3 or g?
g
Let v be -1102*(9/24 - (-1)/8). Let f = v - -555. Does f = 105?
False
Let q be (8/(-6))/(16/(-84)). Let s(f) = -16 + 5 - 3*f**2 + 5*f - f**3 + q*f**2 - 8. Let r be s(4). Which is bigger: -4/13 or r?
r
Let k(y) = y**2 - 1. Let q be k(2). Suppose 2*j = -2*j + n + 161, j = q*n + 32. Suppose -11617 - 54814 = -1431*f - 6329. Which is smaller: j or f?
j
Let f = -452 + 453. Let m be f*(-3 + 0) - (-74 + -25). Which is smaller: m or 95?
95
Suppose 27*l - 374 = 193. Let h(s) = -10*s - 1 + 30*s - s**2 + 4. Let b be h(19). Are l and b equal?
False
Let n be 4484/8 - (-1)/2. Let z = -9472/47 - 473201/1316. Let s = n + z. Which is bigger: s or 1?
1
Let h = 49355230819/102 + -483870378. Let z = 4434 - h. Is z >= 0?
True
Suppose 4*c = -3*x, 0 = 3*x - 2*c - 2*c. Suppose x = 29*v - 32*v + 15. Suppose -118 = -v*s + g, -4*s + 6*s + 4*g - 34 = 0. Is s smaller than 23?
False
Let q(z) = -10*z + 157. Let k be q(14). Suppose f - 10496 = k*f. Is f smaller than -657?
False
Let i be 2448/2 + 84/(-77)*121/(-22). Which is smaller: 1229 or i?
1229
Suppose 0 = i - 2*x - 10, 3*i + x - 41 = -4*x. Let a be i/7*(818/(-4) + -2). Let j be a/(-15) + (-12)/20. Is -2/3 at least j?
False
Let k = -1.79 - -0.9. Let a = -5.11 + k. Do -5 and a have the same value?
False
Let q be 1/(-1) + (-22178)/(-30646) + 18/66. Which is smaller: 0 or q?
q
Let c(b) = 67*b - 220*b + 73*b + 72*b - 127. Let k be c(-16). Which is smaller: k or 3/211?
3/211
Let p = -1.15 + 44.15. Let v = -42.02 + p. Let y = v + -0.91. Which is greater: -2/19 or y?
y
Let d = -570 - -571. Let w = 34/13 - 1025/377. Which is smaller: d or w?
w
Let b = 329.2 + -313.2. Is b greater than or equal to -56?
True
Let b be (2 - 0)/(6/(-9)). Let q(o) = 5*o**2 + 14*o + 3. Let w be q(b). Suppose 4*j = -0*j - 3*y - 10, 0 = 4*j + 2*y + 8. Which is smaller: w or j?
j
Let z(j) = -30465*j + 35. Let y be z(7). Let g = y - -29210958/137. Let k = g - 2/411. Which is smaller: -1 or k?
k
Suppose -46*y + 42*y - 20 = 0. Let g be (y/10)/((-1)/6). Which is smaller: 31/8 or g?
g
Suppose 0 = 290*u - 344*u - 5346. Which is bigger: -92 or u?
-92
Suppose -4*s + 5*j - 61 = -164, 0 = -s + 2*j + 28. Let y = s - 12. Suppose 4 = y*o - 12*o. Is -4 < o?
True
Let l(k) = 3*k - 25. Let s be l(10). Let p = 4823 - 4835. Which is greater: s or p?
s
Let l = -38 - -23. Let t = l - -119/4. Which is bigger: t or 15?
15
Let j = -3/56 + 137/1512. Suppose -256*u + 8960 = 8448. Which is smaller: u or j?
j
Suppose 3*h - 2*v + 0*v - 17 = 0, -3*h + 29 = -5*v. Let b(q) be the third derivative of -q**4/24 - 4*q**3/3 - 13*q**2. Let w be b(-10). Is h smaller than w?
False
Let h(i) = 21*i - 5*i + 4 - 9*i**2 + 2*i**3 - 11*i. Let p be h(4). Let m be (-1)/(3/(-15)*(p + -3)). Which is bigger: 1/229 or m?
m
Let u = 236889/55 - 47380/11. Suppose -80 - 73 = -3*o. Are o and u equal?
False
Let y(g) = 44*g**2 - 2*g + 12. Let l be (12 - 11)*(1 - -1). Let t be y(l). Which is smaller: 185 or t?
t
Suppose -290 = -6*r + 16. Suppose 61*d - 10 = r*d. Which is bigger: d or -2/113?
d
Suppose d + 47 = 4*d - 5*k, -k + 77 = 3*d. Let z be 4/d*9 - 118/76. Let f = 0 + 0. Is z <= f?
True
Let q(k) = -47*k + 832. Let d be q(18). Are d and -556/39 nonequal?
True
Let h be (-2)/(-4) + (-41535)/(-270). Let b = -34259/222 + h. Which is bigger: 0 or b?
b
Let z(l) = -86*l + 4529. Let b be z(69). Which is smaller: b or -9830/7?
b
Let x(i) = -4*i**2 + 22*i + 17. Let u be x(6). Suppose 8 = u*n - 2*h, -n + 20 = -0*h - 5*h. Are n and 13/17 equal?
False
Let b = 1 - 0. Suppose -3150 + 2754 = -22*p. Which is smaller: b or p?
b
Let d be 2/4*(2 + 6). Let m(g) = 25*g**2 + 16*g - 57. Let c be m(d). Is 408 greater than c?
True
Let i be 16 - 18 - (-2 - -74). Is i smaller than -40?
True
Let f(c) = 2*c + 1. Let i(d) = -2*d - 2. Let p(b) = -4*f(b) - 3*i(b). Suppose -7*n - 8 = 3*r - 9*n, 5*n = -10. Let z be p(r). Is z < 10?
False
Let s be (-2)/(-6) - 70/(-21). Let v = 88.4 + -83. Let j = v + -4.4. Is s at most j?
False
Suppose -4*b + 4*f = -20, -14 - 8 = -5*b + 4*f. Suppose 0 = -b*t + 3 - 1. Which is greater: t or 1/15?
t
Let p = 188.23 + -2329.23. Which is greater: p or -3?
-3
Suppose 4*g + 0 = -2*h + 2, 3 = h + 4*g. Let a be h*1/(-6)*-6. Is a not equal to 1/13?
True
Let l = -34.5 - -38. Let f = l + -3.93. Let n = -0.53 - f. Is n smaller than 23?
True
Let d(c) = 4547*c - 510. Let y be d(2). Is y < 17165/2?
False
Suppose v = u - 3, -28*u = -23*u - 40. Let z be 3 + 0 - 312 - 0. Let h = -1524/5 - z. Is h less than or equal to v?
True
Let y = -129 + 129.05. Let k be (4/4)/(1 - -4). Is y >= k?
False
Suppose -c = t - 22, 7*c = 2*c - 2*t + 98. Let a(w) be the second derivative of w**3/6 + 21*w**2 + 4*w + 5. Let i be a(-26). Which is bigger: c or i?
c
Let l = 173 + -174. Let p be (-25)/(-5) - (-33 + (-2 - l)). Which is smaller: p or 41?
p
Let h = -8536 - -2048. Which is smaller: h or 0?
h
Let c be -2 - 0 - (-670572)/324. Which is smaller: 2067 or c?
2067
Let i = 17 - 29. Let x = 631 - 629. Let k be -3*3/((x - -7)/1). Which is bigger: i or k?
k
Let a = 0.6722 + -0.0302. Let x = a + -0.042. Is -4 < x?
True
Suppose -4*j - 5*n + 25 = 0, -2*j + 4*n = 2*j - 52. Let d be j + 1 - (-2)/4*-2. Let g be -7 + 2 - (-5)/(25/d). Is -1 at least g?
True
Suppose 5*t - 74 + 4 = -5*j, 2*t = 4*j - 26. Suppose 0 = -2*v + 133 - 13. Let o be 3 + v/8 - 3. Which is smaller: j or o?
o
Let q(z) = -9*z**2 - 43*z + 2. Let b be q(-5). Let c = 0 + -8. Does c = b?
True
Suppose -4*y 