ler: m or b?
b
Let u = 132 - 164. Let g = 31.7 + u. Which is greater: 3 or g?
3
Suppose 29808*a - 29820*a + 29772 = 0. Which is smaller: a or 2478?
2478
Suppose -15 = -3*t + 35*k - 31*k, -3*t = 3*k + 6. Let c(z) = -z**2 + 7*z - 2. Let g be c(6). Let h be (-14)/33*g/14. Which is smaller: t or h?
h
Suppose -569 + 569 = 114*p. Let q(w) be the second derivative of -w**3/6 - 4*w**2 + 2*w. Let v be q(6). Is p < v?
False
Suppose p + 4*p = 25, -p + 245 = -5*f. Let b be f/18 - -5 - 3. Are b and 2/55 equal?
False
Let p = 28547 - 28924. Let o be (-5268)/14 - 10/(-35). Is o <= p?
False
Let x be (-104)/(-182) - 24/(-7). Suppose -14 = -x*u - 2*i, 0*i + 3 = 3*i. Which is bigger: 7/3 or u?
u
Suppose -48*i = -42*i + 62436. Which is greater: -10405 or i?
-10405
Let f = 1.02 - 1.49. Let l = 1.53 - f. Let o = -94 - -94.03. Is o < l?
True
Let b(t) = -2*t + 10 + 5*t - 9*t + 7*t. Let p be b(-9). Is p < 5/21?
False
Let v(w) = -39*w - 40*w + 93*w + 160 - 19*w. Let s be v(-2). Are 169 and s unequal?
True
Let w = -148295 - -4299601/29. Let z = 8870/319 + w. Suppose -10*l + 14*l + 16 = 0. Which is smaller: z or l?
z
Suppose 32*k - 31*k - 756 = 5*j, 756 = k - 2*j. Is k not equal to 750?
True
Suppose -10 = -u - 2. Let x be (2/(-4))/((-4)/(u/(-1))). Let m(j) = 46*j**3 - j**2. Let p be m(x). Is p at least -49?
True
Let q = -888658663305598777293/14587 - -60921276748248485. Let p = 42579137 - q. Let w = p + -1/503. Which is bigger: w or 1?
1
Let c(r) be the second derivative of -3*r**4 - r**3/3 + 7*r**2/2 + 143*r. Let d be c(3). Which is greater: d or -324?
d
Suppose 17*f - 78*f = 48*f - 6*f. Let z = 1465/1692 - 42/47. Which is bigger: f or z?
f
Let g = -29/45 - -4/9. Let c = -1696 - -1696.03. Which is smaller: c or g?
g
Let z(x) = -3*x + 24. Let k be 1*(-3 - -1*10). Let l be z(k). Let o = 79/3 - 24. Which is smaller: l or o?
o
Let w = 13527 + -13902. Is -377 >= w?
False
Let c = -34 - -21. Let a(x) be the second derivative of x**4/4 - 3*x**3 + 9*x**2/2 + 42*x. Let m be a(4). Are m and c equal?
False
Let z = -123/7 - -530/21. Let m = z - 7. Let l = m + -7/6. Which is greater: l or -1?
l
Let o = 0.14327 + -0.04327. Which is smaller: o or -1724?
-1724
Suppose d - 5*q - 44 = 90, 7 = -q. Which is smaller: -21/11 or d?
-21/11
Let w = 7.236 - -28.764. Which is smaller: 189 or w?
w
Suppose 8 = -4*f, 3*f - 26 + 0 = -2*i. Suppose 9*b - 11 - i = 0. Suppose -g + 2 = -3*p - 6, -10 = -5*p - b*g. Is p equal to 4/29?
False
Suppose 4*w + 4 = 0, 2*s + 5 = 4*s + w. Let f = 88290600/338093 + -4/48299. Let x = f - 259. Which is greater: x or s?
s
Suppose -19*r + 5*r = 28. Let b be ((0/(3 + -2))/(-3))/r. Which is smaller: b or -1/351?
-1/351
Suppose -3*l = -5*r + 14, 3 + 8 = -4*r - 5*l. Let u be ((-1)/(-21))/(r/33) + -3. Is -19 at most as big as u?
True
Let p(j) = -j + 9. Suppose 12 = r - i - 3*i, 0 = -4*r + i + 33. Let b = r - -3. Let h be p(b). Is 4 bigger than h?
True
Let d = -8599 + 42993/5. Let q = 51/2 - 25. Is q greater than d?
True
Let b = 138.008 - 0.308. Let u = b + -137. Which is smaller: u or 20?
u
Suppose 5 = j, 3*j - 10 = 332*x - 331*x. Let i be (-4)/10 + 74/10. Suppose i + x = u. Which is smaller: 13 or u?
u
Let w = 11.79 + -0.59. Let g = w - 11.1. Let c = -63 + 104. Is c > g?
True
Let z(o) = 32*o - 1023. Let k be z(32). Does k = 1/1728?
False
Let c(w) = -7*w - 52. Let t be c(-8). Suppose -m = t*j - 19, -5*m - j + 16 = -m. Is -7.5 <= m?
True
Let h = 1033/22737 - 5/159. Let d = 1130/1001 + h. Let u = -3280 - -3282. Which is greater: u or d?
u
Suppose -3*k - 85 = m - 3, 0 = k - 2*m + 18. Let w be 2 + (10/(-4) - -1). Which is smaller: w or k?
k
Let t = 0.352 - -0.048. Let w = 1/76 + -383/228. Which is greater: t or w?
t
Let c = -141 - -146. Suppose -5*j = -o + 45, -j + 3*j - 5*o = c. Let d = -27 + 17. Is d != j?
False
Let n be (-1076)/(-702)*327/(-8). Let u = n + 649/18. Let g = -466/13 - u. Which is greater: -10 or g?
g
Let s(y) = -y**2 + 19*y - 12. Let a be s(18). Let c be (a + (-2104)/348)*(-2)/(-8). Let p = c + 197/2001. Which is smaller: p or 8?
p
Let o be (-216)/(-162)*3469/4. Let f = o - 1173. Is -18 greater than f?
False
Let y be (-6511)/(-306) - 4/9 - (-1)/6. Is y smaller than 138/7?
False
Let v = 4207 + -4049. Let a be 23*7 - 4/1. Is v less than or equal to a?
False
Let n = 323.7 + -0.7. Let u = n - 323.1. Is u less than -2.3?
False
Let n = 8471 - 8470. Is n > -0.3437?
True
Let s be ((24/2)/4 + -27)*(-41)/(-3). Which is smaller: s or -329?
-329
Suppose 16 = 4*o - 5*c + 74, -3*c - 6 = 0. Suppose 9*q + 663 = -30*q. Is q equal to o?
True
Let h = -48 - -45. Let x be (-10)/4*(-36)/(-45). Let c be x/4 + 328/(-112). Are c and h nonequal?
True
Suppose -19*g + 14*g - 60 = 0. Let r be 24 + -2*6/g. Suppose -4*f + 2*f + 52 = 0. Is r less than f?
True
Suppose 2400 = -4*a + i, -a + 5*i - 603 = 4*i. Which is smaller: -600 or a?
-600
Let d(v) = 2*v**2 + 21*v + 48. Let k be d(-16). Let u = -1122/5 + k. Which is bigger: u or 139?
139
Let q be 8/(1*2/(-2)). Suppose 0 = 3*b - 0*j + 2*j + 32, -3*b - j - 37 = 0. Let z(g) = -2*g**3 - 28*g**2 - g - 21. Let v be z(b). Which is greater: v or q?
v
Let c(z) = -z**3 - 17*z**2 - 3*z - 6. Let i be 1518/55*10/(-3). Let p = i - -75. Let b be c(p). Which is smaller: 44 or b?
44
Let z = 6005 + -6004.9. Which is smaller: z or 4116?
z
Let n(d) = -975*d**2 + d - 1. Let j be n(1). Let y = 11231548717/107 + -104968720. Let a = j - y. Which is bigger: a or 1?
1
Let v(k) be the first derivative of -k**3/3 + 3*k**2 + 2*k - 152. Let f be v(5). Let l = 9 + 0. Are f and l unequal?
True
Let o = 68 - 59. Let d = 7 - o. Let n = d + -31. Do 0.1 and n have different values?
True
Let b(c) = 12*c**2 + 7*c + 8. Let m be b(-8). Suppose 0 = 11*l - 7*l + m. Let z be l/10*(-1)/32. Is 1 > z?
True
Let m = -66994 + 1674852/25. Let l = 1 - 2. Let d = -2 - l. Is m bigger than d?
True
Let b = 4411 - 35289/8. Is b smaller than -1?
False
Let k = -313 - -229. Let f = -68 - k. Suppose 3 = -5*y + 4*a + 75, 42 = 3*y - 3*a. Is f less than or equal to y?
True
Let f be (-1)/((-9)/(-243))*(12 - 11). Which is smaller: -45 or f?
-45
Suppose 2*k - 214 = -4*s, -193 = -3*s - s + 5*k. Let p = 57 - s. Suppose 9*v - p*v = 64. Which is smaller: v or 12?
12
Let x(q) = 103*q + 6. Let k = 272 + -273. Let t be x(k). Is -97 less than or equal to t?
True
Let c(l) = -l**3 - 2*l**2 + 2*l + 30. Let j be c(0). Suppose j*y + 28 + 62 = 0. Is -20/9 less than or equal to y?
False
Let l = 255861/16 - 15983. Is l >= 8?
True
Let u = -1.3712 + 1.2112. Let m = 47 - 63. Are m and u equal?
False
Let f = -338 - -336.07. Let v = -1.07 + f. Let l = 5 - 5.4. Is v greater than or equal to l?
False
Let k(f) = -8*f - 32. Let i be k(-6). Suppose 136 - i = 12*s. Is s <= 0?
False
Let a = 10377 + -83135/8. Are a and -14 nonequal?
True
Let q = 20 - 17. Let m = 0.0391 + -11.0391. Which is smaller: q or m?
m
Let w(q) = -22*q**3 + 4*q**2 + 5*q + 5. Let k be w(-2). Let o = 102412/7 - 3134179/217. Let r = k - o. Which is smaller: 0.1 or r?
r
Let u be 0*((-9)/(-3) - 4). Let v = 1452 - 136489/94. Which is bigger: v or u?
u
Let o be -1 - (-44)/19 - 1. Suppose 0 = 296*z - 306*z - 60. Let m(q) = -q**3 - 7*q**2 - 9*q - 19. Let x be m(z). Which is smaller: o or x?
x
Let g = -252 - -257.4. Let t = g - 4.4. Is t != -1.04?
True
Let g be -5*(10 - (4 - -1)). Let w(h) = -h**2 - 27*h - 18. Let l be w(g). Are 32 and l unequal?
False
Let t = 15 - 15. Let b = -32 + 55. Let q be (-30)/(-70) - b/70. Is t at most q?
True
Let t = -11 + 22. Suppose -h + t*h = 20. Is h at most as big as -36?
False
Let g be (180/16)/3*(-566)/(-85). Let r = 25 - g. Is r less than or equal to -1?
False
Let j be (-2)/((-1)/4 + 0). Suppose 0 = 32*k - 28*k - 48. Let h be 6/k*4*4. Is h at most j?
True
Let j be (-23)/16*(399 - 415). Which is bigger: j or -154?
j
Suppose 7 = -4*r + 35. Suppose r = a + 5. Let m be a - 3 - 3 - -3. Which is smaller: m or 0.06?
m
Let u be ((-44)/(-33) - 3)*9. Let v be 24/(-14)*-7*1. Let p = -4 - v. Do u and p have the same value?
False
Let r = -3/82897 - -226355/1673441739. Which is bigger: r or 0?
r
Suppose -2*a = 8, d = -2*a + 324 - 258. Is d smaller than 1700/23?
False
Let v be (-1 - (-274)/(-4))/(16/32). Let b = -141 - v. Is -5/4 not equal to b?
True
Let z be 27/18*(58/6 - -1). Suppose 5*v + 4*w = -29, -4*v + 5*w + 1 - z = 0. Is v at most as big as -30?
