 Suppose 4*r = 5 + k, -v*h = -2*r. Is h less than 3?
True
Let r be 36/(-5)*30/4. Suppose -8*z = -57 + 49. Is z <= r?
False
Let j = -128 + 4. Let c = j + 102. Is c less than or equal to -0.3?
True
Let n be 14/(-77) + 57/11. Suppose 3*s = 4*w - 24, n*w - 4*s - 19 - 12 = 0. Is w >= -5?
True
Let v = 260.4 + -290. Let f = v - -28. Is 2/5 greater than or equal to f?
True
Let x be (-9)/(-54) + ((-308)/24)/11. Which is smaller: -13/220 or x?
x
Suppose 2254 = -336*g + 343*g. Is 323 less than or equal to g?
False
Let f = 1756 - 2035. Does -279 = f?
True
Let w = -113 + 793/7. Do w and -5.1 have the same value?
False
Let n = -39.4 - -44. Let h = -23.6 + n. Which is smaller: -1 or h?
h
Suppose 0 = 4*p - 2*p + 1064. Let x be 4 - (p/(-460) - -3). Let w = x - -68/23. Is w smaller than 4?
True
Let k = 172 - 171. Which is greater: k or -9/55?
k
Suppose -5*y = 2*b - 15 - 8, 0 = y + 5*b - 23. Suppose 15*p = 12*p + 3. Let z be (3*(-8)/(-12))/p. Is y at least z?
True
Let a be -5 - (1 + 0)*1179/(-237). Suppose 5 = 2*m + 3*m - 4*v, -5*v = -3*m + 3. Which is smaller: m or a?
a
Let m = 62 - 63. Let u be -3 + 27/6 + m. Which is smaller: u or 0?
0
Let x be (42 - 41)*(0 + (-8)/26). Let r(w) = w + 5. Let c be -1*(4 + -2 + 3). Let z be r(c). Is z less than x?
False
Suppose 0 = 10*d + 3411 - 1081. Is d <= -234?
False
Let d = 1/46 - 101/414. Which is smaller: 54/7 or d?
d
Let h be 12/16 + 231/12. Let t = 22 - h. Suppose -5*l - 3*i = -0*l - 3, t*i = -l + 2. Which is smaller: l or -0.5?
-0.5
Let l = -1.71 + 0.11. Let k = -1.73 - l. Let m = k + 0.03. Which is smaller: m or 2/3?
m
Suppose -3*k + 0*f = -5*f + 82, 4*f - 20 = 0. Is -22 < k?
True
Let v be (-5)/(-20) + 1396/(-16). Let c = v - -99. Suppose -4*j = -38 - 10. Is j greater than or equal to c?
True
Let y be 1340/(-1875) - 26/(-39). Which is smaller: y or 0?
y
Let n be 6945/(-9) - (-1)/2. Let q = n + 773. Is 3 at most as big as q?
False
Suppose 4*o = 8*o - 432. Let t = 97297/5 + -19567. Let h = t + o. Is -7 greater than h?
False
Let m be (-2)/3*(-7)/126. Is 0 not equal to m?
True
Let f be 0/(1 + 2) - 2. Let m be (-6)/(-2) + f + 13. Let b be (m/3)/(10/(-15)). Is b at most -7?
True
Let w(u) = u**3 + 25*u**2 + 133*u - 13. Let r be w(-11). Which is greater: 225 or r?
225
Let m be (219/(-6))/(-2*3/(-12)). Is -73 at least as big as m?
True
Let n = -14 + 6. Let f be (-189)/(-11) + (-6)/33. Suppose -4*v + 7*v + f = c, 2*v + 10 = 2*c. Which is greater: n or v?
v
Suppose -5*g + 10 = -30. Suppose 0 = 4*h + 2*r - 0 - 2, 5*r + g = 3*h. Let v be (-2)/(-1)*(-2)/(-7). Which is bigger: h or v?
h
Let v = 2.037 - -34.783. Let l = 37 - v. Let j = l + 0.02. Which is smaller: 9/4 or j?
j
Suppose 3*l - 4*n = 1260, 11*n - 6*n = -5*l + 2100. Is l > 420?
False
Let m = -78 - -315/4. Let q be (5/(-3))/(30/(-4))*9. Is q > m?
True
Let p be (-38)/171 - (-1 - (-2)/(-9)). Let k be (p/(-2))/((-7)/2 + 3). Which is greater: k or 2?
2
Let v = 286 - 3144/11. Which is smaller: v or -3/7?
-3/7
Let h = -84 - -50. Let g = -110 + 78. Let t = h - g. Which is bigger: t or 0.3?
0.3
Suppose 7*i + 8 = -20. Let g be i*(-2 + 108/56). Is -25 < g?
True
Suppose -2*w = -594 - 794. Which is smaller: 0.1 or w?
0.1
Let b(f) = 10*f + 399. Let k be b(-40). Is k >= 1/1161?
False
Let y be ((-48)/(-300))/((-99)/60). Do y and -1 have the same value?
False
Let g = 3.71 + -3.91. Is g > -1/47?
False
Let k(p) = p**3 - p**2 - p - 1. Let d(x) = 4*x**2 + 2 - 7*x + 2*x**3 - 11*x**2 - 5 + 0. Let o(f) = -d(f) + 3*k(f). Let c be o(-3). Which is bigger: -0.2 or c?
-0.2
Suppose 23*j + 13 = -10. Is 1/348 != j?
True
Let u = 10.8 + -55.8. Let v = u + 49. Is -0.4 < v?
True
Let u be (436/(-1308))/((-2)/((-276)/2)). Which is smaller: u or -38?
-38
Let a(f) = f**3 + 2*f**2 + f - 7. Let m be a(0). Are -7 and m nonequal?
False
Suppose 5*z - 38 = -6*h + 3*h, 14 = 3*z + 4*h. Let w = -6 + z. Suppose -w*i + k + 2 = 0, 4*i + k = 6*k + 10. Is i less than -0.3?
False
Suppose 2 + 2 = -5*l + 3*n, l + 2*n + 6 = 0. Suppose 3*k + 5*j = 3*j - 18, 5*j = 0. Let y be l/(-4)*k - -2. Which is greater: 1 or y?
1
Let r(z) = z**3 + 18*z**2 + 15*z - 31. Let p be r(-17). Is p less than -7?
False
Let k(x) = x**2 + 7*x + 6. Suppose 9 = -2*t - 3. Let q be k(t). Is q at most -3/14?
False
Let p(g) = -2*g**2 - 17*g - 16. Let d be p(-8). Suppose 0 = 3*s + s + 28. Is s < d?
False
Let p(r) = -4*r + 6. Let y be p(4). Let c be (2 - 4) + (-18)/y. Suppose 4*n + 17 = -3*u, 4*u + 5*n - 13 = -34. Which is smaller: u or c?
c
Let r(f) be the first derivative of -f**4/4 + 3*f**3 - 8*f**2 + 47*f + 14. Let g be r(7). Are g and 34 nonequal?
True
Let y = 376.9 + -245.9. Are y and 2/9 equal?
False
Let z = -140 + 151. Let d = -9 - -13. Let y be (d + -3)/(2/22). Are z and y nonequal?
False
Suppose k + 3*k = 136. Suppose -2 - 2 = -4*n, -4*l - k = -2*n. Let g be -1*-3*l/84. Which is bigger: g or 1?
1
Suppose -73*i = -70*i + 5*s - 35, -5*i + 4*s = 28. Let k be 1/(1 - (-1 - -3)). Which is greater: i or k?
i
Let x(l) = -29*l**2 - 2*l - 3. Let j be x(-1). Let s be (-10)/(-6)*j/4. Is -13 < s?
True
Let h be (-5)/5 + (-10 - -2)/(-2). Suppose 6*b - 5*n = h*b + 4, 0 = b - 3*n - 4. Are -0.2 and b equal?
False
Let q = -131 + 128.16. Let x = 3 + q. Let c = -219/4 - -109/2. Which is bigger: c or x?
x
Let z be ((-3)/(-57))/(7/(-231)). Which is smaller: z or -1?
z
Let t be 0 + 2 + 1 - -10. Let o = t - 33. Are -19 and o equal?
False
Suppose 4*h + 8 = 2*a + 22, -2*h + 6 = 0. Let p = 21870/13 - 116292/65. Let j = -107 - p. Is a <= j?
True
Let k = 1 + -7. Let x be (-34)/k - (-5)/15. Let c = 1.4 - 1.5. Which is greater: c or x?
x
Let j = -13/6 - -20/3. Let c = 3 - j. Which is smaller: 2 or c?
c
Suppose -2*c + 2 = -4. Let z(y) = -y**2 - 13*y + 15. Let q be z(-14). Which is greater: c or q?
c
Let n = 313 + 34. Is 347 bigger than n?
False
Suppose -k - 4*z + 129 = -26, 5*k + 3*z = 860. Let a be 89/k + (-18)/42. Let q = 14 + -15. Which is smaller: q or a?
q
Let l be -5*(2 - 36/(-15)) - 3. Let a = l + 21. Which is smaller: a or 5?
a
Let n = -1020 - -1040. Suppose -7*o + 19 = -6*o. Are n and o nonequal?
True
Suppose -t - 3*r + 10 = -r, r = -2*t + 5. Suppose t = 4*l + l - 105. Suppose -4*u + 5 = l. Is -3 bigger than u?
True
Let l(z) = z**3 + 6*z**2 - 4*z - 5. Let s be l(-5). Suppose 3*v - x = s, 0*v - x = 4*v - 58. Let p = 146 - 132. Is p not equal to v?
False
Let f(l) = -l**2 + 7*l + 6. Let u be f(5). Suppose -15 + u = g. Is g less than 4?
True
Let l = 3 + -1. Let d be 0 - (l/(-4) - 0). Let f = 1355/6 - 226. Is f at least d?
False
Suppose -204 = -4*j - 4*x, -5*j + 227 = -9*x + 7*x. Which is bigger: 48 or j?
48
Let j = 2062255/281 - 7339. Which is bigger: j or -1?
j
Let p(j) = j + 4. Let o be p(2). Let c(x) = -x**3 + 5*x**2 + 11*x - 13. Let z be c(o). Suppose z = -2*b + i, 0 = 4*b - 5*i + 4*i + 29. Is b bigger than -3?
False
Let k = -22 - -23. Let z = -7 + 8.4. Which is smaller: k or z?
k
Let c = -3 - -5. Let q be 0 + 6 - (-19)/(38/(-64)). Is q at most as big as c?
True
Let m be 4/3 - 16/12. Let n be 0 + m - (4 - 63/15). Which is smaller: n or -1?
-1
Suppose 3*i + 20 - 86 = 3*o, -5*i = -3*o - 100. Suppose i*q - 84 = 13*q. Is q greater than 20?
True
Let g be (-36)/45 - 67/(-90). Which is smaller: g or 1?
g
Let w(o) = 25*o**3 - 6*o - 1. Let j(l) = -l. Let b(d) = 6*j(d) - w(d). Let m be b(-1). Is 27 equal to m?
False
Let i(k) = 20*k - 2. Let c be i(-1). Which is smaller: -20 or c?
c
Let b = 2.2193 + 0.0107. Let v = 0.23 - b. Which is smaller: -41 or v?
-41
Suppose -9*c = -4*c - 15. Let b be c*(-7)/(-322)*2*-2. Are 0 and b nonequal?
True
Suppose -4*n - 58 = 3*d + n, -5*d - 5*n - 80 = 0. Suppose 3*s = 5*s + 24. Is s < d?
True
Let c(f) = -23*f - 6. Let d be c(2). Let b = 51 + d. Which is greater: -2/9 or b?
-2/9
Let b = -38 + 44. Is -23 smaller than b?
True
Let d be 17/35 - 4/14. Let c = -80 - -80. Suppose c = k + 5*f + 16, -k - 3*f = 4*k + 14. Is k at least as big as d?
False
Let g = -6006133/557 + 10783. Which is bigger: 1 or g?
1
Suppose -5*h = -30 + 35. Does 3 = h?
False
Let l = -65 + 19. Let k = l + 21. Let x = k - -49/2. Which is bigger: -1 or x?
x
Let l(q) = -q**3 - 4*q**2 - 2*q - 1. Let g be l(-4). Let a = -194 + 201. Is a greater than g?
False
Let c be 10/100 - (-18)/20. Which is smaller: -2/2283 or c?
-2/2283
Let b be 0 + -2 + 6 - -3. Let q(i) = 2*i - 3. Let s be q(6). Let o(z