4. Let u(w) = 115*w - 691. Let h be u(6). Is v smaller than h?
False
Let s be (-12)/(-2)*1/2. Let a(z) = z**2 - 18*z - 60. Let v be a(-3). Is v equal to s?
True
Let g = -2/58633 - -11668165/5804667. Let w = g + -16/11. Let z = w - 2/9. Is -0.04 at most as big as z?
True
Let s be -2 - (-5252)/1314 - (15 + -13). Which is greater: 1 or s?
1
Let p = 47.8 - -0.2. Let d = p + -47.79. Let i = -0.11 + d. Do i and -2 have the same value?
False
Let h = 23.2 + -23.5. Which is greater: h or -3/5?
h
Let z = 0.013 - 0.044. Let y = 5.831 + z. Let j = y + -0.8. Is -1 at least as big as j?
False
Suppose 58*i - 62*i = -8. Let k be i - (3*1 - 135/55). Do 0 and k have different values?
True
Let o be (14 + 203/(-14))/(2/(-4)). Let a = -929/2 + 26921/58. Do a and o have the same value?
False
Let s be -31 - (2/(-3))/((-6)/(-27)). Let x be (s/(-36) - -3)*15/(-20). Which is smaller: -2 or x?
x
Let y = -2 + 5. Suppose y*l = 9, -3*f - f + l + 57 = 0. Suppose 3*k - 8*k + f = 0. Which is bigger: 2 or k?
k
Let h be (1 + (-15)/9)/(16/6312). Is -265 < h?
True
Suppose -15 = n - 2*n. Suppose -m + 4*i = 3*m + 24, -5*m = 4*i - n. Let o = 113/91 + -18/13. Is m bigger than o?
False
Let r = 379/88 - 46/11. Suppose o - 5 = 3. Suppose -o*p = -7*p. Is r at least p?
True
Let r be 3 - 12*((-21)/12 + 2). Let i = 7 - r. Which is smaller: i or 9?
i
Let x(v) = v**2 - 15*v + 16. Let t be x(10). Let m = 19 + t. Let a be m/25 - 148/(-230). Is 0 greater than or equal to a?
False
Let v(i) = i**2 - 6*i + 4. Let g(a) = a + 4. Let z be g(-5). Let c be -15*z*(-4)/(-12). Let w be v(c). Is -1/17 greater than w?
True
Suppose -5*j + 13 - 428 = 0. Let s = -8938 + 27061/3. Let c = j + s. Is c less than -0.07?
True
Let r(j) = 15*j + 510. Let s be r(-34). Is 14/285 > s?
True
Suppose -5*t = -t - 4. Suppose h + 3 = -2*h, -4*d + 226 = 2*h. Let u be (38/d)/(0 + -3). Which is bigger: t or u?
t
Let u = -5 - 679. Is -685 at most as big as u?
True
Let n = -0.39 + -32.61. Let a = n - -33.1. Is a at most -0.021?
False
Let r = 72/13727 - 32973046/150997. Let v = 218 + r. Which is greater: 1 or v?
1
Let t = -15.959 - 0.041. Let n = -16.11 - t. Let c = -16/15 - -2/5. Which is smaller: c or n?
c
Suppose 4*m = 37 + 3. Let l(i) = -i**2 - 4*i + 16. Let z(p) = p**2 + 3*p - 15. Let f(v) = 4*l(v) + 3*z(v). Let n be f(-8). Which is smaller: n or m?
m
Let q = -446655/34 - -13133. Let h = q + 11/68. Which is smaller: h or -4?
-4
Let z = -4.9 + 7.8. Let k = -2.75 + z. Suppose 0 = 5*i, -5*i = -5*s - 3 - 2. Which is greater: s or k?
k
Let f = -199 + 165. Let m = -0.19 - -1.19. Which is greater: f or m?
m
Let t = -1.9666 - 0.0334. Is t smaller than -4.54?
False
Let v = -86 - -86. Let m = 33 - 55. Let q = 11 + m. Are v and q nonequal?
True
Suppose -w - 12 = -5*r + 4, 0 = -3*r + 5*w + 14. Suppose 1 = 2*t + 3*n - 16, -2*t + n = r. Let k(m) = -m**3 + 4*m**2 + 6*m - 5. Let b be k(5). Is t at most b?
False
Let h = 8.106 - -1.094. Which is greater: h or 1?
h
Suppose 0*z + 5*z = -p - 66, -z - 114 = 2*p. Let q = p + 394/7. Suppose 0 = -25*v + 17 - 67. Which is smaller: q or v?
v
Let a(i) = 4*i - 22. Let v be a(14). Let r = v - 22. Which is smaller: r or 11?
11
Let k(c) = c**2 + 14*c + 8. Let j be k(-14). Suppose 4*l = 4*o, 5*l + 0*o + j = o. Is -7 less than or equal to l?
True
Let f be 5/(10/6) + 32. Let c be 2/(-7) + (-1565)/f. Let m be (-6)/10*c/(-36). Which is smaller: -1/5 or m?
m
Suppose 0 = -u + 1, 2*x = 7*x - u - 29. Suppose 8*s = -34 - x. Which is bigger: s or -9?
s
Let a(t) = 5*t + 67. Let s be a(-11). Suppose 4*j = s, -4*j + 4 = -4*v - 12. Which is smaller: v or -4/5?
v
Let a = -803 + 1424. Which is bigger: 620 or a?
a
Let r be ((-4)/6 - -2)*405/54. Let v be ((-1)/(-2))/(5/r). Which is smaller: 2/97 or v?
2/97
Suppose 7 = -5*u - 13, 3*u + 6 = s. Let j be (-15)/s*(-1)/(-5). Let k = 0.5 - 0.8. Is j smaller than k?
False
Suppose -3*x - x + 3 = i, 3*i + 15 = 0. Let p be x - 1 - (-3)/(-1). Let g = -1 + p. Are -2 and g non-equal?
True
Suppose 5*a - 50 + 10 = 0. Let z be (-1)/5*(-15 + 64/a). Is z equal to -0.2?
False
Suppose -7*s + 15 = 5*c - 2*s, -9 = -3*c + 2*s. Suppose 3*o - x = -17, -o - c*o + 4*x = 36. Let z be ((-7)/(-49))/(o/(-14)). Which is bigger: -1 or z?
z
Let f = 403561/36 + -11209. Let a = f + -25/24. Is a at least -1?
True
Let a = 1 - 3. Let b = 0 + a. Let r be 2/(-110) - -2*(-3)/(-30). Are b and r non-equal?
True
Let c be ((-2)/(18/51))/(2/(-12)). Suppose -2*f = 2*y - c, -2*f + 21 = 3*y - 5*f. Is y less than 12?
False
Let o be -474 + -3 - (1 + 1). Let m = o + 222. Let d = m - -5141/20. Is d >= -1?
True
Let y be (-1 + (-196)/(-200))/((-3)/(-108)). Which is greater: -2 or y?
y
Let d(r) = -r**3 + 14*r**2 + 12*r + 45. Let s be d(15). Which is smaller: s or 9?
s
Let q(k) = -k**3 + 3*k**2 + k - 3. Let p be q(3). Let h = -41 - -29. Let n be (1/(-39))/(4/h). Do p and n have the same value?
False
Let r(d) = 2*d**3 + 7*d**2 - 7*d - 7. Let z be r(-4). Let p be (-9)/(-6)*4/6. Which is bigger: p or z?
z
Let z = 42 - 75. Let f = z + 33.05. Let w = -2.85 + f. Is w not equal to -1?
True
Suppose 2*z - 35 = -5*w - 3*z, 11 = 3*w + z. Suppose -w*l + 28 = 4*i + 3*l, 4*i - 20 = -3*l. Suppose -i*o - o = -2*f + 12, 0 = 3*o + 12. Are f and 0 unequal?
False
Let o = 14 + -15.06. Let r = o - -0.06. Let c(t) = 3*t + 4. Let l be c(-7). Which is smaller: l or r?
l
Let q = 1.83 + -1.73. Which is smaller: q or -122?
-122
Let c be (-6)/21 + (-24)/14. Let z be 8/18 + 2 + c. Suppose 4*f - 5*r = 4, f = 4*f + 4*r - 3. Which is smaller: z or f?
z
Suppose 466*a = 480*a - 560. Is a greater than -13?
True
Let k = 1.5 - -0.5. Let b = 30 + -32. Let i be 2/(-6) - b/(-3). Is i >= k?
False
Suppose -5*s + 5 = v - 10*s, -2*v = -4*s - 10. Is v not equal to 1?
True
Let v = 0.56 + -4.69. Let l = v + 0.13. Is l != 4?
True
Let f = -23/18 + 151/90. Suppose 5*d - d = 0. Which is smaller: d or f?
d
Let i(c) = c**2 + 3*c + 5. Let q be i(0). Suppose 0 = -5*h + 6*h - q. Let f be h/5 + -3 - -2. Is f at most 4/11?
True
Let x = 0 + 2. Let y(p) = 0*p - 3*p + 4*p + 5. Let t be y(-3). Is x less than t?
False
Let o be 1 + 0/(-2) + 19. Suppose -445*j = -454*j. Let x be 12/3 + j - o. Does -16 = x?
True
Suppose -15*z + 259 = -8*z. Suppose -42*l = -z*l. Which is greater: -2/265 or l?
l
Suppose -n - 2*n = 2*d - 28, -n - 9 = -3*d. Suppose 8*r - 12 = n*r. Which is smaller: 8 or r?
r
Let d = -2 + 4. Suppose -2*o = d - 44. Is 22 at least o?
True
Let z be 10/(-6)*3 + (-14)/2. Which is greater: -10 or z?
-10
Suppose 3*l = 329 + 616. Let d = l + -647/2. Let h = d + 253/30. Which is smaller: h or 0?
h
Let m be -2 + -1 - (6 + -12). Suppose -2*q = m*q - 15. Suppose q*b = 10 + 8. Which is smaller: b or 5?
5
Let w = 1136.1 - 1136. Is 129 at least w?
True
Let l = -22 - -37. Suppose l = -8*u - 57. Are u and -11 nonequal?
True
Let q = -0.34 + 0.74. Which is greater: -116/11 or q?
q
Suppose 0 = -3*z + 2 + 4. Suppose 0 = z*y - 8 - 0. Let c = 3 - 2. Is y < c?
False
Suppose 4*q + 73 = q - 2*v, -3*q - v = 77. Let b be (21/156)/(2 + q/12). Which is smaller: -2 or b?
-2
Suppose -2*y + 45*b + 5 = 42*b, y + 5*b = -4. Which is smaller: y or 11/53?
11/53
Let m be -3*(-744)/15 - (-5)/25. Let a = -139 + m. Which is greater: 2 or a?
a
Let i be 3/(-18) + (-77)/(-66). Suppose -w + i = -0*w. Suppose -v - 1 = -2*v. Is w != v?
False
Let l = -39 - -39.8. Let f = l - 0.66. Is 0.1 smaller than f?
True
Let t(b) = -b**2 - b + 1. Let p be t(-1). Let u = 22 - 20. Let m be ((-2)/(-4)*u)/(-1). Which is bigger: p or m?
p
Let w(z) = 5*z**2 - 12*z - 14. Let x be w(6). Which is greater: 92 or x?
x
Suppose -699 = -15*z + 1506. Is z not equal to 149?
True
Let t(f) = f**2 + 3*f + 3. Let j be t(-4). Suppose -h - j = -p, h + 23 = 5*p - h. Suppose 6 = d - p*d. Which is bigger: d or 2?
2
Let m be 2 + -5*12/(-10). Suppose 5*o - m - 82 = 0. Suppose 3*n + o = 5*i, -3*n + 3 = 2*i - 0. Which is smaller: -3/7 or n?
n
Let w = 26837/9 + -2982. Let d be 2/5 + (-1 - -1). Is w at least as big as d?
False
Suppose w - 629 = 5*u - 2*w, 632 = -5*u + 4*w. Is -122 greater than or equal to u?
True
Let s = 2.007 - 2.107. Let o be ((-4)/(-10))/(4/(-185)). Are o and s equal?
False
Let h = -0.0104 - -0.0194. Is 0 < h?
True
Let s = -1/2 + -7/6. Let d = 2 + 0. Suppose -2*b = d*b + 12. Which is smaller: b or s?
b
Let r(n) = -64*n**3 + 3*n**2 + n - 4. Let b be r(2). Wh