4. Is 5/7 >= t?
True
Let h = -7854 - -6775. Which is smaller: h or -1078?
h
Let g be ((-38)/(-114))/((-1)/(-3)*1). Let s be ((-2)/g)/(7 - -5). Is 0 greater than s?
True
Let y = -2725/7096 - -8/887. Is -4/117 < y?
False
Suppose -d - i + 19 = 2*i, d = -2*i + 15. Let x(g) = -g**2 - g - 1. Let b(f) = -24*f - 6. Let w(a) = -b(a) + 3*x(a). Let z be w(d). Is z greater than 3?
False
Let y = -32 - -361/13. Suppose -g = -4*a + 9, -691*g + 686*g - 4*a = 21. Which is smaller: y or g?
g
Let j be (-6 + 32)/(2/(-1) - -3). Suppose -2*q - j - 12 = -5*u, -q = -u + 22. Is q smaller than 2?
True
Let q(y) = 37*y**2 - 372*y + 21. Let o be q(10). Let j = -301/15 - -20. Which is bigger: j or o?
o
Let j be ((-541080)/(-378))/(2/7). Which is smaller: j or 0?
0
Let f = -6/967 - -94444/15532921. Is -1 >= f?
False
Let s = -2333/260 - -9/52. Let v = 47 + -70. Let f = v + 15. Which is bigger: f or s?
f
Let c(z) = z**3 + 23*z**2 - 73*z - 546. Let w be c(-24). Which is smaller: w or 3156/5?
w
Let k = -33 + 33. Let u be (2/3*(-3)/4)/((-11)/(-770)). Which is bigger: u or k?
k
Suppose 4 = -k + 3. Suppose 4*d + 3*m = 5*d + 65, 2*d = 3*m - 121. Let q = d - -54. Is k at least as big as q?
True
Let a = -0.77437 + 0.97437. Let f = -30 - -33.4. Is f at most a?
False
Let z = 975/16 + -1209943/19856. Let i = 35975/8687 + z. Which is bigger: i or 5?
5
Let b(j) be the first derivative of 3*j**2/2 - 8*j + 8. Let h be b(3). Let d be 12/1136*120/(-45). Is h bigger than d?
True
Let f = 7.659 + 692.641. Let s = f - 700. Which is smaller: -13/2 or s?
-13/2
Let y be (-2)/(12/(-5)) - (-9)/(-27). Let a = 152 + -63. Let x = -353/4 + a. Is x < y?
False
Let l be 4 - (1892/72 - (-2 - 2)). Let d = -64813/2466 - l. Which is smaller: -1 or d?
-1
Suppose 0 = -4*r + 8, -5*n + 3*r + 1778 = -796. Suppose -4*w + 196 - n = 0. Let v = -408/5 - w. Does -1 = v?
False
Let o = 103.205 + -93.3. Let w = 9.9 - o. Suppose 5*t = -4*c - 17, -4*t + 0*t + 2*c = -2. Which is smaller: t or w?
t
Suppose -24 = k - 3*k. Let u(z) = 4*z + 41. Let l be u(-13). Let c be 1/8 - l/(-176)*-190. Is k greater than c?
False
Let j be (16/60)/((-6)/5). Let o = -14.076 + -0.124. Let a = o + 12.2. Which is smaller: j or a?
a
Suppose -z = h - 0*z - 219, -2*h - 5*z = -423. Let s = 221 - h. Is s != -90?
True
Suppose -103*i - 96*i - 2520 = -171*i. Is i bigger than -89?
False
Let p(f) = -1. Let n(d) = 9*d + 29. Let v(s) = -n(s) + 4*p(s). Let w be v(-15). Let y = w - 100. Are 7/4 and y non-equal?
True
Suppose 4*p = -5*d + 18, -7*p = -2*p - 10. Suppose 2*i - 3*k + 12 = 0, -d = i - 5*k + 4. Let l be 2960/60 - 4/i. Which is smaller: l or 49?
49
Let b = 4524 + -4524. Which is smaller: -79/16 or b?
-79/16
Let w be 71/(-142) + (-30)/4. Let b(v) = v**3 + 8*v**2 + 2*v + 15. Let p be b(w). Which is smaller: p or -6/181?
p
Suppose 0 = -4*t - t + 4*s + 658, 3*t + 5*s - 417 = 0. Let x = 94 - t. Let c = 39 + x. Which is smaller: -11/5 or c?
-11/5
Suppose -13*j - 2*t = -8*j + 14, 2*j + 3*t + 10 = 0. Which is bigger: j or -102/73?
-102/73
Let t = 2422 + -2710. Is -288 at most as big as t?
True
Suppose 7*n + 24 = n. Let z be (2/n)/(6/(-48)). Let h be z/10 - ((-148)/(-20) - 3). Are h and -1 equal?
False
Let o = -40.96 - 1.04. Let p = 10.853 - 10.913. Which is smaller: p or o?
o
Let q = 3682.1 + -3682. Which is smaller: q or 0.031?
0.031
Suppose 2*t - 14 + 192 = 0. Let x = t + 444/5. Let g = 1.5 - -0.2. Is x equal to g?
False
Suppose 0 = 3*z, -3*b + 10*z - 6*z - 1287 = 0. Let f be -3 - (-6)/(18/b). Which is bigger: f or -1?
-1
Let b be (9130/(-1035) - -8) + (-28)/(-42). Which is bigger: b or 0?
0
Let k = -436644/7 + 314689/5. Let p = 10243/7 - k. Let m = p + -900. Which is bigger: 2 or m?
m
Let u = -2.5 + 1.5. Let z = 0.87 + u. Let b = z + 1.13. Is b equal to -6?
False
Suppose 4 = 2*p + 8, 5*x - 3*p - 21 = 0. Suppose h + 7 = 3*l, -x*l = 5*h - 8*l + 35. Let n be (275/(-20))/(h*3/12). Is 8 smaller than n?
False
Let w be 525/21*(2 - (1 - 0)). Suppose 4*d - 3*i + 7*i - 4 = 0, 2*d = 3*i + 7. Suppose -d*n - 3*n + w = 0, -3*y + n + 28 = 0. Does y = 11?
True
Let p = -9833/419276 - -7/286. Which is bigger: -1 or p?
p
Suppose 7*a = -4*a + 704. Let r be (-1)/(-493)*4*32/a. Which is smaller: -1 or r?
-1
Let c = -7 + 12. Suppose -3*q - 37 = c*o, -q = o - 2 + 11. Let i be 6/9*78/q. Which is smaller: i or -12?
i
Suppose -5*q - 530 = 5*d, -q + 45 - 152 = 2*d. Which is smaller: -106 or q?
-106
Let i = -766 + 5382/7. Let y(h) = 11*h + 31. Let m be y(-2). Suppose -33*z = -30*z - m. Is z not equal to i?
True
Let j = -330665 + 67125223/203. Let u = -74/29 + j. Let w(m) = m**3 - 6*m**2 - 15*m - 10. Let n be w(8). Are u and n unequal?
True
Suppose 113 - 688 = 5*z. Let k be 3 - 23/(z/600). Is 124 at most k?
False
Let s = 0.111 + -0.081. Let o = -6.03 + s. Which is smaller: -13 or o?
-13
Let n be (41 + 1)/((972/48)/27). Is n bigger than 57?
False
Let m = -21917/1150 - -452/25. Is m >= 0?
False
Suppose 0 = 21*j - 210 - 8 - 13. Which is smaller: 133/12 or j?
j
Suppose 3*n + 40 = 3*c - 80, 3*n - 90 = -2*c. Let i be ((-224)/(-21) - -8)*4/c. Is 3 less than or equal to i?
False
Suppose -28*z - 23287 - 268972 = 49677. Which is smaller: z or -12211?
z
Let a = 812/55 + -172846/11715. Let w(r) = r**2 - 4*r - 1. Let y be w(4). Which is smaller: a or y?
y
Suppose 2*k - 5*o + 36170 = 9053, 4*k = -3*o - 54299. Which is smaller: -13572 or k?
-13572
Let h(t) = -t**3 + t**2 + 7*t + 2. Let w be h(4). Let d be 6*w/(-567)*(-6)/4. Let y = -0.018 + -21.982. Is y greater than d?
False
Let h be (-2 + (-7)/(-2))*574/123. Let o(t) = 4*t**2 - 30*t + 2. Let b be o(h). Let x(z) = z - 2. Let c be x(-9). Which is bigger: b or c?
c
Let r(m) = m**3 - 7*m**2 - 8*m - 4. Let y be r(8). Let i be (y/(-20))/(6/(-55)). Suppose 0 = 7*n - 3*n + 4. Is n greater than i?
True
Suppose 10 + 78 = -4*d. Let h be 38/(-6) + d/33. Suppose -168 = -16*z + 37*z. Which is greater: z or h?
h
Let y = -17919 - -54799/3. Let z = y - 348. Which is smaller: z or -337?
-337
Let c(x) = -24*x - 64. Let y be c(-3). Let p be 4/(y + -4)*(-6)/(-21). Which is smaller: 0 or p?
0
Let x(z) = -z**2 - 6*z + 17. Let c be x(-8). Let l be (c/((-3)/(-6)))/(-11). Suppose 2 + 3 = 5*i. Is i bigger than l?
True
Let t be 486/752 + -1*1. Let u = 1/47 - t. Let y = 0.37955 - 0.17955. Do u and y have different values?
True
Suppose -20*p - 432 = -12*p. Let g = p - -82. Suppose -g + 25 = 3*n. Which is smaller: n or 2?
n
Suppose 14*w + 6*w - 23520 = -4*w. Is 992 not equal to w?
True
Let y be (286/(-39))/(((-16)/(-27))/(-8)). Do 0.15 and y have different values?
True
Suppose 5*u - 11 = -o, -5*u + 6 = 75*o - 79*o. Is o not equal to -525?
True
Let x = -69.833 - 0.567. Let g = -236.4 - x. Which is smaller: g or -3?
g
Suppose -5*a = 4*w - 23 + 59, 0 = -4*a + 2*w + 18. Let f = -82605197 + 261941077436/3171. Let u = 2/453 - f. Is a less than u?
True
Let j(q) = 2*q**2 - 4*q - 2. Let h be j(7). Let u be 3/(-6) - 12954/h. Is u at least as big as -191?
True
Let m = -8721.823 - -8712. Let t = m - 0.177. Is 1/9 <= t?
False
Let x = 48 + -141. Let r = x - -93. Which is smaller: -47 or r?
-47
Suppose -d + 3*d = 5*a + 33, 2*a + 11 = 3*d. Let y = -0.8 + -8.2. Let x = y + 13. Which is smaller: a or x?
a
Let s = 1.64 - 1.668. Suppose 10 = 2*k + 4*p, -16*k + 19*k - 2*p = -9. Is k at least s?
False
Let g = -858827/246775 + 2/9871. Is g smaller than -2?
True
Let f(a) = 4*a**3 + 6*a**2 - 12*a - 3. Let i(z) = -6*z**3 - 9*z**2 + 18*z + 4. Let x(n) = 8*f(n) + 5*i(n). Let l be x(-4). Which is smaller: l or -63?
-63
Suppose 0 = 5*h - 6*h + 2. Let m be 0 + (h - -2) + 32. Let u = m + -35. Is u >= 1?
True
Let b = 91 - 91.102. Let l = b - -0.402. Is l > 1.5?
False
Let t = 17875 + -17926. Let g(z) = -z**2 - 3*z + 3. Let o be g(6). Are t and o nonequal?
False
Let f be -4 + ((-45)/84*-4)/((-6)/(-12)). Is 4836 < f?
False
Let k = -1.332 - -226.732. Let x = 216 - k. Is x at least as big as 2?
False
Let h(j) = j - 28. Let a = 407 - 401. Let v be h(a). Is -70/3 < v?
True
Let a = -3.563 - -3.627. Is 25 <= a?
False
Let z be 0 - (-2 + 0 - -4). Let h be ((-3)/(-6))/(z/(-72)). Suppose 4 = 4*u, 5*u = 4*a - 52 - 11. Do a and h have different values?
True
Let x = 252 + -356. Let d = 195 + x. Let o = -120 + d. Is -27 less than o?
False
Suppose -446*s = -460*s - 2310. Which is greater: 0.4 or s?
0.4
Let g(z) = -16*z**2 + 54*