Let g be 4 + 1 + (234/(-6))/3. Which is greater: g or r?
r
Suppose 16*v = -7*v - 2024. Which is smaller: -87 or v?
v
Suppose f = 2*o - 28 + 13, 5*o - 25 = 0. Let d be 264/(-28)*2/3. Is f greater than or equal to d?
True
Let z be 3 + -4 + (3 - 1). Suppose 3 = -2*k + z. Let r = -0.04 - 2.96. Which is greater: r or k?
k
Let x(n) = -2*n**2 - 30*n + 15. Let c be x(-15). Let f = -17 + c. Is -16/5 less than f?
True
Let s be (0 + 3/(-39))/1. Let j = 1/156 - s. Which is smaller: j or -1?
-1
Let z = 1.267 - -1.733. Is z not equal to -203?
True
Let t be (-16)/(-96) - (-11)/6. Which is bigger: t or 15?
15
Suppose a = -a - 5*v + 37, 76 = 5*a - 4*v. Which is bigger: a or 1/4?
a
Let r be (19/(-76))/(1/30). Let i be -5 - 3/4*4. Is r bigger than i?
True
Suppose 2*b - 78 = 10. Let m be b/5*(-10)/(-4). Let r be (5 - 4) + (-20)/m. Are 0 and r equal?
False
Let d = 0.312 + 15.688. Which is smaller: 1 or d?
1
Let h = -3/2884 - 11714/2163. Is h greater than -5?
False
Suppose -21*a + 23*a = 56. Suppose -2*u + 21 = -3*t, 0 = -u - 2*t + 7*t + a. Which is smaller: 1 or u?
1
Let a(y) = -y**2 + 2*y - 100. Let z be a(-17). Which is greater: z or 0?
0
Let s be (4/72)/((-20)/57). Let g = s - -16/105. Let n = -449/168 - g. Is n at most as big as -3?
False
Let u be ((-99)/18)/(6/(-36)). Which is smaller: -2 or u?
-2
Let n(i) = i**2 + 18*i + 23. Let s be n(8). Is 231 at least s?
True
Suppose 15*u + 1486 - 1351 = 0. Is u < 0.5?
True
Let u be ((-46)/(-5))/((-1)/(-5)). Suppose -3*s = -5*h - u, h = 2*s + s - 26. Are -1/8 and s equal?
False
Let n = -713/132 - -3/44. Let r be (-26)/4 + (-1)/(-2). Which is smaller: n or r?
r
Suppose 21*m + 54 = -51. Which is bigger: m or -13?
m
Let u = -69 + 45. Let j be (2 + 44/u)*3. Let r = 4 + -6. Is j at least as big as r?
True
Let i be (29322/(-540))/(6/(-8)). Is 73 at most i?
False
Let f = -18 + 23. Suppose -5*g - 2*g = -f*g. Is g less than 1?
True
Suppose 0 = -2*y - 3*y + 25. Suppose y*l + 246 = 8*l. Let a be 8/20 + l/(-130). Which is bigger: a or -1?
a
Let y be (1/2)/(2/16). Suppose 0 = -y*i, i + 2*i - 348 = -4*s. Is s at most as big as 87?
True
Let x = -137 + 137. Is x at least 2/81?
False
Let z = -4 - -7. Suppose -y - z = -4*y. Let q = 0.01672 + -0.91672. Which is smaller: y or q?
q
Let k = 176 - 204. Which is bigger: k or -24?
-24
Suppose -2*y + 3*y = -24. Let z be 88/110 - 372/15. Do z and y have the same value?
True
Suppose 3*n + 2*f = 2, -4*n + 3*f = 7*f. Let r be (1/n)/(24/(-176)). Let y(o) = -3*o - 31. Let h be y(-9). Is h not equal to r?
True
Let p = -9681 + 48688/5. Let r = p - 57. Which is greater: -1 or r?
r
Let i(p) = -17*p**2 - 2*p - 21. Let f be i(-4). Are f and -284 equal?
False
Let o(m) = m**3 - 47*m**2 + 6*m - 99. Let f be o(47). Which is smaller: 182 or f?
182
Suppose -15 = -5*j, 3*j + 6 = 5*a + 20. Let y be (-12 + 12)*(1 + a/2). Which is greater: 3/65 or y?
3/65
Suppose -42*s + 37*s = 3*m + 160, s + m = -32. Which is greater: s or -24?
-24
Let z = -0.7 - -1. Let r = -79 + 78.9. Let y = r + 0.1. Which is bigger: y or z?
z
Let l = 3751 + -2052. Let c = -2401 + l. Let u = c - -34396/49. Which is smaller: u or 0?
u
Let n(y) = -2*y + 7. Let c(q) = 4*q - 14. Let p(o) = -3*c(o) - 5*n(o). Let w be p(6). Let v be (w/20)/(2/(-8)). Is v greater than 1?
False
Let a be 4 + 284 + -1*4. Let g = a + -3126/11. Is -1 < g?
True
Let l = -28.2 + -6.8. Let q = l + 44. Let f be ((-3)/27)/(2/(-12)). Is f < q?
True
Suppose 4*a = -4*w + 12, -4*w + 18 = 2*a - 4*a. Suppose 39 = 4*h + 15. Let s be 3/297*h*3. Which is smaller: s or a?
a
Let h(g) = -6*g + 59. Let d be h(10). Which is smaller: d or 2/1227?
d
Let s be -14*2/((1 - 1) + -4). Let m be (-6)/16*-6*4. Which is smaller: m or s?
s
Let l = -0.491 + 2.491. Which is smaller: l or 5?
l
Let g be 18/10 - 2/(-10). Suppose -2*n = -4*n - g. Let r = 2/17 + -21/34. Which is smaller: n or r?
n
Let a = 0.3783 + -0.0783. Is a greater than or equal to 0.07?
True
Let h be ((-21)/(63/(-2)))/((-1)/(-8)). Is h > 2/3?
True
Let b be -2 - (1/11 - 1). Suppose -2*v = 5*t + 10, -5*t + 20 = -7*t - 4*v. Which is bigger: b or t?
t
Let c = -811.1 - -811. Is c greater than -135?
True
Let n = -61 - -65. Let z = n - 3. Let o = 3.8 - 5. Which is smaller: z or o?
o
Let b = 1251 - 1228.29. Let w = b - 23. Is w <= -0.1?
True
Suppose -25*c = -13*c - 456. Which is bigger: c or 24?
c
Let s(t) = -7*t - 41. Let n = -73 - -67. Let i be s(n). Which is smaller: i or 10?
i
Let m be (-5)/(-3) + (-5 - 2). Which is smaller: -4 or m?
m
Suppose -15 = -3*t - 18. Which is smaller: 13/95 or t?
t
Let t = -0.67 + -28.33. Let x = t + 50. Let g = x + -21.8. Which is smaller: g or 2?
g
Let g(d) = 0 - d + 0 - 4. Let j be g(-7). Suppose j*o + 4 = -2. Which is greater: -4/5 or o?
-4/5
Let l(o) = o**2 - 10*o + 10. Let h = -14 - -23. Let f be l(h). Do 1 and f have the same value?
True
Let j(x) = -x - 18. Let n be j(-13). Suppose -o + 2 + 15 = -5*y, -3*o = 5*y + 29. Which is smaller: n or y?
n
Let y = -8 - 16. Let f(u) = -149*u - 2 + 14 + 1 + 113*u. Let s be f(1). Which is smaller: y or s?
y
Let t = -60347/22 + 2744. Let z = t + -233/198. Let b = z + 8/117. Is b > -1?
True
Let w(i) = i**3 - 6*i**2 + 3*i + 6. Let s be w(6). Let m = s - 602/25. Which is smaller: 3 or m?
m
Let k be (168/(-18))/((-8)/12) + -2. Is k greater than 27?
False
Suppose 13*z - 18*z = -10. Suppose -z*v + 10 = 3*v. Are v and -2 unequal?
True
Let o be -7 + (-675)/(-99) + (-871)/(-11). Which is smaller: o or 78?
78
Let x = -0.007 - -0.205. Let w = x - -0.002. Is -5 less than or equal to w?
True
Let w = -1214.1 - -1214. Is w >= -0.527?
True
Suppose 5*n = -4*j + 7, -6 - 8 = -5*j - n. Let r be (8/(-4) - 0) + j. Let p be (-2)/7 + 1/(-21). Which is smaller: p or r?
p
Suppose 0 = 3*g + z - 26, -z - 21 = -5*g + 17. Let p be 62/5 + -4 - (108/(-30))/(-9). Is g greater than or equal to p?
True
Suppose 5*l - 74 = -g, -2*g + l + 88 = -104. Which is greater: 93 or g?
g
Suppose 0*b = -2*b + 2. Let f(n) = -1 + 1 - b + 5*n. Let s be f(-1). Which is greater: -5 or s?
-5
Let f = 59 - 58.22. Let u = 0.22 + f. Is u > -2?
True
Let v = -42 - -41. Is v bigger than -18/31?
False
Let s be ((-44)/5)/((-7)/(-35)). Let u = s - -46. Which is smaller: -2 or u?
-2
Let a(v) = 21 - 47*v + 19 + 23*v + 21*v. Let s be a(13). Which is bigger: s or 6/5?
6/5
Let a = -9 - -7. Let t be -2 - (32/(-12) - a). Which is bigger: -1 or t?
-1
Let b = -4 + 7. Let n be 548/6 - 1/b. Let k be (-3)/(-7) + 3/n. Is 1 greater than or equal to k?
True
Suppose 0 = -10*x + 7*x. Suppose 3*v - 2*n = n + 63, x = -2*n + 10. Is 26 less than or equal to v?
True
Suppose -11*u = -25 + 14. Suppose -5*c = -0*w + 2*w + 19, 3*w + 3*c + 15 = 0. Let x be (w - u)/(-3)*2. Is x greater than 14/5?
False
Let c = 0.9 + -109.9. Let j = c + 109.2. Which is bigger: j or 46?
46
Let a = 0.4 + 0.6. Let w = -0.174 + 15.074. Let u = w - 15. Which is greater: u or a?
a
Let u be (-5 - (-965)/(-15)) + (-2)/3. Let w = 71 + u. Which is bigger: -1/9 or w?
w
Suppose 3*i + 12 = 2*b, 0 = 3*b - 3*i - 17 + 5. Let h be (-287)/87*3 + 10. Is b <= h?
True
Let f(v) = -24 - 94*v**2 - 11*v - 8 - 10*v + 95*v**2. Let x be f(22). Are x and -12 unequal?
True
Let a = -0.05 + 0.15. Let l = 2/4007 - -7692/645127. Is l greater than a?
False
Suppose 2*k + 13 = -3*l, -3*k + 6*l - 3*l = -18. Which is smaller: -2/39 or k?
-2/39
Let m = -1843/4605 - -1/4605. Let y = -4 - -2. Is m smaller than y?
False
Suppose -68 - 157 = 3*h. Are h and -71 non-equal?
True
Let g(z) = -z + 16. Let k be g(11). Suppose 5*c = t + 21, 2*t = -c - 2 + 4. Suppose h + 30 = k*j, -c*j - 2 + 22 = 0. Which is smaller: -8 or h?
-8
Let r(u) = -u - 3. Let m be r(-11). Let z be (m + -10)*(-2 - (-554)/278). Is z < 1?
True
Let u(j) be the third derivative of -j**6/120 + j**5/20 + j**4/6 - 5*j**3/6 + 25*j**2. Let p be u(2). Which is smaller: 35/6 or p?
35/6
Suppose -5*c - 3*z - 120 - 126 = 0, 3*z + 6 = 0. Let j be ((-1)/2 + 1)/(1/c). Is j greater than or equal to -24?
True
Let o = 1 + -2. Let l be (-1 - 242/(-82)) + (-24 - -22). Is l smaller than o?
False
Let f = -8 - -11. Suppose 2*z + 3*z + f*g + 167 = 0, 0 = 3*z + 2*g + 100. Let r = 34 + z. Which is smaller: -1 or r?
-1
Suppose 189*q + 703 = 208*q. Is q > 5?
True
Let g = 29 + -28. Let v = 16 - g. Let z be (-9)/15*5/v. Which is bigger: z or 3?
3
Let o be 3/63*1*-2. Which is greater: o or 0.