Is t > -4/71?
False
Let j(k) = -4*k + 67. Let w be j(13). Let o be w/(-9)*(-12)/4. Which is greater: o or 26/5?
26/5
Let j = -2034/5 + 22184/55. Suppose -13*o = -24 + 63. Which is bigger: j or o?
o
Let g(l) = 3*l**2 - 18*l - 24. Let f be g(8). Let k be 136/(-18)*f/16*-3. Suppose 5*i + 0*i + 4*z - 187 = 0, -2*z - 29 = -i. Is i >= k?
True
Suppose 13*q = 44*q - 2232. Let j be q/((1/2)/((-30)/(-60))). Does j = 3?
False
Let p(c) = c**2 - 94*c - 3016. Let t be p(-27). Is t at least as big as 25?
True
Let o be ((-5)/(-2))/((-10)/(-56)). Let d be 0 + 8/(-56) + 146/o. Which is smaller: 9 or d?
9
Let z(v) = -v**3 + 46*v**2 + 86*v + 534. Let d be z(48). Which is greater: 386/7 or d?
386/7
Let h be 6/3 + ((-3)/(-6) + -1)*4. Is -3/1144 smaller than h?
True
Suppose -55*z + 20 = -50*z. Let u be ((-12)/z + 2 + 1)/(-1). Suppose 4*x + 5*t - 18 = 0, u = -x - 2*t - 3*t - 3. Is x <= 8?
True
Let a be (-7)/((-147)/(-12))*(-3)/2. Let l(g) = -3*g**3 + 44*g**2 + 28*g - 194. Let s be l(15). Which is greater: a or s?
s
Let c(f) = f**2 + 9*f - 15. Let v be c(-11). Let d(n) = 10*n - 54. Let x be d(v). Let b = -86 + 101. Is b at least as big as x?
False
Let s(r) = r**3 + 5*r**2 - r - 9. Let u be s(-5). Let h be u - ((-6)/(-2) - 16). Suppose -h*q + 11*q = 16. Is q != 11?
True
Suppose -3*p + 488 = 125. Suppose 5*o = -3*u - p, 3*o - 62 = 2*u + 6. Let k = -23001 - -22962. Which is smaller: k or u?
k
Let b(d) = -d + 7. Suppose 0 = -5*m + 3*a + 63, -8 = -a - a. Let f be b(m). Let n be ((-21)/(-6))/(2/(-4)). Is n equal to f?
False
Let g = 2072 - 84959/41. Let o = g - -611/697. Is o at most as big as 1?
True
Let s = 1480 - 1846. Is s at most as big as -2570/7?
False
Let y = 701 - 691. Let f be (y/6)/(225/810). Suppose 0 = u + 5 - 13. Which is smaller: f or u?
f
Let g be 12636/13 + -2*(-2 - 1/(-2)). Are g and 974 equal?
False
Let a = 35 - -27. Let q = a + -62.5. Let d be (-4)/(-10)*(-10)/6. Which is greater: d or q?
q
Let s = -10314 - -10313.9. Which is greater: s or -6.73?
s
Let n = 1893 + -1899. Is n at most as big as -127/20?
False
Let c(j) = -j - 14. Let y be c(-14). Suppose 3*r - k - 112 = y, 4*r - 8*r + 2*k + 148 = 0. Which is smaller: 39 or r?
r
Let j be (-1 - -4)/((-9)/(-3)). Suppose j = -2*s + 7. Let u be (-59)/(-30) - 9/54. Which is smaller: u or s?
u
Let p be 18/(-6 - -12) + (-4900)/1634. Are p and 0 unequal?
True
Let m = 3/22684 + 57933/76513132. Which is greater: -1 or m?
m
Let j be 1*1/5 + (-54599)/(-355). Let r = 155 - j. Suppose -4*v - 4*m + 11 - 3 = 0, -2*v + 8 = 3*m. Is v greater than r?
False
Let k = -0.3575 + 0.0622. Let m = -0.0047 + k. Is m greater than or equal to 1/2?
False
Suppose -4*y + 2*s + 30 = 0, -5*s - 18 = -3*y + 15. Let p be 196/84 + (-182)/y. Is p != -29?
True
Let r(j) be the first derivative of -2*j**3/3 + 6*j**2 - 2*j - 23. Let o be r(6). Let f be (-1)/4 - o/((-8)/(-57)). Is 15 not equal to f?
True
Suppose 0 = -0*c - 14*c + 896. Let k be c/610 + (-44)/110. Which is bigger: -1 or k?
k
Let p = 19 - 15. Suppose 4 = 4*v - p. Suppose d - 2*j - 3 = -4*j, -4*d - 18 = v*j. Which is greater: -8 or d?
d
Let q be (76/(-20)*2)/(-6). Let g = q + -2581/60. Is g at least as big as -43?
True
Let f = 78 + -111. Let r be f/(-12) - ((1 - -2) + -5). Which is smaller: 6 or r?
r
Let h = 50785/4 + -12420. Which is greater: h or 277?
277
Let k(p) = 734*p - 1147. Let g be k(9). Is g > 5460?
False
Let m = 1 - -3. Let y = m + -26. Let t be (-24396)/1177 - 3/11. Is t at most as big as y?
False
Let f be (-4)/22 + 5435/(-55)*1. Let n = -1321/14 - f. Which is greater: n or 4?
n
Suppose 3*k + 125 = 44. Let q(j) = 2*j - 64. Let d be q(5). Let z = k - d. Is 26 > z?
False
Let g = -229 - -236. Suppose u - 15 + g = 3*h, 4*h - u = -10. Is h >= -4/3?
False
Let u = -160761 + 160762. Let v(n) = -n**2 + 4*n + 7. Let o be v(5). Let b be (-4)/214*(-1 + o). Is b smaller than u?
True
Suppose 8 = 5*o + 3*a, 0 = -2*o + 3*a + 13 + 7. Let t = -2/627 + 6905/2508. Which is smaller: o or t?
t
Let x = 657.31 + -685.4. Let i = -28 - x. Which is bigger: i or -2/3?
i
Let d(g) = 193*g - 1. Let b be d(-2). Suppose 44118 = -83*o - 41*o + 10*o. Is o less than b?
False
Suppose 0 = -5*l - 2*n + 429 - 143, 2*n = 4*l - 236. Let g be (-4)/(-14) + l/(-7). Suppose 4 = 6*j - 8*j - u, 5*j = 4*u + 3. Which is smaller: g or j?
g
Let n(p) be the second derivative of -p**4/12 + 28*p**3/3 - 385*p**2/2 + 27*p + 2. Let g be n(8). Is g equal to -2/133?
False
Let x be 1/1 - (-2)/(-4). Let s be ((-357)/612)/((-6)/108). Which is bigger: x or s?
s
Let j = 21 + -9. Let p be (-352)/20*j/(-6). Let m = p + -35. Which is smaller: m or -1?
-1
Let z(q) = 42*q**2 - 105*q - 543. Let v be z(-5). Is v equal to 1038?
False
Let n = 79/2978 + 60809/1131640. Let f = n + 1/40. Suppose -1 = 3*a - 4. Is a at most f?
False
Let z = -49.6 - -50.6. Suppose -4*t - 2 = -6*t. Let i be -3*6/81*t. Which is greater: i or z?
z
Suppose -3*a + 2*w = 2*a + 18, -4*w + 8 = -3*a. Let y be (-748)/16 + 6/a. Let b = y - -99/2. Are b and 2 unequal?
True
Let h(l) = 2*l**2 - 8*l + 8. Let p = 34 - 32. Let i be h(p). Which is greater: i or 2/41?
2/41
Let v(j) = -2*j**3 + 33*j**2 + 20*j - 56. Let i be v(17). Is -94 >= i?
False
Let a(w) = 107*w**2 + 2460*w - 23. Let y be a(-23). Let s = -12725/142 - -179/2. Which is bigger: y or s?
y
Let b = -155 + 153. Let x = 26 + b. Let l = -43 + x. Which is greater: 1/3 or l?
1/3
Let n be ((-18)/21)/(-1 - 153/(-154)). Let h be (-8)/216*-15*n/15. Is h bigger than 0?
True
Suppose 0 = 11*r - 0*r + 219 - 1374. Is r at least as big as 101?
True
Let i = -1258.154 - -1258. Which is greater: i or -2/7?
i
Suppose -2 = -o - 0*o. Suppose -o*h = -4*g, -h + 3*h = 5*g. Let v be (-76)/(-10) - (2 + g). Is v less than 5?
False
Let n(g) = g**3 - 12*g**2 + 14*g - 6. Let l(q) = -q + 1. Let o(w) = 3*l(w) + n(w). Let d be o(8). Which is smaller: d or 3?
d
Let c = 241619 + -36484329/151. Which is smaller: c or 2?
c
Let r = -5057.5 + 4845.49. Let v = r + 4.01. Which is bigger: 1 or v?
1
Let w = 372929.1 - 372929. Let y = -69 + 112. Let c = 94 - y. Does w = c?
False
Suppose 269*p = 31*p. Is 2/4749 less than or equal to p?
False
Let z be (2 - (-19)/(-7)) + (-6)/21. Let l be -3*3/(-27)*-201*z. Let x = 68 - l. Which is smaller: x or 4?
x
Let v(k) = -k**2 + 5*k - 5. Let z be v(4). Let y = 31807921/253 - 125723. Is y greater than or equal to z?
True
Let h = 4771 - 4765. Which is bigger: h or -0.0083?
h
Let j = 4.974 - 3.974. Which is smaller: 0.242 or j?
0.242
Let b be ((-57)/38)/((-3)/14). Let p = 34 + -28. Let d be 2 - (p - -2)*-1. Is b at most as big as d?
True
Let f(m) = -5*m**2 + 116*m - 85. Let s be f(22). Is 41 not equal to s?
True
Let n be (-6)/7 + (-5)/((-5250)/(-780)). Is n less than or equal to -127?
False
Let a be 6/(-33) + (-72)/(-154). Let v be (-26)/4 - (-348)/58. Which is greater: v or a?
a
Let z = 274 + 62. Let s = 349 - z. Are 15 and s equal?
False
Let d = 2305 - 66830/29. Let z be ((-501)/(-174))/(45/6). Let q = z - d. Which is bigger: -1 or q?
q
Let n = 192923 + -275494057/1428. Let q = -2/357 + n. Which is smaller: 1 or q?
q
Let z = -154 - -158. Suppose 5*w = -0*w + z*a + 26, -18 = w + 5*a. Which is smaller: w or 52?
w
Suppose t - 324 = -b, -179*t + 2*b + 336 = -178*t. Are 0.06 and t unequal?
True
Let s be ((-8)/(32/(-12)))/1. Suppose 2*k - 2*b - 3 = -b, -s*b + 2 = 5*k. Let h be 104*-3*k/(-42). Is h less than 7?
False
Let k = -6997 + 7010. Does -1/72 = k?
False
Let i = -100686/1042895 + 2/12565. Let c = i - -436/1079. Let d = 0.4 - 0.2. Are c and d non-equal?
True
Let d = -2.8 - 0.2. Let n = d - -4. Let a = 120.629 - 120.629. Are n and a nonequal?
True
Let p(f) be the first derivative of -f**4/4 + 5*f**3/3 - 3*f**2/2 - 7. Let d be p(5). Let s = -27.7 + 27.6. Is s greater than or equal to d?
True
Let g = 705 - -30. Suppose -3*z + g = -135. Let n = -5799/20 + z. Is n greater than or equal to 1?
False
Let c = -11441.43 - 114.57. Are 1 and c nonequal?
True
Let a = 11/161 + 1078235/2093. Let h = a + -514. Is 2 at least as big as h?
True
Let z = -28343.28 + 28355. Is -4 >= z?
False
Let a = 2.16 + -1.9. Let q = 59 + -59.36. Let u = q + a. Which is bigger: 6 or u?
6
Let u = -227133569/2751 - -82564. Which is greater: u or 1?
1
Let u = -31 + -3. Let h = u + 22.8. Let t = 2.8 - h. Is t <= 1/5?
False
Let b be (1*(-2)/6)/(59821/2934). Which is smalle