4. Let v be (k/(-180))/((-6)/s). Which is smaller: v or 0?
0
Let w = 3 - 10. Let o be (21/(-6))/w*4. Suppose o*m = -2*m. Which is bigger: -1/14 or m?
m
Let g be 294/(5/2 - 0). Let c = -118 + g. Let i = 4 - 8. Is c at least as big as i?
True
Let f = 9/65 - 7/13. Which is greater: f or -7/3?
f
Let x = -98 + 102. Suppose -2*b - 4*z = -0 + 2, 0 = x*z + 20. Is 9 equal to b?
True
Suppose 4*w - 40 = 88. Let g = -53 + w. Let p be g/(-52) + 17/(-68). Is p less than or equal to -4?
False
Let t = 7 + -22. Let h = t - -5. Let r = h - -6. Do r and 2/5 have the same value?
False
Suppose -2*s + 5*r + 148 + 21 = 0, s = -4*r + 52. Is s at most 71?
False
Let m be ((-16)/(-72))/((-14)/(-105)). Is m greater than -7?
True
Let f = 0.02 + -0.12. Suppose 62 + 233 = 3*l + 2*j, 0 = 5*l + 3*j - 490. Which is bigger: l or f?
l
Let b be -4 + (8 + -2)/((-6)/(-4)). Let m = 1912291/15841 + -8/2263. Let u = -121 + m. Which is bigger: u or b?
b
Let q = 4.14 + -2.17. Let g = q - 2. Let r = g - -0.53. Are 1 and r nonequal?
True
Let y be 4/6*1/((-8)/(-48)). Suppose -2*m = -2*d + 14, 0*d - 3*d + 12 = 0. Which is greater: m or y?
y
Let h be 2/6 - 85/(-51). Suppose 2 = h*s + 5*r - 1, 0 = 3*s - 5*r - 17. Suppose -8*z = -10*z - s. Is -1 at least z?
True
Suppose 5*r + s - 3*s = 526, -4*s = -2*r + 204. Let z = r + -176. Is z not equal to -71?
True
Suppose 0*d = -d - 7. Let q(g) = 11*g**2 + 5*g**2 + 8*g + 10 - 15*g**2. Let t be q(d). Which is smaller: 1 or t?
1
Let m = -113 - -65. Let p = m - -50. Which is smaller: p or 14/5?
p
Suppose -2*h + 3*g = 11, h + 4*g - 11 = -0*h. Let p = -2 - h. Let f(l) = 3*l - 6. Let z be f(2). Is p bigger than z?
False
Suppose 40*y - 82 - 38 = 0. Suppose -a = 5*c - 10 - 19, 4*a - 16 = 0. Is c not equal to y?
True
Let g be 1/(((-6)/38)/(-3)). Let s = 31 - 9. Let i = s + -4. Which is smaller: g or i?
i
Let q(m) = m**2 - 2. Let w = 27 + -28. Let u be q(w). Which is bigger: u or -3/10?
-3/10
Let u be ((-7)/((-2380)/(-30)))/((-51)/(-2)). Is u greater than 0?
False
Suppose d = 4, o - 4*d = -3*o - 8. Suppose -4*q - o = -6*q. Which is bigger: 8/15 or q?
q
Let v be (-399)/(-228)*(-1)/(7/(-22)). Let z be -1 + 2 + (-4 - -9). Is z less than v?
False
Let u = 919/2739 + -2/913. Is -0.0028 <= u?
True
Let x be (54/6948)/(3/2). Let o = x - 219/5018. Which is smaller: 1 or o?
o
Let f = -5287/410 - 25/82. Let u be 2/(-6) - (-1)/(15/(-190)). Are u and f non-equal?
True
Suppose -6*k + 85 = -k. Let l = k - 41. Does l = -25?
False
Let d(u) = -2*u - 9. Let f be d(-7). Suppose -3*s - 5*b = -f*s - 28, -4*s - 3*b - 4 = 0. Which is smaller: -8 or s?
-8
Suppose 2*j + 0*j - 47 = -3*t, 4*j - 5*t - 83 = 0. Let a be (15 - (-8)/(-2))*8/4. Is a not equal to j?
False
Let u = -580 + 659. Which is bigger: 78 or u?
u
Suppose -2*v - 3*v - 3*q = -55, 5*v - 90 = 4*q. Let x = 13763 - 13764. Which is smaller: v or x?
x
Suppose -2*l = l - 9. Let u = l + -3. Let t be (-1)/(18/51) - 18/(-6). Which is smaller: t or u?
u
Let s = 145301024 - 2402697733673/16536. Let n = -1233/8 - -16337/106. Let i = s + n. Are 1 and i non-equal?
True
Suppose 0 = 9*k + 30 + 51. Let g = k + 40. Does g = 33?
False
Let p = -5 - -5.56. Let v = p - -2.28. Let k = -0.16 - v. Is k greater than or equal to -2/9?
False
Let n(t) = -2 - 11 - 4*t + 3*t. Let l be n(-7). Let c be (6/(-63))/(l/(-9)). Which is smaller: c or 0.1?
c
Let y be (-2)/9*3*3. Let h(b) = 271*b - 1628. Let n be h(6). Are n and y equal?
True
Let g = -28 - -60. Let p = 32 - g. Is p <= -18?
False
Let a = -2 + -1. Let d(p) = 3*p**3 + 79*p**2 + 24*p - 25. Let f be d(-26). Which is smaller: a or f?
a
Let l = -22341/20 + 1117. Is 0 less than or equal to l?
False
Let o = -318379/195 + 22528/15. Suppose 0*z = -3*z + n + 395, 4*z - 2*n - 528 = 0. Let t = z + o. Which is smaller: -1 or t?
-1
Let a be (411/6)/(16/96). Which is smaller: a or 410?
410
Let x = -2705 + 2705.8. Does x = -3?
False
Suppose -38 - 18 = 4*w. Suppose 68 = -5*l + h + 1, -2*l - 16 = -4*h. Do w and l have the same value?
True
Let r(k) = -k**3 - 6*k**2 + 8*k + 10. Let p be r(-7). Let v be (-2)/p*(-1)/4. Let d(y) = -y**3 + 2*y**2 + 2*y + 2. Let g be d(3). Which is bigger: g or v?
v
Suppose 4*l = -z - 4, 4*z - 7 = 5*l - 2. Which is smaller: 2/101 or l?
l
Suppose 119 - 283 = 4*d. Is -41 > d?
False
Suppose 0 = 3*h + 2*h - 25. Suppose 52 = h*u + 127. Let g be u/(-12) + -3 + 2. Is g at most as big as 2/3?
True
Let t = -13 + 4. Let y(x) = 4*x**2 - 3*x**2 + 27*x + 11 + 0*x**2 - 17*x. Let f be y(t). Is -4 bigger than f?
False
Let w(v) = v**2 + 7*v + 6. Let l be w(-6). Suppose 0 = -2*k + 4*i + 30, l = 2*k + 3*k - 5*i - 80. Let m = 19 - k. Do -4 and m have the same value?
False
Let z = 1238 - -24. Which is smaller: 1263 or z?
z
Let b = 399 - 398.857. Is b at most 1/4?
True
Suppose 0 = -5*p - 2*m + 87, 2*p + 2*p - 3*m - 65 = 0. Let a(n) = p*n**2 - 37*n**2 + 18*n**2 + 1. Let u be a(-2). Which is smaller: -4 or u?
u
Let c = -1297/5 + 260. Is c greater than -0.042?
True
Suppose 4*g = 2*c + 16, -4*c - 5*g - 22 + 3 = 0. Are -10 and c nonequal?
True
Let s = 176/17 + -1763/34. Let i = s + 239/6. Which is smaller: -1 or i?
i
Let s = -54.3 - -54.3. Which is smaller: -30/17 or s?
-30/17
Let h = 1.842 + -1.042. Suppose -9 = b - 5*x, 3*b + x - 21 = -0*x. Let f be b/(-15) + 2/5. Is h at most f?
False
Let u(j) = -2*j + 4. Let g = -1 - -4. Suppose -3*d + 6 = g*x - 9, x = -2*d + 7. Let z be u(x). Is z equal to -3/5?
False
Let s be (-1)/((-1)/3) - 785/265. Which is smaller: 1 or s?
s
Let z be (3/48*4)/((-55)/88). Are z and 5.21 equal?
False
Let u = 20 + -19. Which is smaller: u or 159?
u
Let l be (92/(-8))/((-2)/4). Suppose -3*p + u + l = -p, u = 4*p - 41. Is p at most 8?
False
Suppose 5*k = 0, 0*k = -4*t - 3*k - 40. Let d = 2521/9163 + -2/833. Is t at least as big as d?
False
Suppose 0 = -37*d + 40*d. Is d >= -2/569?
True
Let s = 56 - 49. Suppose 2*i + 3*i = 4*w + 70, i - 4*w - 30 = 0. Are s and i non-equal?
True
Let j(c) = c**3 + 26*c**2 - 32*c - 133. Let t be j(-27). Which is greater: t or -1?
t
Let a = 192 + -192. Suppose a = 5*w + x - 3*x + 24, 0 = w - 2*x + 8. Let t = 3 - 6. Is w at most t?
True
Let s = -21 - -7.5. Let f = 3.5 - s. Let c = f - 10. Which is smaller: c or 0?
0
Let z(u) = u**3 - 7*u**2 - 25*u + 7. Let y be z(8). Are -129 and y equal?
True
Let g = -435 + 427. Which is greater: -0.05 or g?
-0.05
Suppose 4*t = -t + 20. Suppose -2*a = q + 39, t*q + 2 = 2*a + 26. Is -17 not equal to a?
True
Let s be 6/((-9)/(-5) - (-10)/50). Suppose -5*x = 4*g - 3*g + 4, s*g = -3*x. Which is smaller: x or -2/133?
x
Let x = -15548443/1111 - -13995. Which is smaller: x or 1?
x
Let v(r) = 5*r + r**2 + 13 + 0*r + 0*r - 10. Let j be v(-4). Which is greater: j or 4/17?
4/17
Suppose l = 2*y + 6, -3*y - 15 = 2*l + 2*y. Let i be 4/12 + (-22)/(-33). Are i and l equal?
False
Let l(i) = i**3 - 16*i**2 - 8*i + 89. Let v be l(18). Is v less than 592?
False
Let f be (22/24 - 32/48)*0. Are f and -13/21 equal?
False
Let d = -330 - -329. Is 3/92 less than or equal to d?
False
Suppose -15*q + 109 = -71. Suppose q - 13 = -r. Which is smaller: -1/5 or r?
-1/5
Let y be 2*-7*(-4)/8. Suppose 5*z - y*z = -0*z. Is z >= 1/65?
False
Let x = -2.1 + 2. Let c = -883.3 + 822. Let q = c - -62. Is x > q?
False
Let i = -9990/7 + 1427. Suppose 3*o + 2 - 3 = 4*r, 4*o - 3*r = -1. Which is greater: i or o?
i
Let h = -65 + 28. Let p = h - -36.01. Let j = p + -0.01. Which is smaller: -4/9 or j?
j
Let c = -0.071 - -10.371. Let i = c + -10. Let y = i - 0.5. Is -2/11 greater than or equal to y?
True
Let d(b) = -b**2 - 6*b + 110. Let k be d(-14). Let v = -1 - -1. Let p(t) = -t**2 + t - 1. Let o be p(v). Which is bigger: o or k?
o
Let c = -0.37 - -0.77. Let y = 9.01 + -0.01. Let v = 11 - y. Which is bigger: v or c?
v
Let p = -1404 + 1406. Let a = -8.13 + 8. Which is smaller: a or p?
a
Suppose 4627 + 581 = -14*p. Is p at least as big as -371?
False
Let d be (24810/2256 - 11)/((-1)/2). Which is smaller: 1 or d?
d
Let n = -83 + 247/3. Let u = 111 - 110.926. Is u >= n?
True
Suppose 4*c + 3*z - 5*z = 6, z - 5 = 0. Suppose 2*d = c*d + 8. Suppose 27 = -3*x - 4*j, -5*x + 3*j = 5*j + 31. Which is greater: d or x?
d
Let x be (-2228)/153 + -6 + (-104)/(-17). Which is smaller: -0.1 or x?
x
Let d be 24/15 - (-6)/15. Suppose d*i + 2*i = -76. Is -19 less than or equal to i?
True
Let a = 0.0054 -