4. Let g = r + 56. Which is smaller: 9 or g?
9
Let u be (4/(-6))/(34/306) - -5. Is u > -5/76?
False
Let r be 11/(3/2 + 99/(-22)). Is -5 smaller than r?
True
Let i = 0.02 - 0.42. Let x = i - -0.8. Let l = 1070.2 + -1070. Which is smaller: x or l?
l
Let o = -50 - -50. Suppose -5*b + 1 - 11 = o. Which is smaller: b or -6?
-6
Let g = -137 - -213. Suppose -1181 = -13*v - g. Which is smaller: v or -1?
-1
Let f = 5 + -4.98. Let u = 1.58 + f. Let o = 0.4 + u. Which is bigger: o or -0.2?
o
Let c be 27/(3 - 12)*(-1)/(-5). Which is smaller: c or -9?
-9
Let m = 9132/11 - 42932/55. Let y = m + -49. Which is greater: y or 1?
1
Suppose 0 = -j + 2*f + 7, 5*f + 10 = -5. Is j smaller than 1/3476?
False
Let w be (20/(-30))/((-10)/107025*5). Which is smaller: 1428 or w?
w
Let i(y) = -5*y + 95. Let s be i(26). Let l be 6 - 3 - 19*2. Are l and s equal?
True
Let z = 169.44 - 169. Which is smaller: -1 or z?
-1
Let q = -762 - -702. Is q at most as big as -27?
True
Let x = 129 - 129.1. Is 36 > x?
True
Let k(j) = j**3 - 5*j**2 - 4*j. Let f be k(5). Let l(s) = 13*s + 12. Let z be l(-7). Let c = z + 58. Is f at most c?
False
Let w = 890 + -620. Let y be ((-4)/w)/(1/3). Does y = 0?
False
Let s = 0.395 - -0.605. Which is greater: s or 27?
27
Let m be ((-30)/(-8))/((-24)/(-128)). Suppose u - 4*n + 8 = -u, -5*u = n + m. Let q be (-16)/9 - u/(-18). Which is smaller: -3 or q?
-3
Let r(u) = u**2 + 5*u + 4. Suppose 0*y = -5*x + y - 15, -2*x = 4*y + 28. Let d be r(x). Let t be 10/36*(-9)/(-30). Which is smaller: t or d?
d
Let b = 69 + -57. Let c be 2/(12/36 + (-1)/b). Let s = -4 + 14. Do s and c have different values?
True
Suppose -y - 2*y = 3*j + 45, -3*j - y = 35. Let p be -1 + -2*(-35)/j. Is 2/3 at most as big as p?
False
Let g = 7655 + -6330683/827. Which is smaller: g or 1?
g
Let k = 2/1827 + -9920/1827. Is -4 > k?
True
Let h(u) = -5 + 5 + u**2 + 3*u**3. Let y be h(1). Let q be -5*(y/(-4) + -1). Is 10 greater than q?
False
Suppose 0 = 2*j + 4*m - 8*m + 6, 3*j - 5 = -m. Suppose -2*q = -4*z + 8, -z - j = 3*q + 11. Which is smaller: z or 2/25?
z
Let k = -31.2 - -31. Is k less than 0.5?
True
Let r = -0.4707 - 0.0293. Which is greater: r or -58?
r
Suppose 44 - 54 = -5*w. Suppose -x + 4*o = -2, w*x = 6*x - 4*o - 56. Is x <= 18?
True
Let c(f) = -f**2 + f + 3. Let x be c(-5). Suppose 4*h + 4*n = -132, -5 = 5*n - 4*n. Let u = x - h. Do u and -2/43 have the same value?
False
Let y = 5.071 + 0.929. Let o = -7.91 + -0.09. Let s = y + o. Which is smaller: -0.01 or s?
s
Suppose -2*t - 15 = t. Let y be 0/(-72) - (2 - (0 - 5)). Which is bigger: y or t?
t
Let o = -95 + 61. Let u = o - -28. Which is bigger: u or -1?
-1
Let v = 19 + -77. Let u = v + 53. Suppose 0 = -3*f, f + f = -2*t - 8. Is u at most t?
True
Let g = 0.19 - 0.141. Let k = -0.051 - g. Do -1 and k have different values?
True
Let c(p) = -p**3 + 16*p**2 - 3*p + 3. Let h be c(15). Are 182 and h non-equal?
True
Let n(b) = -b**3 - 7*b**2 + 8*b + 82. Let z be n(-6). Let v(l) = -l + 1. Let q be v(1). Let y be (7 + -3)*(-1 - q). Is z != y?
True
Suppose 2*z + 4 + 3 = -n, 0 = 5*z - n. Which is bigger: z or -56/73?
-56/73
Suppose -4*z + z - 159 = 0. Let w = z - -55. Is w greater than 3?
False
Suppose -3*b = 4*b + 14. Let o be (2 - b) + (-64)/6. Let v(s) = -2*s**2 + 3*s + 2. Let t be v(3). Which is bigger: t or o?
o
Suppose -30 = 3*r + 3*d, -5*r = d - 0*d + 46. Let z = r + 6. Let t be (z - -4) + -2 + 3. Which is smaller: t or 1?
1
Let p(q) = -q**3 - 40*q**2. Let i be p(-40). Is -7/79 bigger than i?
False
Let n(v) = -v**2 - 4*v + 2. Let d be n(-4). Let o = 294 + -1374. Let h = o + 7578/7. Which is smaller: h or d?
d
Suppose -14*c + 1002 = 13028. Are -858 and c non-equal?
True
Let m = -3.7 - -0.7. Let y = -3.4 + 3.49. Let j = -0.19 + y. Which is bigger: m or j?
j
Suppose 3*d - 25 = -2*h, h - 4*d = -0*h + 7. Let s = h - 10. Let i = 3 + s. Which is smaller: 2 or i?
2
Let q = 1.09 + -0.59. Let b = 0.03 + 6.97. Which is greater: q or b?
b
Let j(t) = 6*t - 2*t - 3*t + 12. Let g be j(-8). Suppose -f + 2*f = 5*u + 7, -4*f + 4 = g*u. Which is bigger: f or 5/6?
f
Let w = 2210/47 - 47. Are w and 0.02 unequal?
True
Suppose 3737 = -6*t - 1195. Is -822 at least as big as t?
True
Suppose 5*w - 4*t + 2 = -3, 0 = 5*t. Is w less than -2/133?
True
Let z = -50/201 + 960/4757. Which is greater: z or -1?
z
Let m(b) = -b - 18. Let p be m(-33). Are 17 and p unequal?
True
Let f(b) = -7*b**3 - 3*b**2 - b - 16. Let j(x) = 6*x**3 + 4*x**2 + x + 15. Let k(g) = 5*f(g) + 6*j(g). Let l be k(-9). Which is smaller: l or 1/84?
1/84
Suppose 7 = -s - 1. Let z = s - -19. Suppose 5*y + 0*q + 7 = -3*q, 5*q = 3*y + z. Is 0.4 not equal to y?
True
Let m = -29 - -9. Let a(y) = -y**3 - 39*y**2 - 108*y - 22. Let o be a(-36). Which is bigger: m or o?
m
Let s = 0.2 + -8.2. Let i = 0.54 + 7.26. Let u = i + s. Which is smaller: 0.1 or u?
u
Let w = 267.9226 - 268. Let j = w + 18.1874. Let q = j - 18. Is q less than -1?
False
Suppose 32*p + 9719 - 39767 = 0. Which is greater: p or 938?
p
Let q = -0.0026 + -0.1974. Which is smaller: -20/9 or q?
-20/9
Let u(j) = 3*j**2 + 3*j. Let o be u(-4). Let w be ((-1)/2 - 0)*-4. Let n be (w/4)/(o/(-45)). Is n at least as big as -2?
True
Let t = 1.45 - 1.35. Are t and 2/117 unequal?
True
Let p = 4066 - 19687/5. Let v = 956454883/155 + -6170548. Let i = p - v. Which is smaller: i or 1?
i
Let w(t) = 11*t**2 - 2*t - 1. Let l be w(1). Let f = 5 - -1. Which is bigger: f or l?
l
Let q be (-6)/(-15) + 516/10. Let n be (-6)/14 + q/7. Let z = n + -15/2. Is z at most as big as -2?
False
Let v = 1152 + -1879. Which is smaller: v or -728?
-728
Let b be (-2)/8 + (-61)/(-4). Let u be (-2 - (-114 + 3))/1. Suppose -67 = -11*k + u. Is b at least as big as k?
False
Let m = -96 + 185. Let d = 127 - 38. Is d at most m?
True
Let w(l) = l**3 - 5*l**2 + 2*l + 10. Let d be w(4). Suppose -3*h + d = -0*h + k, -h + 2 = k. Is 6/37 at most h?
False
Let i(y) = y**2 - 15*y - 14. Let u be i(14). Let g = -27 - u. Which is bigger: g or 3/16?
g
Suppose 25*t = 3*t + 6*t. Let h = -13/118 - -1523/11682. Are h and t nonequal?
True
Let m = 341/1998 - 5/222. Let b = -22/27 + m. Is -16 less than b?
True
Let a(p) = p**2 - 18*p - 36. Let t be a(18). Let i be 8/t - (-308)/(-72). Suppose -j = 3*j + 20. Is i greater than j?
True
Let h(f) = 12*f - 48. Let g be h(5). Suppose -13*a - g = -7*a. Is -3 > a?
False
Let s be 2 - 10 - (2 + -8). Is s greater than -2?
False
Let j = -1.6 + 1. Suppose -6*x = -x + 35. Let i(d) = d**3 + 8*d**2 + 8*d + 5. Let w be i(x). Which is smaller: w or j?
w
Let x = -1 - -3. Let d(n) = n**2 + 2*n**2 + n**3 + x*n + 0*n**2. Let z be d(-2). Are z and 0 equal?
True
Let h be (-1)/((-3)/(-552)) + 17 + -20. Are -188 and h unequal?
True
Suppose 25 = 5*a + 110. Let m = 17 + -26. Let z = a - m. Which is smaller: z or -7?
z
Let q = 34/11 - 4. Is -2 >= q?
False
Suppose -4*g - 2*s - 20 + 56 = 0, -5*s = -3*g + 53. Suppose u - 11 = -g. Is -2/9 at most u?
True
Let p = 4.6 + -3.6. Let x = 0 - -0.9. Which is greater: p or x?
p
Suppose 5 - 23 = 9*s. Is 1 at least as big as s?
True
Let c = 0 + 2. Let a = 338 + -344. Is a smaller than c?
True
Let z be 30/(-116)*600/125. Is z equal to -2?
False
Let f = 232.9 + -233. Is 6 > f?
True
Let b be (2/(-102) - 0)*-3. Suppose 171*y = 176*y - 5. Is y >= b?
True
Suppose 24*s - 22*s - 228 = 0. Are s and 114 nonequal?
False
Let q(c) = 9*c**2 + c + 193*c**3 + 0*c**2 + 35 + 0*c - 192*c**3. Let f be q(-9). Is 26 > f?
False
Let s = 0.5 + -0.6. Let t = s + 0.3. Let w = -5 + 0. Is t greater than w?
True
Let m be 2/(-6) + 1/(-9). Let s(i) = -i**3 - 9*i**2 + i + 11. Let w be s(-9). Let n be (3 - 5/w)*0. Which is smaller: n or m?
m
Let z(q) = 3*q**2 - 6*q**2 + 4*q**2 - 10*q - 2*q**2. Let y be z(-7). Let b = y - 12. Is b < 9?
False
Suppose -5*x = 4*x + 10*x. Which is bigger: x or -1/1035?
x
Let x be 3 + -2 + -1 - (-2)/(-14). Let d be 2/(-6) + (-2968)/60. Let c = d - -50. Is c less than x?
False
Let r(t) = -4*t + 1. Let c be r(1). Let m be (0/(-4 - c))/(-1). Suppose m = d - g - 9 - 0, -3 = -g. Which is smaller: 13 or d?
d
Let f(t) = t**3 - 5*t**2 - 9*t + 6. Let n be f(6). Let y be 99/10 + (-6)/n. Let z = y + -181/15. Are z and -3 non-equal?
True
Let m(o) be the first derivative of o**3/3 + o**2 - 44*o + 46. Let y be m(-7). Which is smaller: -26/3 or y?
y
Let j = -0.4 - -2.